Pages that link to "Item:Q5551148"
From MaRDI portal
The following pages link to On Languages Which are Based on Non-Standard Arithmetic (Q5551148):
Displayed 15 items.
- Undefinability of truth and nonstandard models (Q598273) (← links)
- The incompleteness theorems after 70 years (Q598275) (← links)
- Inductive full satisfaction classes (Q920081) (← links)
- Deflationary truth and pathologies (Q975779) (← links)
- The optimization of the domain problem. I: Basic concepts (Q1162692) (← links)
- Interpreting the compositional truth predicate in models of arithmetic (Q2042738) (← links)
- Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
- Recursively saturated nonstandard models of arithmetic (Q3966138) (← links)
- Abraham Robinson, 1918-1974 (Q4128770) (← links)
- Other Proofs of Old Results (Q4224081) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC (Q5024504) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Truth without standard models: some conceptual problems reloaded (Q5375877) (← links)
- Nonstandard logic (Q5538911) (← links)