Mathematical Logic Quarterly

A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices

Journal Article


It is easy to prove in ZF (= Zermelo‐Fraenkel set theory without the axioms of choice and foundation) that a relation R satisfies the maximal condition if and only if its transitive hull R* does; equivalently: R is well‐founded if and only if R* is. We will show in the following that, if the maximal condition is replaced by the (finite ascending) chain condition, as is often the case in Algebra, the resulting statement is not provable in ZF anymore (if ZF is consistent). More precisely, we will prove that this statement is equivalent in ZF to the countable axiom of choice ACω. Moreover, applying this result we will prove that the axiom of dependent choices, restricted to partial orders as used in Algebra, already implies the general form for arbitrary relations as formulated first by Teichmüller and, independently, some time later by Bernays and Tarski.

Mathematics Subject Classification: 06B05, 08A65, 08B20, 03E99.

Related Topics

Related Publications

Related Content

Site Footer


This website is provided by John Wiley & Sons Limited, The Atrium, Southern Gate, Chichester, West Sussex PO19 8SQ (Company No: 00641132, VAT No: 376766987)

Published features on are checked for statistical accuracy by a panel from the European Network for Business and Industrial Statistics (ENBIS)   to whom Wiley and express their gratitude. This panel are: Ron Kenett, David Steinberg, Shirley Coleman, Irena Ograjenšek, Fabrizio Ruggeri, Rainer Göb, Philippe Castagliola, Xavier Tort-Martorell, Bart De Ketelaere, Antonio Pievatolo, Martina Vandebroek, Lance Mitchell, Gilbert Saporta, Helmut Waldl and Stelios Psarakis.