Conservations of first-order reflections

Journal of Symbolic Logic 79 (3):814-825 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2014.7

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,553

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

Toshiyasu Arai. Consistency proof via pointwise induction. Archive for mathematical logic, vol. 37 no. 3 , pp. 149–165. [REVIEW]Andreas Weiermann - 2002 - Bulletin of Symbolic Logic 8 (4):536-537.
The Language of First-Order Logic, Including the Macintosh Program Tarski's World 4.0.Jon Barwise & John Etchemendy - 1993 - Center for the Study of Language and Information Publications.
First-Order Dynamic Logic.David Harel - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Quasipolynomial Size Frege Proofs of Frankl’s Theorem on the Trace of Sets.James Aisenberg, Maria Luisa Bonet & Sam Buss - 2016 - Journal of Symbolic Logic 81 (2):687-710.
On the first-order logic of terms.Lars Svenonius - 1973 - Journal of Symbolic Logic 38 (2):177-188.
First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
Geometrisation of first-order logic.Roy Dyckhoff And Sara Negri - 2015 - Bulletin of Symbolic Logic 21 (2):123-163.

Analytics

Added to PP
2016-06-30

Downloads
32 (#716,090)

6 months
7 (#749,523)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic fixed point theories over set theories.Toshiyasu Arai - 2015 - Archive for Mathematical Logic 54 (5-6):531-553.

Add more citations

References found in this work

Proof theory of reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.
Proof theory of weak compactness.Toshiyasu Arai - 2013 - Journal of Mathematical Logic 13 (1):1350003.

Add more references