The following pages link to Undecidable theories (Q2651342):
Displaying 50 items.
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4611683) (← links)
- A View of Revival of Mathematical Logic in Warsaw, 1945–1975 (Q4611698) (← links)
- Andrzej Mostowski and the Notion of a Model (Q4611699) (← links)
- (Q4612556) (← links)
- ON A QUESTION OF KRAJEWSKI’S (Q4628685) (← links)
- Possible world semantics for analogous reasoning (Q4632316) (← links)
- On the strength of some topological lattices (Q4635374) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem (Q4917999) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS (Q4984860) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
- HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? (Q5078818) (← links)
- TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES (Q5107215) (← links)
- ANOTHER LOOK AT THE SECOND INCOMPLETENESS THEOREM (Q5107534) (← links)
- Recursive functions and existentially closed structures (Q5114808) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← links)
- Semantic limits of dense combinatorial objects (Q5138464) (← links)
- SELF-REFERENCE IN ARITHMETIC I (Q5176165) (← links)
- Report on attainability of systems of identities (Q5340944) (← links)
- La théorie des fonctions récursives et ses applications. (Exposé d'information générale) (Q5536266) (← links)
- (Q5537625) (← links)
- Zur axiomatisierbarkeit von theorien in der schwachen logik der zweiten stufe (Q5549794) (← links)
- An Equivalence Between Nonassociative Ring Theory and the Theory of a Special Class of Groups (Q5559614) (← links)
- Deduction-preserving “recursive isomorphisms” between theories (Q5561955) (← links)
- Independent Recursive Axiomatizability in Arithmetic (Q5579483) (← links)
- Satisfaction for <i>n</i>-th order languages defined in <i>n</i>-th order languages (Q5596728) (← links)
- Representability of Partial Recursive Functions in Formal Theories (Q5607995) (← links)
- “Recursive isomorphism” and effectively extensible theories (Q5608005) (← links)
- Logische Kategorien (Q5632565) (← links)
- Recursively enumerable classes and their application to recursive sequences of formal theories (Q5652663) (← links)
- Representability of recursively enumerable sets in formal theories (Q5720192) (← links)
- Creativity and Effective Inseparability (Q5727660) (← links)
- Representability op recursively enumerable sets in formal theories (Q5729294) (← links)
- Exact Separation of Recursively Enumerable Sets Within Theories (Q5729296) (← links)
- COORDINATE-FREE LOGIC (Q5737953) (← links)
- RESTRICTIVENESS RELATIVE TO NOTIONS OF INTERPRETATION (Q5741612) (← links)
- A NOTE ON DERIVABILITY CONDITIONS (Q5855755) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- Predicative logic and formal arithmetic (Q5937804) (← links)
- Rules and arithmetics (Q5937848) (← links)
- SELF-REFERENCE UPFRONT: A STUDY OF SELF-REFERENTIAL GÖDEL NUMBERINGS (Q6041342) (← links)
- FMP-ensuring logics, RA-ensuring logics and FA-ensuring logics in NExtK4.3 (Q6067743) (← links)
- The theory of hereditarily bounded sets (Q6094150) (← links)
- On interpretations of Presburger arithmetic in Büchi arithmetics (Q6095191) (← links)
- Core Gödel (Q6100981) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)
