Displaying similar documents to “Canonical heights on the Jacobians of curves of genus 2 and the infinite descent”

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

Bohr compactifications of discrete structures

Joan Hart, Kenneth Kunen (1999)

Fundamenta Mathematicae

Similarity:

We prove the following theorem: Given a⊆ω and 1 ≤ α < ω 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 .

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.