Construction of Satisfaction Classes for Nonstandard Models
From MaRDI portal
Publication:3924205
DOI10.4153/CMB-1981-045-3zbMath0471.03054OpenAlexW2002502277MaRDI QIDQ3924205
Henryk Kotlarski, Stanisław Krajewski, Alistair H. Lachlan
Publication date: 1981
Published in: Canadian Mathematical Bulletin (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4153/cmb-1981-045-3
Related Items
Relative Truth Definability of Axiomatic Truth Theories, CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION, A system of complete and consistent truth, A note on the variety of satisfaction classes, Full satisfaction classes, definability, and automorphisms, CONSISTENCY AND THE THEORY OF TRUTH, On the number of steps in proofs, Local collection and end-extensions of models of compositional truth, TRUTH AND SPEED-UP, Remarks on weak notions of saturation in models of Peano arithmetic, The two halves of disjunctive correctness, TRUTH AND FEASIBLE REDUCIBILITY, MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE, Neutrally expandable models of arithmetic, NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE, Compositional truth with propositional tautologies and quantifier-free correctness, AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW, Pathologies in satisfaction classes, INCOMPLETENESS VIA PARADOX AND COMPLETENESS, Nonstandard definability, An addition to Rosser's theorem, Inductive full satisfaction classes, Kernels, truth and satisfaction, Lindenbaum’s Lemma via Open Induction, Deflationary truth and the ontology of expressions, Transplendent models: expansions omitting a type, Deflationary truth and pathologies, Interpreting the compositional truth predicate in models of arithmetic, The implicit commitment of arithmetical theories and its semantic core, Possible-worlds semantics for modal notions conceived as predicates, Truth, disjunction, and induction, Cut elimination for systems of transparent truth with restricted initial sequents, Truth and the philosophy of mathematics, MINIMAL TRUTH AND INTERPRETABILITY, Reflecting and unfolding
