Undecidability without arithmetization

DOI10.1007/S11225-005-2976-1MaRDI QIDQ1780896zbMATH OpenOpenAlexFDO

Authors Andrzej Grzegorczyk

Publication date 14 June 2005

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-005-2976-1

zbMATH Keywords

decidabilityconcatenationrepresentabilitydiscernibilityarithmetizationAlfred TarskiKurt Gödel

Mathematics Subject Classification ID

Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25)

Recommendations

• Logical undecidabilities made easy
• First-order Frege theory is undecidable
• Decidability without mathematics
• Growing commas. A study of sequentiality and concatenation
• scientific article; zbMATH DE number 4210102

Cited in

(32)

• Structuralism and meta-mathematics
• A weak theory of building blocks
• Mutual interpretability of Robinson arithmetic and adjunctive set theory with extensionality
• Finding the limit of incompleteness. I
• On decidability of theories of regular languages
• The paradox of the knower revisited
• On arithmetical first-order theories allowing encoding and decoding of lists
• Weak theories of concatenation and arithmetic
• The Gödel class with identity is unsolvable
• On theory of regular languages with the Kleene star operation
• On undecidability of concatenation theory for one-symbol languages
• Some proofs of undecidability of arithmetic
• Arithmetic on semigroups
• Current research on Gödel's incompleteness theorems
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories
• Growing commas. A study of sequentiality and concatenation
• Bases for structures and theories. I.
• First-order concatenation theory with bounded quantifiers
• Quantifier-free induction for lists
• Undecidable sentences generated by semantic paradoxes
• Decidability without mathematics
• Weak essentially undecidable theories of concatenation
• First-order Frege theory is undecidable
• INTERLEAVING LOGIC AND COUNTING
• scientific article; zbMATH DE number 2236644 (Why is no real title available?)
• Consistency and the theory of truth
• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
• Mathematical intuition and natural numbers: a critical discussion
• Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
• The logical strength of compositional principles
• The scope of Gödel's first incompleteness theorem
• Logical undecidabilities made easy

This page was built for publication: Undecidability without arithmetization

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