Pages that link to "Item:Q3924205"

The following pages link to Construction of Satisfaction Classes for Nonstandard Models (Q3924205):

Displaying 36 items.

• Deflationary truth and the ontology of expressions (Q513895) (← links)
• Nonstandard definability (Q913793) (← links)
• Inductive full satisfaction classes (Q920081) (← links)
• Deflationary truth and pathologies (Q975779) (← links)
• On the number of steps in proofs (Q1119576) (← links)
• Transplendent models: expansions omitting a type (Q1762364) (← links)
• Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
• A system of complete and consistent truth (Q1893134) (← links)
• Interpreting the compositional truth predicate in models of arithmetic (Q2042738) (← links)
• The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
• Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
• Truth and the philosophy of mathematics (Q2080591) (← links)
• Reflecting and unfolding (Q2094161) (← links)
• Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
• Truth, disjunction, and induction (Q2312097) (← links)
• A note on the variety of satisfaction classes (Q2639847) (← links)
• Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
• TRUTH AND SPEED-UP (Q2940877) (← links)
• Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
• CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
• Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
• CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
• Remarks on weak notions of saturation in models of Peano arithmetic (Q3755444) (← links)
• An addition to Rosser's theorem (Q4879914) (← links)
• TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
• Neutrally expandable models of arithmetic (Q5108857) (← links)
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
• NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE (Q5357325) (← links)
• Kernels, truth and satisfaction (Q5382835) (← links)
• MINIMAL TRUTH AND INTERPRETABILITY (Q5850988) (← links)
• The two halves of disjunctive correctness (Q6038484) (← links)
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
• Compositional truth with propositional tautologies and quantifier-free correctness (Q6139242) (← links)
• AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
• Pathologies in satisfaction classes (Q6179830) (← links)
• Saturation properties for compositional truth with propositional correctness (Q6652033) (← links)