On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Generalized interpretability in terms of models. (Note to a paper of R. Montague.)”
On ω-models which are not β-models
Some embedding theorems.
Presic, Marica D., Presic, Slavisa B. (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
On the extending of models (I)
J. Łoś (1955)
Fundamenta Mathematicae
Similarity:
On the extending of models (IV)
J. Łoś, R. Suszko (1957)
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:
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:
Initial models and Horn clause axiomatizability.
Kapetanović, M. (1999)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
On models of certain formulas with a predicate letter of lenght n
B. P. Alimpić (1971)
Matematički Vesnik
Similarity:
Functorial uniform reducibility
Wilfrid Hodges (1980)
Fundamenta Mathematicae
Similarity:
Semantics of the predicate calculus with identity and the validity in the empty individual-domain
Schneider, Hubert H. (1958)
Portugaliae mathematica
Similarity: