Reverse Mathematics
portes grátis
Reverse Mathematics
Problems, Reductions, and Proofs
Mummert, Carl; Dzhafarov, Damir D.
Springer International Publishing AG
07/2022
488
Dura
Inglês
9783031113666
15 a 20 dias
922
Descrição não disponível.
1 introduction.- Part I Computable mathematics: 2 Computability theory.- 3 Instance-solution problems.- 4 Problem reducibilities.- Part II Formalization and syntax: 5 Second order arithmetic.- 6 Induction and bounding.- 7 Forcing.- Part III Combinatorics: 8 Ramsey's theorem.- 9 Other combinatorial principles.- Part IV Other areas: 10 Analysis and topology.- 11 Algebra.- 12 Set theory and beyond.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Reverse mathematics;Computability theory;Second-order arithmetic;Continuous mathematics;Sequence coding
1 introduction.- Part I Computable mathematics: 2 Computability theory.- 3 Instance-solution problems.- 4 Problem reducibilities.- Part II Formalization and syntax: 5 Second order arithmetic.- 6 Induction and bounding.- 7 Forcing.- Part III Combinatorics: 8 Ramsey's theorem.- 9 Other combinatorial principles.- Part IV Other areas: 10 Analysis and topology.- 11 Algebra.- 12 Set theory and beyond.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
