The unsolvability of the Gödel class with identity
Work
Year: 1984
Type: article
Abstract: The Gödel class with identity (GCI) is the class of closed, prenex quantificational formulas whose prefixes have the form ∀∀∃ … ∃ and whose matrices contain arbitrary predicate letters and the identit... more
Source: Journal of Symbolic Logic
Author Warren Goldfarb
Institution Harvard University Press
Cites: 15
Cited by: 47
Related to: 10
FWCI: 1.004
Citation percentile (by year/subfield): 92.84
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green