Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Displaying similar documents to “Functorial uniform reducibility”
Kripke models for intuitionistic theories with decidable atomic formulas.
Lindenbaum algebras and model companions
G. Cherlin (1979)
Fundamenta Mathematicae
Similarity:
On ω-models which are not β-models
Andrzej Mostowski, Y. Suzuki (1969)
Fundamenta Mathematicae
Similarity:
On axiomatizability and preservation in Kripke models.
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
On the extending of models (IV)
J. Łoś, R. Suszko (1957)
Fundamenta Mathematicae
Similarity:
On models of certain formulas with a predicate letter of lenght n
B. P. Alimpić (1971)
Matematički Vesnik
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:
On d-finiteness in continuous structures
Itaï Ben Yaacov, Alexander Usvyatsov (2007)
Fundamenta Mathematicae
Similarity:
We observe that certain classical results of first order model theory fail in the context of continuous first order logic. We argue that this happens since finite tuples in a continuous structure may behave as infinite tuples in classical model theory. The notion of a d-finite tuple attempts to capture some aspects of the classical finite tuple behaviour. We show that many classical results involving finite tuples are valid in continuous logic upon replacing "finite" with "d-finite"....
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:
A viewpoint on amalgamation classes
Silvia Barbina, Domenico Zambella (2010)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
We give a self-contained introduction to universal homogeneous models (also known as rich models) in a general context where the notion of morphism is taken as primitive. We produce an example of an amalgamation class where each connected component has a saturated rich model but the theory of the rich models is not model-complete.