INCOMPLETENESS VIA PARADOX AND COMPLETENESS

DOI10.1017/S1755020319000212zbMATH Open1485.03244OpenAlexW2946546087WikidataQ127832017 ScholiaQ127832017MaRDI QIDQ5117593FDOQ5117593

Walter Dean

Publication date: 26 August 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020319000212

Recommendations

• Incompleteness and paradox
• scientific article; zbMATH DE number 1339027
• Incompleteness and fixed points
• scientific article; zbMATH DE number 2176167
• Inconsistency and Incompleteness, Revisited
• Paraconsistency and paracompleteness
• scientific article; zbMATH DE number 1062120
• Liar-type paradoxes and the incompleteness phenomena
• scientific article; zbMATH DE number 638206
• Incompleteness in a General Setting

zbMATH Keywords

interpretabilitysemantic paradoxesarithmetized completeness theoremDavid HilbertHilbert programPaul Bernaysset theoretic paradoxesHao WangGeorg Kreisel

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Outline of a Theory of Truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• On formalization of model-theoretic proofs of Gödel's theorems
• Undecidable theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Arithmetization of metamathematics in a general setting
• Title not available (Why is that?)
• Full Satisfaction Classes and Recursive Saturation
• Reflecting on incompleteness
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatizing Kripke's theory of truth
• Title not available (Why is that?)
• The completeness of the first-order functional calculus
• The theory of semisets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Consistency of the Continuum Hypothesis. (AM-3)
• Title not available (Why is that?)
• Trial and error predicates and the solution to a problem of Mostowski
• Heterologicality and imcompleteness
• On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, and Boolos
• The Surprise Examination Paradox and the Second Incompleteness Theorem
• Liar-type paradoxes and the incompleteness phenomena
• Yablo's paradox
• Title not available (Why is that?)
• Title not available (Why is that?)
• On interpretations of arithmetic and set theory
• Title not available (Why is that?)
• Self-reference and modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Title not available (Why is that?)
• A survey of proof theory
• Recursive Predicates and Quantifiers
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the concepts of completeness and interpretation of formal systems
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
• David Hilbert's Lectures on the Foundations of Physics 1915-1927
• Title not available (Why is that?)
• Bernays and Set Theory
• Some remarks on extending and interpreting theories with a partial predicate for truth
• David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
• Title not available (Why is that?)
• Construction of Satisfaction Classes for Nonstandard Models
• Kolmogorov complexity and the second incompleteness theorem
• On Languages Which are Based on Non-Standard Arithmetic
• A system of axiomatic set theory. Part III. Infinity and enumerability. Analysis
• The incompleteness theorems after 70 years
• A relative consistency proof
• Comparison of Russell's resolution of the semantical antinomies with that of Tarski
• On a paradox of Hilbert and Bernays
• SELF-REFERENCE IN ARITHMETIC I
• SELF-REFERENCE IN ARITHMETIC II
• Some impredicative definitions in the axiomatic set theory
• TRUTH AND FEASIBLE REDUCIBILITY
• A system of axiomatic set theory - Part VII
• Title not available (Why is that?)
• Hilbert's paradox
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two notes on the foundations of set-theory
• Some applications of formalized consistency proofs
• On the paradox of grounded classes
• Title not available (Why is that?)
• The Hypothesis that all Classes are Nameable
• Sets and classes. On the work by Paul Bernays
• A construction for consistent systems
• Relatives of the Russell Paradox
• Title not available (Why is that?)
• Arithmetical Reflection and the Provability of Soundness
• Note on arithmetic models for consistent formulae of the predicate calculus
• Title not available (Why is that?)
• THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
• Undecidable sentences generated by semantic paradoxes
• A method of modelling the formalism of set theory in axiomatic set theory
• Title not available (Why is that?)
• Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem
• On recursively enumerable and arithmetic models of set theory
• operators and alternating sentences in arithmetic
• Title not available (Why is that?)
• Die schematische Korrespondenz und die idealisierten Strukturen
• Title not available (Why is that?)
• Bernays and the Completeness Theorem

Cited In (12)

• Incompleteness and the Barcan formula
• Title not available (Why is that?)
• Incompleteness and fixed points
• Conway's question: the chase for completeness
• Title not available (Why is that?)
• Inconsistency and Incompleteness, Revisited
• Is complexity a source of incompleteness?
• Title not available (Why is that?)
• Incompleteness Ex Machina
• CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
• Incompleteness and paradox
• Reflecting and unfolding

This page was built for publication: INCOMPLETENESS VIA PARADOX AND COMPLETENESS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117593)