Full satisfaction classes: A survey
From MaRDI portal
Publication:1182694
DOI10.1305/ndjfl/1093635929zbMath0752.03018OpenAlexW1980789512MaRDI QIDQ1182694
Publication date: 28 June 1992
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093635929
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Models of arithmetic and set theory (03C62)
Related Items (6)
The Complexity of Classification Problems for Models of Arithmetic ⋮ Four problems concerning recursively saturated models of arithmetic ⋮ Undefinability of truth and nonstandard models ⋮ Disquotational truth and analyticity ⋮ Deflationary truth and pathologies ⋮ Interpreting the compositional truth predicate in models of arithmetic
This page was built for publication: Full satisfaction classes: A survey
