The logical strength of compositional principles
From MaRDI portal
Publication:1704080
DOI10.1215/00294527-2017-0011zbMath1384.03037OpenAlexW2725321200MaRDI QIDQ1704080
Publication date: 8 March 2018
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1499241609
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Growing commas. A study of sequentiality and concatenation
- On the scheme of induction for bounded arithmetic formulas
- The logical strength of compositional principles
- Undecidability without arithmetization
- Truth and disquotation
- Undecidable theories
- CONSISTENCY AND THE THEORY OF TRUTH
- Finite Axiomatizability using additional predicates
- Arithmetization of metamathematics in a general setting
- Reflection principles and provability algebras in formal arithmetic
- Cuts, consistency statements and interpretations
- Disquotational truth and analyticity
- Sets and Classes
- AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
- Truth Definitions and Consistency Proofs
- Models of axiomatic systems
- Concatenation as a basis for arithmetic
- How innocent is deflationism?
- String theory
This page was built for publication: The logical strength of compositional principles
