Some properties of mirrored orders.
Some Questions Concerning Minimal Structures
Some Remarks On Boolean Terms - Model Theoretic Approach
Some remarks on Booleean terms - Model theoretic approach.
Some Remarks on Projective Model Classes and the Interpolation Theorem.
Some remarks on well-ordered models
Some results about compact logics
Nell'ambito della Teoria dei Modelli Astratta è possibile dimostrare che una logica compatta L è univocamente determinata dalla sua relazione di L-elementare equivalenza (Teorema 1). Si enunciano poi alcuni risultati sulle logiche massime correlate a certe relazioni di equivalenza e sulle logiche compatte generate da qualche sistema di Fraissé-Ehrenfeucht.
Some results about exponential fields (survey)
Some Theorems For Model Theory Of Mixed-Valued Predicate Calculi
Souslin-Klееnе does not imply Beth
Special m-hyperidentities in biregular leftmost graph varieties of type (2,0)
Graph algebras establish a connection between directed graphs without multiple edges and special universal algebras of type (2,0). We say that a graph G satisfies a term equation s ≈ t if the corresponding graph algebra satisfies s ≈ t. A class of graph algebras V is called a graph variety if where Σ is a subset of T(X) × T(X). A graph variety is called a biregular leftmost graph variety if Σ’ is a set of biregular leftmost term equations. A term equation s ≈ t is called an identity in a variety...
Spielquantorinterpretationen unstetiger Funktionale der höheren Analysis.
Stabilité des corps séparablement clos
Statistical causality and adapted distribution
In the paper D. Hoover, J. Keisler: Adapted probability distributions, Trans. Amer. Math. Soc. 286 (1984), 159–201 the notion of adapted distribution of two stochastic processes was introduced, which in a way represents the notion of equivalence of those processes. This very important property is hard to prove directly, so we continue the work of Keisler and Hoover in finding sufficient conditions for two stochastic processes to have the same adapted distribution. For this purpose we use the concept...
Strong categoricity.
Strong initial segments of models of IΔ₀
McAloon showed that if 𝓐 is a nonstandard model of IΔ₀, then some initial segment of 𝓐 is a nonstandard model of PA. Sommer and D'Aquino characterized, in terms of the Wainer functions, the elements that can belong to such an initial segment. The characterization used work of Ketonen and Solovay, and Paris. Here we give conditions on a model 𝓐 of IΔ₀ guaranteeing that there is an n-elementary initial segment that is a nonstandard model of PA. We also characterize the elements that can be included....
Strong Maehara and Takeuti type interpolation theorems for
Strong Maehara and Takeuti type interpolation theorems for
Strongly bounded automorphism groups
A group G is strongly bounded if every isometric action of G on a metric space has bounded orbits. We show that the automorphism groups of typical countable structures with the small index property are strongly bounded. In particular we show that this is the case when G is the automorphism group of the countable universal locally finite extension of a periodic abelian group.
Strongly determined types and G-compactness
We study connections between G-compactness and existence of strongly determined types.