- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Derivatives of normal functions and $$\omega $$ ω -models
Archive for Mathematical Logic 57 (5-6):649-664 (2018)
Abstract
In this note the well-ordering principle for the derivative \ of normal functions \ on ordinals is shown to be equivalent to the existence of arbitrarily large countable coded \-models of the well-ordering principle for the function \.My notes
Similar books and articles
Proof-theoretic strengths of the well-ordering principles.Toshiyasu Arai - 2020 - Archive for Mathematical Logic 59 (3-4):257-275.
A note on ordinal exponentiation and derivatives of normal functions.Anton Freund - 2020 - Mathematical Logic Quarterly 66 (3):326-335.
Collapsing functions based on recursively large ordinals: A well-ordering proof for KPM. [REVIEW]Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (1):35-55.
Regressive versions of Hindman’s theorem.Lorenzo Carlucci & Leonardo Mainardi - 2024 - Archive for Mathematical Logic 63 (3):447-472.
Well ordering principles and -statements: A pilot study.Anton Freund - 2021 - Journal of Symbolic Logic 86 (2):709-745.
Indestructibility and the linearity of the Mitchell ordering.Arthur W. Apter - 2024 - Archive for Mathematical Logic 63 (3):473-482.
Reverse mathematics and well-ordering principles: A pilot study.Bahareh Afshari & Michael Rathjen - 2009 - Annals of Pure and Applied Logic 160 (3):231-237.
Projective Well-orderings of the Reals.Andrés Eduardo Caicedo & Ralf Schindler - 2006 - Archive for Mathematical Logic 45 (7):783-793.
Omega‐ and Beta‐Models of Alternative Set Theory.Athanassios Tzouvaras - 1994 - Mathematical Logic Quarterly 40 (4):547-569.
A Note on Choice Principles in Second-Order Logic.Benjamin Siskind, Paolo Mancosu & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (2):339-350.
Analytics
Added to PP
2017-11-16
Downloads
32 (#488,220)
6 months
9 (#436,631)
2017-11-16
Downloads
32 (#488,220)
6 months
9 (#436,631)
Historical graph of downloads
Citations of this work
Derivatives of normal functions in reverse mathematics.Anton Freund & Michael Rathjen - 2021 - Annals of Pure and Applied Logic 172 (2):102890.
Ordinal diagrams for Π3-reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
Proof-theoretic strengths of the well-ordering principles.Toshiyasu Arai - 2020 - Archive for Mathematical Logic 59 (3-4):257-275.
References found in this work
Systems of predicative analysis, II: Representations of ordinals.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (2):193-220.
Reverse mathematics and ordinal exponentiation.Jeffry L. Hirst - 1994 - Annals of Pure and Applied Logic 66 (1):1-18.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-7g5mb uwo