On the concepts of completeness and interpretation of formal systems
G. Kreisel (1952)
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 “Undecidability of first order sentences in the theory of free groupoids”
On the concepts of completeness and interpretation of formal systems
Generalizing Vaught sentences from ω to strong cofinality ω
M. Makkai (1974)
Fundamenta Mathematicae
Similarity:
Models of axiomatic systems
Andrzej Mostowski (1952)
Fundamenta Mathematicae
Similarity:
Relativization with respect to formulas and its use in proofs of independence
Leon Henkin (1968)
Compositio Mathematica
Similarity:
Note on arithmetic models for consistent formulae of the predicate calculus
G. Kreisel (1950)
Fundamenta Mathematicae
Similarity:
On definable sets of positive integers
Andrzej Mostowski (1947)
Fundamenta Mathematicae
Similarity:
On a generalization of quantifiers
Andrzej Mostowski (1957)
Fundamenta Mathematicae
Similarity:
A formula with no recursively enumerable model
Andrzej Mostowski (1955)
Fundamenta Mathematicae
Similarity:
Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Ambiguity and stratification
Marcel Crabbé (1978)
Fundamenta Mathematicae
Similarity: