THE EXPRESSIVE POWER OF TRUTH

DOI10.1017/S1755020314000392zbMATH Open1382.03014OpenAlexW2126052467MaRDI QIDQ5259727FDOQ5259727

Martin J. Fischer, Leon Horsten

Publication date: 29 June 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020314000392

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Cites Work

• Title not available (Why is that?)
• Finite Axiomatizability using additional predicates
• Notes on Formal Theories of Truth
• Title not available (Why is that?)
• Classes and truths in set theory
• Title not available (Why is that?)
• MINIMAL TRUTH AND INTERPRETABILITY
• Title not available (Why is that?)
• Title not available (Why is that?)
• Second-Order Logic and Foundations of Mathematics
• On the logic of reducibility: Axioms and examples
• TRUTH AND SPEED-UP
• On mathematical instrumentalism

Cited In (3)

• Deflationary truth and the ontology of expressions
• MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
• MODELS OF POSITIVE TRUTH

This page was built for publication: THE EXPRESSIVE POWER OF TRUTH

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5259727)