Pages that link to "Item:Q3924205"
From MaRDI portal
The following pages link to Construction of Satisfaction Classes for Nonstandard Models (Q3924205):
Displayed 33 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)
- Pathologies in satisfaction classes (Q6179830) (← links)