SU\G(𝔸)/K·U

Subsystems of Second Order Arithmetic

Authors

Stephen G. Simpson
Type: Book
Publication Date: 1999-01-01
Citations: 1047
DOI: https://doi.org/10.1007/978-3-642-59971-2

Abstract

List of tables Preface Acknowledgements 1. Introduction Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive comprehension 3. Arithmetical comprehension 4. Weak Konig's lemma 5. Arithmetical transfinite recursion 6. pi11 comprehension Part II. Models of Subsystems of Z2: 7. ss-models 8. omega-models 9. Non-omega-models Part III. Appendix: 10. Additional results Bibliography Index.

Locations

  • Perspectives in mathematical logic
    View

Similar Works

Action Title Date Authors
+ PDF Ask
Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations 2016-01-01 David M. Cerna
+
Weak subsystems of first and second order arithmetic 2011-01-01 佳宏 堀畑
+
Model-theoretic studies on subsystems of second order arithmetic 2000-01-01 武 山崎
+
Arithmetic, Infinite Trees, and Second-order Subsystems: Notes and Observations 2016-10-13 David M. Cerna
+
Borel quasi-orderings in subsystems of second-order arithmetic 1991-11-01 Alberto Marcone
+
Reviews-Subsystems of Second-Order Arithmetic 2001-01-01 Stephen G. Simpson Jeffrey Ketland
+
WQO and BQO theory in subsystems of second order arithmetic 2017-03-29 Alberto Marcone
+
Models of Fragments of Arithmetic 2017-03-02 Petr Hájek Pavel Pudlák
+
Recursively saturated nonstandard models of arithmetic; addendum 1982-09-01 C. Smoryński
+
Notions of compactness in weak subsystems of second order arithmetic 2017-03-29 Douglas K. Brown
+
On recursively saturated models of arithmetic 1975-01-01 Jon Barwise John S. Schlipf
+
The Recursively Saturated Part of Models of Peano Arithmetic 1986-01-01 Henryk Kotlarski
+
Models of Fragments of Arithmetic 1993-01-01 Petr Hájek Pavel Pudlák
+
Metamathematics of First-Order Arithmetic 1993-01-01 Petr Hájek Pavel Pudlák
+
Second-Order Arithmetic Sans Sets 2013-06-20 L. Berk
+
The Baire category theorem in weak subsystems of second-order arithmetic 1993-06-01 Douglas K. Brown Stephen G. Simpson
+
The monadic second order theory of ω1 1973-01-01 J Büchi
+
Bounded Second Order Arithmetic(Metamathematics and it's applications) 1995-11-01 雅洋 安本
+
Review: Th. Skolem, Peano's Axioms and Models of Arithmetic 1957-09-01 Solomon Feferman
+ PDF Ask
Axiomatizability of second order arithmetic with ω-rule 1978-01-01 Paweł Zbierski

Cited by (40)

Action Title Date Authors
+ PDF Ask
Reverse Mathematics and parameter-free Transfer 2018-10-16 Benno van den Berg Sam Sanders
+ PDF Ask
Ackermannian Goodstein Sequences of Intermediate Growth 2020-01-01 David Fernández‐Duque Andreas Weiermann
+ PDF Ask
Schematic Refutations of Formula Schemata 2020-11-19 David M. Cerna Alexander Leitsch Anela Lolić
+ PDF Ask
Ramsey’s theorem for singletons and strong computable reducibility 2016-06-15 Damir D. Dzhafarov Ludovic Patey Reed Solomon Linda Brown Westrick
+ PDF Ask
Ramsey's Theorem for Pairs and Provably Recursive Functions 2009-10-01 Ulrich Kohlenbach Alexander Kreuzer
+ PDF Ask
Infinitesimal analysis without the Axiom of Choice 2021-02-18 Karel Hrbáček Mikhail G. Katz
+ PDF Ask
The combinatorial equivalence of a computability theoretic question 2020-01-01 Lu Liu
+ PDF Ask
Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics 2023-02-24 Denis R. Hirschfeldt Carl G. Jockusch Paul E. Schupp
+ PDF Ask
Mathematical Skepticism 2001-01-01
+ PDF Ask
Open determinacy for class games 2017-01-01 Victoria Gitman Joel David Hamkins
+
Fixed point theories and dependent choice 2000-10-01 Gerhard Jäger Thomas Strahm
+
Relationships between Constructive, Predicative and Classical Systems of Analysis 2000-01-01 Solomon Feferman
+ PDF Ask
The atomic model theorem and type omitting 2009-05-21 Denis R. Hirschfeldt Richard A. Shore Theodore A. Slaman
+ PDF Ask
Predicativism as a Philosophical Position 2004-09-01 Geoffrey Hellman
+ PDF Ask
Necessary use of induction in a reversal 2011-05-19 Itay Neeman
+
Non‐standard analysis in ACA<sub>0</sub> and Riemann mapping theorem 2007-03-09 Keita Yokoyama
+ PDF Ask
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra 2019-01-01 Thomas Powell Peter Schuster Franziskus Wiesnet
+ PDF Ask
Formal Theories for Linear Algebra 2012-03-16 Stephen Cook Lila Fontes
+ PDF Ask
Grilliot's trick in Nonstandard Analysis 2017-01-01 Sam Sanders
+
Reverse mathematics and marriage problems with unique solutions 2014-09-01 Jeffry L. Hirst Noah A. Hughes
+
THE STRENGTH OF RAMSEY’S THEOREM FOR COLORING RELATIVELY LARGE SETS 2014-03-01 Lorenzo Carlucci Konrad Zdanowski
+ PDF Ask
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination 2006-03-01 Stephen Binns Bjørn Kjos-Hanssen Manuel Lerman Reed Solomon
+ PDF Ask
Relationships between computability-theoretic properties of problems 2019-01-01 Rod Downey Noam Greenberg Matthew Harrison‐Trainor Ludovic Patey Dan Turetsky
+ PDF Ask
Constructive Mathematical Truth 2006-01-01 Dmytro Taranovsky
+ PDF Ask
A comparison of various analytic choice principles 2019-01-01 Paul-Elliot Anglès d’Auriac Takayuki Kihara
+
Metamathematics of Ulm Theory 2001-11-01 Harvey M. Friedman
+ PDF Ask
SRT22 does not imply RT22 in omega-models 2021-01-01 Benoît Monin Ludovic Patey
+
The foundations of mathematics from a historical viewpoint 2015-09-01 Antonino Drago
+
Orders on computable rings 2020-07-01 Huishan Wu
+
Reverse Mathematics, Projective Modules and Invertible Modules 2020-01-01 Huishan Wu
+
Reverse mathematics and semisimple rings 2022-01-17 Huishan Wu
+
Reverse mathematics and local rings 2024-07-01 Huishan Wu
+ PDF Ask
Ramsey's theorem for pairs, collection, and proof size 2020-01-01 Leszek Aleksander Kołodziejczyk Tin Lok Wong Keita Yokoyama
+
Ring structure theorems and arithmetic comprehension 2020-06-30 Huishan Wu
+ PDF Ask
From hierarchies to well-foundedness 2014-08-11 Dandolo Flumini Kentaro Sato
+
The reverse mathematics of Cousin's lemma 2020-11-25 Jordan Mitchell Barrett
+
Computability theory and algebra 2017-01-01 Huishan Wu
+
Structure of semisimple rings in reverse and computable mathematics 2023-06-08 Huishan Wu
+
The Computational Complexity of Subclasses of Semiperfect Rings 2024-11-19 Huishan Wu
+
Effective aspects of semiperfect rings 2024-12-12 Huishan Wu

Citing (0)

Action Title Date Authors