Publication:4496324
From MaRDI portal
zbMath0963.03070MaRDI QIDQ4496324
Publication date: 13 August 2000
infinite tree; axiom of choice; countable chain condition; axiom of dependent choice; branching poset
06A06: Partial orders, general
03E35: Consistency and independence results
03E25: Axiom of choice and related propositions