The Gödel class with identity is unsolvable

DOI10.1090/S0273-0979-1984-15207-8MaRDI QIDQ3317080zbMATH OpenWikidataFDO

Authors Warren D. Goldfarb

Publication date 1984

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

infinity axiomclosed prenex first-order formulas of pure quantification theoryGödel Class with Identity

Mathematics Subject Classification ID

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

Recommendations

• The unsolvability of the Gödel class with identity
• A decidable subclass of the minimal Gödel class with identity
• Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität
• scientific article; zbMATH DE number 3715502
• Undecidability without arithmetization

Cites work

• scientific article; zbMATH DE number 3715502 (Why is no real title available?)
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• Zum Entscheidungsproblem des logischen Funktionenkalküls

Cited in

(7)

• On varieties of cylindric algebras with applications to logic
• The unsolvability of the Gödel class with identity
• Finite-model theory -- A personal perspective
• Asymptotic probabilities of existential second-order Gödel sentences
• A decidable subclass of the minimal Gödel class with identity
• Counterexamples of the 0-1 Law for Fragments of Existential Second-Order Logic: an Overview
• European Summer Meeting of the Association for Symbolic Logic

This page was built for publication: The Gödel class with identity is unsolvable

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