The scope of Gödel's first incompleteness theorem
From MaRDI portal
Publication:2254575
Cites work
- "Flexible" Predicates of Formal Number Theory
- \(\supset\)E is admissible in ``true relevant arithmetic
- A generalization of the concept of ω-consistency
- A generalization of the incompleteness theorem
- A machine-assisted proof of Gödel's incompleteness theorems for the theory of hereditarily finite sets
- A minimal predicative set theory
- A new proof of the fixed-point theorem of provability logic
- A Note on Boolos' Proof of the Incompleteness Theorem
- A note on Priest's finite inconsistent arithmetics
- A Theory of Program Size Formally Identical to Information Theory
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
- Accessible Independence Results for Peano Arithmetic
- Algorithmic Information Theory
- Algorithmic information theory
- An Absolutely Independent Set of ΣO‐Sentences
- An addition to Rosser's theorem
- An Answer to Hellman's Question: ‘Does Category Theory Provide a Framework for Mathematical Structuralism?’†
- AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
- An interpretation of Robinson arithmetic in its Grzegorczyk's weaker variant
- An introduction to Gödel's theorems
- Arithmetic on semigroups
- Avoiding Self-Referential Statements
- Brief introduction to unprovability
- Categorical foundations of mathematics. Or how to provide foundations for abstract mathematics.
- Categories in Context: Historical, Foundational, and Philosophical
- Classical recursion theory. The theory of functions and sets of natural numbers
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
- Definability and decision problems in arithmetic
- Existentially closed structures and Gödel's second incompleteness theorem
- Extensions of some theorems of Gödel and Church
- Fifty years of self-reference in arithmetic
- Finite sets and Gödel's incompleteness theorems
- Foundational studies. Selected works. Vol. I, II
- Fuzzy sets
- Growing commas. A study of sequentiality and concatenation
- Gödel incompleteness theorems and the limits of their applicability. I
- Gödel Theorems for Non-Constructive Logics
- Harvey Friedman's research on the foundations of mathematics
- HILBERT'S PROGRAMME
- How to Program an Infinite Abacus
- scientific article; zbMATH DE number 3154788 (Why is no real title available?)
- scientific article; zbMATH DE number 3857078 (Why is no real title available?)
- scientific article; zbMATH DE number 5295812 (Why is no real title available?)
- scientific article; zbMATH DE number 5695342 (Why is no real title available?)
- scientific article; zbMATH DE number 3950473 (Why is no real title available?)
- scientific article; zbMATH DE number 4059391 (Why is no real title available?)
- scientific article; zbMATH DE number 4083572 (Why is no real title available?)
- scientific article; zbMATH DE number 3179433 (Why is no real title available?)
- scientific article; zbMATH DE number 42574 (Why is no real title available?)
- scientific article; zbMATH DE number 43479 (Why is no real title available?)
- scientific article; zbMATH DE number 193143 (Why is no real title available?)
- scientific article; zbMATH DE number 194101 (Why is no real title available?)
- scientific article; zbMATH DE number 3467029 (Why is no real title available?)
- scientific article; zbMATH DE number 3504935 (Why is no real title available?)
- scientific article; zbMATH DE number 3550662 (Why is no real title available?)
- scientific article; zbMATH DE number 3635994 (Why is no real title available?)
- scientific article; zbMATH DE number 1215494 (Why is no real title available?)
- scientific article; zbMATH DE number 596497 (Why is no real title available?)
- scientific article; zbMATH DE number 664031 (Why is no real title available?)
- scientific article; zbMATH DE number 1070621 (Why is no real title available?)
- scientific article; zbMATH DE number 1078592 (Why is no real title available?)
- scientific article; zbMATH DE number 3001281 (Why is no real title available?)
- scientific article; zbMATH DE number 1550362 (Why is no real title available?)
- scientific article; zbMATH DE number 194754 (Why is no real title available?)
- scientific article; zbMATH DE number 3999883 (Why is no real title available?)
- scientific article; zbMATH DE number 1855559 (Why is no real title available?)
- scientific article; zbMATH DE number 2123258 (Why is no real title available?)
- scientific article; zbMATH DE number 757714 (Why is no real title available?)
- scientific article; zbMATH DE number 782632 (Why is no real title available?)
- scientific article; zbMATH DE number 1439713 (Why is no real title available?)
- scientific article; zbMATH DE number 227056 (Why is no real title available?)
- scientific article; zbMATH DE number 5241974 (Why is no real title available?)
- scientific article; zbMATH DE number 2198106 (Why is no real title available?)
- scientific article; zbMATH DE number 3266620 (Why is no real title available?)
- scientific article; zbMATH DE number 3285224 (Why is no real title available?)
- scientific article; zbMATH DE number 3291106 (Why is no real title available?)
- scientific article; zbMATH DE number 3336816 (Why is no real title available?)
- scientific article; zbMATH DE number 3348085 (Why is no real title available?)
- scientific article; zbMATH DE number 3349763 (Why is no real title available?)
- scientific article; zbMATH DE number 3361843 (Why is no real title available?)
- scientific article; zbMATH DE number 972408 (Why is no real title available?)
- scientific article; zbMATH DE number 2236687 (Why is no real title available?)
- scientific article; zbMATH DE number 3057484 (Why is no real title available?)
- scientific article; zbMATH DE number 3073037 (Why is no real title available?)
- Incompleteness along paths in progressions of theories
- Incompleteness in a General Setting
- Inconsistent models for relevant arithmetics
- Inconsistent models of arithmetic. I: Finite models
- Inconsistent models of arithmetic. II: The general case
- Inconsistent number systems
- Independent Gödel sentences and independent sets
- Injecting inconsistencies into models of PA
- Introduction to computability logic
- Is complexity a source of incompleteness?
- Iterated reflection principles and the ω-rule
- Languages in which self reference is possible
- Metamathematics of fuzzy logic
- Minimally inconsistent LP
- Models for substructural arithmetics
- My forty years on his shoulders
- Necessary and Sufficient Conditions for Undecidability of the Gödel Sentence and its Truth
- Non-standard models of Peano arithmetic
- Nonstandard models and Kripke's proof of the Gödel theorem
- On LP-models of arithmetic
- On ω-consistency and related properties
- On interpretability in the theory of concatenation
- On interpreting Chaitin's incompleteness theorem
- On the effective ω‐rule
- On the incompleteness theorems
- On the independence of axioms in BL and MTL
- On the interpretability of arithmetic in set theory
- On the interpretability of arithmetic in temporal logic
- On the scheme of induction for bounded arithmetic formulas
- Other Proofs of Old Results
- Philosophy of mathematics
- Reflecting on incompleteness
- Reflections on the categorical foundations of mathematics
- Self-reference and modal logic
- Self-reference in arithmetic. II
- Some rapidly growing functions
- String theory
- Systems of Logic Based on Ordinals†
- The classical and the ω-complete arithmetic
- The decision problem for exponential diophantine equations
- The fuzzification of systems. The genesis of fuzzy set theory and its initial applications. Developments up to the 1970s. Transl. from the German
- The impact of Gödel's incompleteness theorems on mathematics
- The incompleteness theorems after 70 years
- The logic of paradox
- The varieties of arboreal experience
- Theories incomparable with respect to relative interpretability
- Three universal representations of recursively enumerable sets
- Towards metamathematics of weak arithmetics over fuzzy logic
- Transfinite Progressions: A Second Look at Completeness
- Transfinite recursive progressions of axiomatic theories
- Undecidability without arithmetization
- Undecidable sentences generated by semantic paradoxes
- Undecidable theories
- Undefinability of truth. the problem of priority:tarski vs gödel
- Universal diophantine equation
- Variants of Robinson's essentially undecidable theoryR
- What is Cantor's Continuum Problem?
- What is the world of mathematics?
- Whither relevant arithmetic?
- Why the theory R is special
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Cited in
(4)
This page was built for publication: The scope of Gödel's first incompleteness theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2254575)
