Displaying similar documents to “A consistency result on weak reflection”

Embedding partially ordered sets into ω ω

Ilijas Farah (1996)

Fundamenta Mathematicae

Similarity:

We investigate some natural questions about the class of posets which can be embedded into ⟨ω,≤*⟩. Our main tool is a simple ccc forcing notion H E which generically embeds a given poset E into ⟨ω,≤*⟩ and does this in a “minimal” way (see Theorems 9.1, 10.1, 6.1 and 9.2).

ℳ-rank and meager groups

Ludomir Newelski (1996)

Fundamenta Mathematicae

Similarity:

Assume p* is a meager type in a superstable theory T. We investigate definability properties of p*-closure. We prove that if T has < 2 ℵ 0 countable models then the multiplicity rank ℳ of every type p is finite. We improve Saffe’s conjecture.

Hamiltonian systems with linear potential and elastic constraints

Maciej Wojtkowski (1998)

Fundamenta Mathematicae

Similarity:

We consider a class of Hamiltonian systems with linear potential, elastic constraints and arbitrary number of degrees of freedom. We establish sufficient conditions for complete hyperbolicity of the system.

A dichotomy theorem for mono-unary algebras

Su Gao (2000)

Fundamenta Mathematicae

Similarity:

We study the isomorphism relation of invariant Borel classes of countable mono-unary algebras and prove a strong dichotomy theorem.

On regular interstices and selective types in countable arithmetically saturated models of Peano Arithmetic

Teresa Bigorajska, Henryk Kotlarski, James Schmerl (1998)

Fundamenta Mathematicae

Similarity:

We continue the earlier research of [1]. In particular, we work out a class of regular interstices and show that selective types are realized in regular interstices. We also show that, contrary to the situation above definable elements, the stabilizer of an element inside M(0) whose type is selective need not be maximal.