Nonmetrizable topological dynamical characterization of central sets

Hong-Ting Shi; Hong-Wei Yang

Displaying similar documents to “Nonmetrizable topological dynamical characterization of central sets”

Rotation sets for subshifts of finite type

Krystyna Ziemian (1995)

Fundamenta Mathematicae

Similarity:

For a dynamical system (X,f) and a function $φ : X \to ℝ^{N}$ the rotation set is defined. The case when (X,f) is a transitive subshift of finite type and φ depends on the cylinders of length 2 is studied. Then the rotation set is a convex polyhedron. The rotation vectors of periodic points are dense in the rotation set. Every interior point of the rotation set is a rotation vector of an ergodic measure.

Interpreting reflexive theories in finitely many axioms

V. Shavrukov (1997)

Fundamenta Mathematicae

Similarity:

For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation ’F interprets R’ in terms of provability of restricted consistency statements on cuts. This characterization is used in a proof that the set of $\prod_{1}$ (as well as $\sum_{1}$ ) sentences π such that GB interprets ZF+π is $Σ_{3}^{0}$ -complete.

On the diophantine equation $f (a^{m}, y) = b^{n}$

Pietro Corvaja, Umberto Zannier (2000)

Acta Arithmetica

Similarity:

Linear orders and MA + ¬wKH

Zoran Spasojević (1995)

Fundamenta Mathematicae

Similarity:

I prove that the statement that “every linear order of size $2^{ω}$ can be embedded in $(ω^{ω}, ≪)$ ” is consistent with MA + ¬ wKH.

Loop spaces and homotopy operations

David Blanc (1997)

Fundamenta Mathematicae

Similarity:

We describe an obstruction theory for an H-space X to be a loop space, in terms of higher homotopy operations taking values in $π_{*} X$ . These depend on first algebraically “delooping” the Π-algebras $π_{*} X$ , using the H-space structure on X, and then trying to realize the delooped Π-algebra.

Bohr compactifications of discrete structures

Joan Hart, Kenneth Kunen (1999)

Fundamenta Mathematicae

Similarity:

We prove the following theorem: Given a⊆ω and $1 \leq α < ω_{1}^{C K}$ , if for some $η < ℵ_{1}$ and all u ∈ WO of length η, a is $Σ_{α}^{0} (u)$ , then a is $Σ_{α}^{0}$ .We use this result to give a new, forcing-free, proof of Leo Harrington’s theorem: $Σ_{1}^{1}$ -Turing-determinacy implies the existence of $0^{}$ .

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).

On entropy of patterns given by interval maps

Jozef Bobok (1999)

Fundamenta Mathematicae

Similarity:

Defining the complexity of a green pattern exhibited by an interval map, we give the best bounds of the topological entropy of a pattern with a given complexity. Moreover, we show that the topological entropy attains its strict minimum on the set of patterns with fixed eccentricity m/n at a unimodal X-minimal case. Using a different method, the last result was independently proved in[11].

Irreducible representations of metrizable spaces and strongly countable-dimensional spaces

Richard Millspaugh, Leonard Rubin, Philip Schapiro (1995)

Fundamenta Mathematicae

Similarity: