Showing math.LOShow all
2 papers · 1 filter
math.LO2022
Infinite Combinatorics revisited in the absence of Axiom of Choice
Tamás Csernák, Lajos Soukup
We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal , (1…
math.LO2021
Minimal vertex covers in infinite hypergraphs
Tamás Csernák, Lajos Soukup
In this paper a hypergraph will be identified with the family of its edges. A hypergraph possesses property iff for each $\mathcal E…