-categoricity of products of 1-unary algebras
-Boolean spectrum, and stability
Si dimostra che la conoscenza delle algebre di Boole dei definibili di modelli di cardinità di una teoria elementare è sufficiente per decidere il suo tipo di stabilità.
-категоричные коммутативные кольца
A completeness theorem in the modal logic of programs
A Completness Theorem For One Class Of The Propositional Calculi
A decidable -categorical theory with a non-recursive Ryll-Nardzewski function
A model-theoretic transfer theorem for henselian valued fields.
A note on “Atomic compactness in -categorical Horn theories” by John T. Baldwin
A note on ...-categorical model-companions.
A property of stable theories
A propos d'un théorème de MacIntyre
An expansion of an -categorical model
Atomic compactness in - categorical Horn theories
Bemerkungen über minimale Modelle.
Binarity for -categorial weakly o-minimal theories of convexity rank 1.
...-Categorical Stable Groups.
Categoricity of theories in , when κ* is a measurable cardinal. Part 2
We continue the work of [2] and prove that for λ successor, a λ-categorical theory T in is μ-categorical for every μ ≤ λ which is above the -beth cardinal.
Categoricity of theories in Lκω , when κ is a measurable cardinal. Part 1
We assume a theory T in the logic is categorical in a cardinal λ κ, and κ is a measurable cardinal. We prove that the class of models of T of cardinality < λ (but ≥ |T|+κ) has the amalgamation property; this is a step toward understanding the character of such classes of models.
Categoricity without equality
We study categoricity in power for reduced models of first order logic without equality.
Characterizing the powerset by a complete (Scott) sentence
This paper is part II of a study on cardinals that are characterizable by a Scott sentence, continuing previous work of the author. A cardinal κ is characterized by a Scott sentence if has a model of size κ, but no model of size κ⁺. The main question in this paper is the following: Are the characterizable cardinals closed under the powerset operation? We prove that if is characterized by a Scott sentence, then is (homogeneously) characterized by a Scott sentence, for all 0 < β₁ < ω₁....