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 \.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
ISBN(s)
DOI 10.1007/s00153-017-0600-5
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,795
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Theory and Logical Complexity. [REVIEW]Helmut Pfeifer - 1991 - Annals of Pure and Applied Logic 53 (4):197.
The Veblen Functions for Computability Theorists.Alberto Marcone & Antonio Montalbán - 2011 - Journal of Symbolic Logic 76 (2):575 - 602.
Reverse Mathematics and Ordinal Exponentiation.Jeffry L. Hirst - 1994 - Annals of Pure and Applied Logic 66 (1):1-18.

View all 9 references / Add more references

Citations of this work BETA

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

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 index
2017-11-16

Total views
22 ( #483,637 of 2,438,793 )

Recent downloads (6 months)
1 ( #436,491 of 2,438,793 )

How can I increase my downloads?

Downloads

My notes