scientific article; zbMATH DE number 6536275
From MaRDI portal
Publication:3464624
zbMATH Open1358.03022MaRDI QIDQ3464624FDOQ3464624
Authors: Michael Rathjen
Publication date: 27 January 2016
Title of this publication is not available (Why is that?)
Recommendations
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
- \(\omega\)-models of finite set theory
- On characterization, definability and \(\omega \)-saturated models
- Model theory for \(L_{\infty \omega _ 1}\)
- Models with the ω-property
- Remarks on structure theorems for \(\omega_ 1\)-saturated models
- Logical Approaches to Computational Barriers
- An old friend revisited: countable models of \(\omega\)-stable theories
- scientific article; zbMATH DE number 1296809
- Expansions of models of ω-stable theories
Cut-elimination and normal-form theorems (03F05) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
Cited In (21)
- Well-ordering Principles, ω-models and $$ \varPi_{1}^{1} $$-comprehension
- Constructing \(\omega\)-stable structures: Model completeness.
- WELL ORDERING PRINCIPLES AND -STATEMENTS: A PILOT STUDY
- Title not available (Why is that?)
- Computable aspects of the Bachmann–Howard principle
- Title not available (Why is that?)
- A categorical construction of Bachmann–Howard fixed points
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- Omega‐ and Beta‐Models of Alternative Set Theory
- Derivatives of normal functions and \(\omega \)-models
- ?-saturated quasi-minimal models of Th(??, +,?, 0)
- Models of \textsf{ZFA} in which every linearly ordered set can be well ordered
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension
- Reverse mathematics and well-ordering principles: a pilot study
- Proof-theoretic strengths of the well-ordering principles
- PREDICATIVE COLLAPSING PRINCIPLES
- \(\Pi_1^1\)-comprehension as a well-ordering principle
- Reverse mathematics and well-ordering principles
- A model of the generic Vopěnka principle in which the ordinals are not Mahlo
- Title not available (Why is that?)
- Suitable extender models. II: Beyond \(\omega \)-huge
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 Q3464624)