The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “Application of occupancy and ordering theory in genetics of autopolyploids”

On Multiset Ordering

Grzegorz Bancerek (2016)

Formalized Mathematics

Similarity:

Formalization of a part of [11]. Unfortunately, not all is possible to be formalized. Namely, in the paper there is a mistake in the proof of Lemma 3. It states that there exists x ∈ M1 such that M1(x) > N1(x) and (∀y ∈ N1)x ⊀ y. It should be M1(x) ⩾ N1(x). Nevertheless we do not know whether x ∈ N1 or not and cannot prove the contradiction. In the article we referred to [8], [9] and [10].

On partial orderings having precalibre-ℵ₁ and fragments of Martin's axiom

Joan Bagaria, Saharon Shelah (2016)

Fundamenta Mathematicae

Similarity:

We define a countable antichain condition (ccc) property for partial orderings, weaker than precalibre-ℵ₁, and show that Martin's axiom restricted to the class of partial orderings that have the property does not imply Martin's axiom for σ-linked partial orderings. This yields a new solution to an old question of the first author about the relative strength of Martin's axiom for σ-centered partial orderings together with the assertion that every Aronszajn tree is special. We also answer...

α-Properness and Axiom A

Tetsuya Ishiu (2005)

Fundamenta Mathematicae

Similarity:

We show that under ZFC, for every indecomposable ordinal α < ω₁, there exists a poset which is β-proper for every β < α but not α-proper. It is also shown that a poset is forcing equivalent to a poset satisfying Axiom A if and only if it is α-proper for every α < ω₁.