Model-completeness for sheaves of structures
Modèles premiers d'une théorie totalement transcendante
Model-interpretability into trees and applications.
Modelltheoretische Untersuchungen in der Kripke-Semantik.
Modelltheorie und Logik.
Modelování ve vědě a technice
Models in which all long indiscernible sequences are indiscernible sets
Models of second order arithmetic with definable Skolem functions
Models with second order properties. III. Omitting types for L(Q).
Model-theoretic consequences of a theorem of Campana and Fujiki
We give a model-theoretic interpretation of a result by Campana and Fujiki on the algebraicity of certain spaces of cycles on compact complex spaces. The model-theoretic interpretation is in the language of canonical bases, and says that if b,c are tuples in an elementary extension 𝓐* of the structure 𝓐 of compact complex manifolds, and b is the canonical base of tp(c/b), then tp(b/c) is internal to the sort (ℙ¹)*. The Zilber dichotomy in 𝓐* follows immediately (a type of U-rank 1 is locally...
Model-theoretic properties of cause-and-effect structures
Model-theoretical constructions in AST. I.
Modely skutečnosti a modely teorií
Modyfications of Csákány's Theorem
Varieties whose algebras have no idempotent element were characterized by B. Csákány by the property that no proper subalgebra of an algebra of such a variety is a congruence class. We simplify this result for permutable varieties and we give a local version of the theorem for varieties with nullary operations.
More on extending automorphisms of models of Peano Arithmetic
Continuing the earlier research [Fund. Math. 129 (1988) and 149 (1996)] we give some information about extending automorphisms of models of PA to cofinal extensions.
More on injectivity in locally presentable categories.
More on locally atomic models
More on the Ehrenfeucht-Fraisse game of length ω₁
By results of [9] there are models and for which the Ehrenfeucht-Fraïssé game of length ω₁, , is non-determined, but it is consistent relative to the consistency of a measurable cardinal that no such models have cardinality ≤ ℵ₂. We now improve the work of [9] in two ways. Firstly, we prove that the consistency strength of the statement “CH and is determined for all models and of cardinality ℵ₂” is that of a weakly compact cardinal. On the other hand, we show that if , T is a countable complete...
More reflections on compactness
We consider the question of when , where is the elementary submodel topology on X ∩ M, especially in the case when is compact.
Morley numbers for generalized languages