Derivatives of normal functions and $$\omega $$ ω -models

Archive for Mathematical Logic 57 (5-6):649-664 (2018)
  Copy   BIBTEX

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 \.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Models with the ω-property.Roman Kossak - 1989 - Journal of Symbolic Logic 54 (1):177-189.
Syntax and Semantics of the Logic $\mathcal{L}^\lambda_{\omega\omega}$.Carsten Butz - 1997 - Notre Dame Journal of Formal Logic 38 (3):374-384.
The stability function of a theory.H. Jerome Keisler - 1978 - Journal of Symbolic Logic 43 (3):481-486.
The amalgamation spectrum.John T. Baldwin, Alexei Kolesnikov & Saharon Shelah - 2009 - Journal of Symbolic Logic 74 (3):914-928.
On the second order derivatives of convex functions on the Heisenberg group.Cristian E. Gutiérrez & Annamaria Montanari - 2004 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 3 (2):349-366.
Models of ${\rm Th}(\langle \omega^\omega<\rangle)$.John W. Rosenthal - 1974 - Notre Dame Journal of Formal Logic 15 (1):122-132.
Borel-amenable reducibilities for sets of reals.Luca Motto Ros - 2009 - Journal of Symbolic Logic 74 (1):27-49.
On isometries of the Carathéodory and Kobayashi metrics on strongly pseudoconvex domains.Harish Seshadri & Kaushal Verma - 2006 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 5 (3):393-417.
Frames and MV-Algebras.Lawrence P. Belluce & Antonio Di Nola - 2005 - Studia Logica 81 (3):357 - 385.
Derivatives of Computable Functions.Ning Zhong - 1998 - Mathematical Logic Quarterly 44 (3):304-316.

Analytics

Added to PP
2017-11-16

Downloads
23 (#584,666)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my 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.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Reverse mathematics and ordinal exponentiation.Jeffry L. Hirst - 1994 - Annals of Pure and Applied Logic 66 (1):1-18.

View all 10 references / Add more references