Initial models and Horn clause axiomatizability.
Kapetanović, M. (1999)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Displaying similar documents to “Some embedding theorems.”
Initial models and Horn clause axiomatizability.
n - Infinite Forcing via Infinite Forcing
Milan Grulović (2001)
Publications de l'Institut Mathématique
Similarity:
Lindenbaum algebras and model companions
G. Cherlin (1979)
Fundamenta Mathematicae
Similarity:
Fragments of complete extensions of PA and McDowell-Specker's theorem.
Farah, Ilijas (1992)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
On the extending of models (I)
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Functorial uniform reducibility
Wilfrid Hodges (1980)
Fundamenta Mathematicae
Similarity:
Comments on Ultraproducts of Forcing Systems
Milan Grulović (2001)
Publications de l'Institut Mathématique
Similarity:
Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Homogeneous-Universal Models of Theories Which Have Model Completions
Žarko Mijajlović (1977)
Zbornik Radova
Similarity:
On the extending of models (IV)
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
A few Remarks on n-infinite Forcing Companions
Milan Z. Grulović (2007)
Publications de l'Institut Mathématique
Similarity: