Annals of Pure and Applied Logic 171 (3):102754 (2020)

Abstract
We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; this is an enhancement of Schweber–Hachtman separation of open and clopen determinacy into the consistency-wise separation. (ii) Hausdorff–Kuratowski hierarchy of differences of opens is faithfully reflected by the hierarchy of consistency strengths of corresponding parameter-free determinacies in the aforementioned frameworks; this result is valid also in second order arithmetic only except clopen determinacy.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2019.102754
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,241
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Recursion Theoretic Analysis of the Clopen Ramsey Theorem.Peter Clote - 1984 - Journal of Symbolic Logic 49 (2):376-400.
Minimal First-Order Structures.Predrag Tanović - 2011 - Annals of Pure and Applied Logic 162 (11):948-957.
Σ1-Separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
A Generalization of the Limit Lemma and Clopen Games.Peter Clote - 1986 - Journal of Symbolic Logic 51 (2):273-291.
Finite High-Order Games and an Inductive Approach Towards Gowers's Dichotomy.Roy Wagner - 2001 - Annals of Pure and Applied Logic 111 (1-2):39-60.
Remarks on a Carnapian Extension of S5.Georg Gottlob - 1999 - Vienna Circle Institute Yearbook 6:243-259.
An Effective Proof That Open Sets Are Ramsey.Jeremy Avigad - 1998 - Archive for Mathematical Logic 37 (4):235-240.
The Form of the Benardete Dichotomy.Nicholas Shackel - 2005 - British Journal for the Philosophy of Science 56 (2):397-417.
Mathematical Instrumentalism, Gödel’s Theorem, and Inductive Evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.

Analytics

Added to PP index
2019-11-05

Total views
8 ( #901,663 of 2,325,146 )

Recent downloads (6 months)
2 ( #455,085 of 2,325,146 )

How can I increase my downloads?

Downloads

My notes