Displaying similar documents to “On nonstructure of elementary submodels of a stable homogeneous structure”

Categoricity of theories in Lκω , when κ is a measurable cardinal. Part 1

Saharon Shelah, Oren Kolman (1996)

Fundamenta Mathematicae

Similarity:

We assume a theory T in the logic L κ ω 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.

Choice principles in Węglorz’ models

N. Brunner, Paul Howard, Jean Rubin (1997)

Fundamenta Mathematicae

Similarity:

Węglorz' models are models for set theory without the axiom of choice. Each one is determined by an atomic Boolean algebra. Here the algebraic properties of the Boolean algebra are compared to the set theoretic properties of the model.

The Arkhangel’skiĭ–Tall problem: a consistent counterexample

Gary Gruenhage, Piotr Koszmider (1996)

Fundamenta Mathematicae

Similarity:

We construct a consistent example of a normal locally compact metacompact space which is not paracompact, answering a question of A. V. Arkhangel’skiĭ and F. Tall. An interplay between a tower in P(ω)/Fin, an almost disjoint family in [ ω ] ω , and a version of an (ω,1)-morass forms the core of the proof. A part of the poset which forces the counterexample can be considered a modification of a poset due to Judah and Shelah for obtaining a Q-set by a countable support iteration.