Model theory for infinite quantifier languages
Model theory for logic.
Model Theory for Lam Logic
Model theory of fields: An application to positive semidefinite polynomials
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.