Premium
Variations of Rado's lemma
Author(s) -
Howard Paul
Publication year - 1993
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19930390139
Subject(s) - lemma (botany) , mathematics , axiom of choice , axiom , boolean prime ideal theorem , ideal (ethics) , discrete mathematics , combinatorics , set (abstract data type) , prime (order theory) , set theory , computer science , ecology , philosophy , geometry , poaceae , epistemology , biology , programming language
The deductive strengths of three variations of Rado's selection lemma are studied in set theory without the axiom of choice. Two are shown to be equivalent to Rado's lemma and the third to the Boolean prime ideal theorem. MSC: 03E25, 04A25, 06E05.