Lindenbaum algebras and model companions
G. Cherlin (1979)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The notion of universal completeness”
Lindenbaum algebras and model companions
Classes of models and sets of sentences with the intersection property
Michael O. Rabin (1962)
Annales scientifiques de l'Université de Clermont. Mathématiques
Similarity:
Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Functorial uniform reducibility
Wilfrid Hodges (1980)
Fundamenta Mathematicae
Similarity:
Generalizing Vaught sentences from ω to strong cofinality ω
M. Makkai (1974)
Fundamenta Mathematicae
Similarity:
On axiomatizability and preservation in Kripke models.
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Mental models, model-theoretic semantics, and the psychosemantic conception of truth
Shira Elqayam (2005)
Philosophia Scientiae
Similarity:
On the extending of models (I)
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
Some embedding theorems.
Presic, Marica D., Presic, Slavisa B. (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Absolutely saturated models
Philip Ehrlich (1989)
Fundamenta Mathematicae
Similarity:
Extending the topological interpretation to intuitionistic analysis
Dana Scott (1968)
Compositio Mathematica
Similarity: