In set theory without the Axiom of Choice (AC), we observe new relations of the following statements with weak choice principles. • Plf,c (Every locally finite connected graph has a maximal independent set). • Plc,c (Every locally countable connected graph has a maximal independent set). • CACאα (If in a partially ordered set all antichains are finite and all chains have size אα, then the set has size אα) if אα is regular. • CWF (Every partially ordered set has a cofinal well-founded subset). • If G = (VG, EG) is a connected locally finite chordal graph, then there is an ordering <of VG such that {w < v : {w, v} ∈ EG} is a clique for each v ∈ VG
Abstract. We show that it is not possible to construct a Fraenkel-Mostowski model in which the axiom...
The theory ZFC implies the scheme that for every cardinal $\delta$ we can make $\delta$ many depende...
We study the reverse mathematics of countable analogues of several maximality principles that are eq...
In set theory without the axiom of choice (AC), we observe new relations of the following statements...
Abstract. In set theory without the Axiom of Choice (AC), we observe new relations of the following ...
summary:In set theory without the axiom of choice (AC), we observe new relations of the following st...
summary:In set theory without the axiom of choice (AC), we observe new relations of the following st...
We have observations concerning the set theoretic strength of the following combinatorial statements...
AbstractCall a subset of an ordered set a fibre if it meets every maximal antichain. We prove severa...
We show that it is consistent relative to ZF, that there is no well-ordering of $\mathbb{R}$ while a...
AbstractCall a subset of an ordered set a fibre if it meets every maximal antichain. We prove severa...
AbstractWe show that two versions of a first countable topological space which are equivalent in ZFC...
AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. ...
In this work we investigate infinite structures. We discuss the importance, meaning and temptation o...
The concept of path independence (PI) was first introduced by Arrow (1963) as a defense of his requi...
Abstract. We show that it is not possible to construct a Fraenkel-Mostowski model in which the axiom...
The theory ZFC implies the scheme that for every cardinal $\delta$ we can make $\delta$ many depende...
We study the reverse mathematics of countable analogues of several maximality principles that are eq...
In set theory without the axiom of choice (AC), we observe new relations of the following statements...
Abstract. In set theory without the Axiom of Choice (AC), we observe new relations of the following ...
summary:In set theory without the axiom of choice (AC), we observe new relations of the following st...
summary:In set theory without the axiom of choice (AC), we observe new relations of the following st...
We have observations concerning the set theoretic strength of the following combinatorial statements...
AbstractCall a subset of an ordered set a fibre if it meets every maximal antichain. We prove severa...
We show that it is consistent relative to ZF, that there is no well-ordering of $\mathbb{R}$ while a...
AbstractCall a subset of an ordered set a fibre if it meets every maximal antichain. We prove severa...
AbstractWe show that two versions of a first countable topological space which are equivalent in ZFC...
AbstractThe class of points in a set-presented formal topology is a set, if all points are maximal. ...
In this work we investigate infinite structures. We discuss the importance, meaning and temptation o...
The concept of path independence (PI) was first introduced by Arrow (1963) as a defense of his requi...
Abstract. We show that it is not possible to construct a Fraenkel-Mostowski model in which the axiom...
The theory ZFC implies the scheme that for every cardinal $\delta$ we can make $\delta$ many depende...
We study the reverse mathematics of countable analogues of several maximality principles that are eq...