The Gödel class with identity is unsolvable

DOI10.1090/S0273-0979-1984-15207-8zbMath0534.03005WikidataQ59405635 ScholiaQ59405635MaRDI QIDQ3317080

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)

Related Items (5)

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

Cites Work

• Unnamed Item
• ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE
• Zum Entscheidungsproblem des logischen Funktionenkalküls

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