scientific article; zbMATH DE number 5838313
zbMATH Open1205.03002MaRDI QIDQ3069633FDOQ3069633
Authors: Stephen G. Simpson 
Publication date: 18 January 2011
Title of this publication is not available (Why is that?)
ATRACARCAbeta modelreverse mathematicsarithmetical transfinite recursionWKLHilbert's programarithmetical comprehensionrecursive comprehensionomega model\(\Pi^1_1\) comprehensionweak König's lemma
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Models of arithmetic and set theory (03C62)
Cited In (17)
- Complex analysis in subsystems of second order arithmetic
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection
- Grothendieck's unifying vision of geometry
- Direct construction of Scott ideals
- Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension
- Searching problems above arithmetical transfinite recursion
- Reverse mathematics, Young diagrams, and the ascending chain condition
- The Borel complexity of isomorphism for o-minimal theories
- What is worthy of investigation? Philosophical attitudes and their impact on mathematical development by the example of discovering 10-adic numbers
- Metamathematical properties of a constructive multi-typed theory
- Program size complexity of correction grammars in the Ershov hierarchy
- Computation and indispensability
- Primitive recursion and the chain antichain principle
- Fundamental notions of analysis in subsystems of second-order arithmetic
- Title not available (Why is that?)
- A new model construction by making a detour via intuitionistic theories. IV: A closer connection between \(\mathrm{KP} \omega\) and \(\mathrm{BI}\).
- Changing a Semantics: Opportunism or Courage?
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069633)
