Models of weak theories of truth
KeywordsAxiomatic truth theories Satisfaction classes Models of Peano arithmetic Recursive saturation
Mathematics Subject Classification03C62 03H15
Funding was provided by National Science Centre in Cracow (NCN) (Grant No. DEC-2011/01/B/HS1/03910).
- 1.Enayat, A., Visser, A.: New constructions of satisfaction classes. Logic Group Preprint Series 303Google Scholar
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.