On the Π1 1 -separation principle

Mathematical Logic Quarterly 54 (6):563-578 (2008)
  Copy   BIBTEX

Abstract

We study the proof-theoretic strength of the Π11-separation axiom scheme, and we show that Π11-separation lies strictly in between the Δ11-comprehension and Σ11-choice axiom schemes over RCA0

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.200710049

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

Separation of church and state (in progress).John Kilcullen - unknown
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
The Dirac delta function in two settings of Reverse Mathematics.Sam Sanders & Keita Yokoyama - 2012 - Archive for Mathematical Logic 51 (1-2):99-121.
Classical linear logics with mix separation principle.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (2):201-209.
Montesquieu and the French Model of Separation of Powers.Marco Goldoni - 2013 - Jurisprudence 4 (1):20-47.
Reverse mathematics and a Ramsey-type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
Understanding the Separation Thesis.Joakim Sandberg - 2008 - Business Ethics Quarterly 18 (2):213-232.
Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
La séparation chez aristote.Richard Dufour - forthcoming - Les Etudes Philosophiques.
The Morality of the Separation of the Conjoined Attard Twins of Manchester.Daniel J. Hill - 2005 - Health Care Analysis 13 (3):163-176.
Separation of conjoined twins and the principle of double effect.David H. Wenkel - 2006 - Christian Bioethics 12 (3):291-300.
The costs and benefits of a separation of powers - an incomplete contracts approach.Kira Fuchs, Kira Boerner & Florian Herold - unknown
On Tao's “finitary” infinite pigeonhole principle.Jaime Gaspar & Ulrich Kohlenbach - 2010 - Journal of Symbolic Logic 75 (1):355-371.

Analytics

Added to PP
2013-12-01

Downloads
17 (#846,424)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Transfinite recursion in higher reverse mathematics.Noah Schweber - 2015 - Journal of Symbolic Logic 80 (3):940-969.
The strength of Jullien's indecomposability theorem.Itay Neeman - 2008 - Journal of Mathematical Logic 8 (1):93-119.
The Strength of an Axiom of Finite Choice for Branches in Trees.G. O. H. Jun Le - 2023 - Journal of Symbolic Logic 88 (4):1367-1386.

View all 7 citations / Add more citations

References found in this work

Indecomposable linear orderings and hyperarithmetic analysis.Antonio Montalbán - 2006 - Journal of Mathematical Logic 6 (1):89-120.
The Axiom of Choice and the Class of Hyperarithmetic Functions.G. Kreisel - 1970 - Journal of Symbolic Logic 35 (2):333-334.
Forcing with tagged trees.John R. Steel - 1978 - Annals of Mathematical Logic 15 (1):55.
Proof of Mostowski's Conjecture.R. O. Gandy - 1964 - Journal of Symbolic Logic 29 (2):103-104.
Hyperarithmetical Quantifiers.C. Spector & Shih-Chao Liu - 1966 - Journal of Symbolic Logic 31 (1):137-137.

View all 7 references / Add more references