The Gödel class with identity is unsolvable

DOI10.1090/S0273-0979-1984-15207-8zbMATH Open0534.03005WikidataQ59405635 ScholiaQ59405635MaRDI QIDQ3317080FDOQ3317080

Authors: Warren D. Goldfarb 

Publication date: 1984

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

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

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)

Cites Work

• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• Zum Entscheidungsproblem des logischen Funktionenkalküls
• Title not available (Why is that?)

Cited In (7)

• The unsolvability of the Gödel class with identity
• On varieties of cylindric algebras with applications to logic
• 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)