Undecidable and creative theories
J. Shoenfield (1961)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “On the decision problem for extensions of a decidable theory”
Undecidable and creative theories
Some problem in elementary arithmetics
D. Jensen, A. Ehrenfeucht (1976)
Fundamenta Mathematicae
Similarity:
On a system of axioms which has no recursively enumerable arithmetic model
Andrzej Mostowski (1953)
Fundamenta Mathematicae
Similarity:
A formula with no recursively enumerable model
Andrzej Mostowski (1955)
Fundamenta Mathematicae
Similarity:
Arithmetization of metamathematics in a general setting
S. Feferman (1960)
Fundamenta Mathematicae
Similarity:
On interpretability in theories containing arithmetic
Marie Hájková, Petr Hájek (1972)
Fundamenta Mathematicae
Similarity:
A kind of categoricity
Andrzej Grzegorczyk (1962)
Colloquium Mathematicae
Similarity:
Fixed points and self-reference.
Smullyan, Raymond M. (1984)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Note on arithmetic models for consistent formulae of the predicate calculus
G. Kreisel (1950)
Fundamenta Mathematicae
Similarity:
A nonstandard approach to arithmetic.
JOSÉ F. PRIDA (1999)
Revista de la Real Academia de Ciencias Exactas Físicas y Naturales
Similarity: