The logical strength of compositional principles
type: Item
instance of: scholarly article
title: The logical strength of compositional principles
zbMATH Open document ID: 1384.03037
DOI: 10.1215/00294527-2017-0011
author: Richard G. jun. Heck
published in: Notre Dame Journal of Formal Logic
publication date: 2018-03-08T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1499241609
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03F25
zbMATH DE Number: 6848189
zbMATH Keywords: truth
zbMATH Keywords: compositionality
zbMATH Keywords: Tarski
zbMATH Keywords: deflationism
MaRDI profile type: Publication
OpenAlex ID: W2725321200
cites work: Reflection principles and provability algebras in formal arithmetic
cites work: Q5694788
cites work: String theory
cites work: Finite Axiomatizability using additional predicates
cites work: Arithmetization of metamathematics in a general setting
cites work: Undecidability without arithmetization
cites work: Q5286672
cites work: Disquotational truth and analyticity
cites work: How innocent is deflationism?
cites work: Truth and disquotation
cites work: CONSISTENCY AND THE THEORY OF TRUTH
cites work: AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING
cites work: Models of axiomatic systems
cites work: Q4726219
cites work: Sets and Classes
cites work: Cuts, consistency statements and interpretations
cites work: Concatenation as a basis for arithmetic
cites work: Undecidable theories
cites work: Growing commas. A study of sequentiality and concatenation
cites work: Truth Definitions and Consistency Proofs
cites work: On the scheme of induction for bounded arithmetic formulas
description: scientific article; zbMATH DE number 6848189