Journal of Symbolic Logic 83 (3):868-898 (2018)

Authors
Kentaro Fujimoto
University of Bristol
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/jsl.2017.77
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: 63,295
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

Classes and Truths in Set Theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
Deflating the Conservativeness Argument.Hartry Field - 1999 - Journal of Philosophy 96 (10):533-540.
Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Zeitshrift für Mathematische Logik Und Grundlagen der Mathematik 35 (1):97--130.

View all 13 references / Add more references

Citations of this work BETA

On the Costs of Classical Logic.Luca Castaldo - forthcoming - Erkenntnis:1-32.

Add more citations

Similar books and articles

A Note on Theories for Quasi-Inductive Definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.
Kripke-Platek Set Theory and the Anti-Foundation Axiom.Michael Rathjen - 2001 - Mathematical Logic Quarterly 47 (4):435-440.
Ordinal Analysis of Non-Monotone-Definable Inductive Definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
Non-Deterministic Inductive Definitions.Benno van den Berg - 2013 - Archive for Mathematical Logic 52 (1-2):113-135.
Foundation Versus Induction in Kripke-Platek Set Theory.Domenico Zambella - 1998 - Journal of Symbolic Logic 63 (4):1399-1403.
Operational Closure and Stability.Gerhard Jäger - 2013 - Annals of Pure and Applied Logic 164 (7-8):813-821.
A Version of Kripke-Platek Set Theory Which is Conservative Over Peano Arithmetic.Gerhard Jäger - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (1-6):3-9.

Analytics

Added to PP index
2018-10-25

Total views
25 ( #436,339 of 2,448,704 )

Recent downloads (6 months)
1 ( #447,803 of 2,448,704 )

How can I increase my downloads?

Downloads

My notes