On the extending of models (IV)
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The theory of function structure models.”
On the extending of models (IV)
Skolem-type normal forms for first-order languages with a generalized quantifier
G. Fuhrken (1964)
Fundamenta Mathematicae
Similarity:
Initial models and Horn clause axiomatizability.
Kapetanović, M. (1999)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
n - Infinite Forcing via Infinite Forcing
Milan Grulović (2001)
Publications de l'Institut Mathématique
Similarity:
[unknown]
Roman Kossak (1984)
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:
A data model architecture for parametrics.
Agbodan, Dago, Marcheix, David, Pierra, Guy (1999)
Journal for Geometry and Graphics
Similarity:
Some embedding theorems.
Presic, Marica D., Presic, Slavisa B. (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Completion closed algebras and models of Peano arithmetic
Petr Hájek (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
On models of certain formulas with a predicate letter of lenght n
B. P. Alimpić (1971)
Matematički Vesnik
Similarity:
Homogeneous-Universal Models of Theories Which Have Model Completions
Žarko Mijajlović (1977)
Zbornik Radova
Similarity: