A Reflection Principle As a Reverse-mathematical Fixed Point over the Base Theory ZFC

Annals of the Japan Association for Philosophy of Science 25:67-77 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos.25.0_67

Links

PhilArchive



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

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

The Dirac delta function in two settings of Reverse Mathematics.Sam Sanders & Keita Yokoyama - 2012 - Archive for Mathematical Logic 51 (1-2):99-121.
Explicit mathematics with the monotone fixed point principle. II: Models.Michael Rathjen - 1999 - Journal of Symbolic Logic 64 (2):517-550.
Explicit Mathematics with the Monotone Fixed Point Principle. II: Models.Michael Rathjen - 1999 - Journal of Symbolic Logic 64 (2):517-550.
Explicit Mathematics with the Monotone Fixed Point Principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.
Admissibility of Cut in LC with Fixed Point Combinator.Katalin Bimbó - 2005 - Studia Logica 81 (3):399-423.
Monotone inductive definitions in a constructive theory of functions and classes.Shuzo Takahashi - 1989 - Annals of Pure and Applied Logic 42 (3):255-297.
A Non-factualist defense of the Reflection principle.Stephanie Beardman - 2013 - Synthese 190 (15):2981-2999.
Explicit mathematics with the monotone fixed point principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.
Fixed-points of Set-continuous Operators.O. Esser, R. Hinnion & D. Dzierzgowski - 2000 - Mathematical Logic Quarterly 46 (2):183-194.
Reverse-engineering Reverse Mathematics.Sam Sanders - 2013 - Annals of Pure and Applied Logic 164 (5):528-541.
A fixed point theorem for o-minimal structures.Kam-Chau Wong - 2003 - Mathematical Logic Quarterly 49 (6):598.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Indestructibility of Vopěnka’s Principle.Andrew D. Brooke-Taylor - 2011 - Archive for Mathematical Logic 50 (5-6):515-529.
Reverse mathematics: the playground of logic.Richard A. Shore - 2010 - Bulletin of Symbolic Logic 16 (3):378-402.
Generic compactness reformulated.Bernhard König - 2004 - Archive for Mathematical Logic 43 (3):311-326.

Analytics

Added to PP
2017-09-10

Downloads
16 (#906,902)

6 months
6 (#520,798)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Scales, squares and reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (1):35-98.
Weak axioms of determinacy and subsystems of analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.
Zur Axiomatik der Mengenlehre (Fundierungs‐ und Auswahlaxiom).Ernst Specker - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13‐20):173-210.

View all 11 references / Add more references