The logical strength of compositional principles
From MaRDI portal
Publication:1704080
DOI10.1215/00294527-2017-0011zbMATH Open1384.03037OpenAlexW2725321200MaRDI QIDQ1704080FDOQ1704080
Authors: Richard G. jun. Heck 
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
Recommendations
Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Cites Work
- On the scheme of induction for bounded arithmetic formulas
- Undecidable theories
- Finite Axiomatizability using additional predicates
- Arithmetization of metamathematics in a general setting
- Cuts, consistency statements and interpretations
- Title not available (Why is that?)
- Axiomatic truth, syntax and metatheoretic reasoning
- Title not available (Why is that?)
- How innocent is deflationism?
- Reflection principles and provability algebras in formal arithmetic
- Undecidability without arithmetization
- Growing commas. A study of sequentiality and concatenation
- Title not available (Why is that?)
- Concatenation as a basis for arithmetic
- Consistency and the theory of truth
- Truth and disquotation
- Truth Definitions and Consistency Proofs
- String theory
- Models of axiomatic systems
- Sets and Classes
- The logical strength of compositional principles
- Disquotational truth and analyticity
Cited In (1)
This page was built for publication: The logical strength of compositional principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1704080)
