Models of weak theories of truth

DOI10.1007/s00153-017-0531-1zbMath1417.03237arXiv1712.00471OpenAlexW3106542286WikidataQ59608277 ScholiaQ59608277MaRDI QIDQ2402953

Bartosz Wcisło, Mateusz Łełyk

Publication date: 15 September 2017

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1712.00471

zbMATH Keywords

models of Peano arithmeticrecursive saturationsatisfaction classesaxiomatic truth theories

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (3)

Local collection and end-extensions of models of compositional truth ⋮ Truth and the philosophy of mathematics ⋮ DISJUNCTIONS WITH STOPPING CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonstandard definability
• Relative Truth Definability of Axiomatic Truth Theories
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION
• A Rather Classless Model
• Models with second order properties II. Trees with no undefined branches

This page was built for publication: Models of weak theories of truth