𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Remark on Free Choice Sequences and the Topological Completeness Proofs

✍ Scribed by G. Kreisel

Book ID
121360779
Publisher
Association for Symbolic Logic
Year
1958
Tongue
English
Weight
526 KB
Volume
23
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof of a Conjecture of Mader, Erdös an
Proof of a Conjecture of Mader, Erdös and Hajnal on Topological Complete Subgraphs
✍ B. Bollobás; A. Thomason 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 89 KB

We show that every graph G of size at least 256 p 2 |G| contains a topological complete subgraph of order p. This slight improvement of a recent result of Komlós and Szemerédi proves a conjecture made by Mader and by Erdös and Hajnal.

A Remark on Ascending Chain Conditions,
A Remark on Ascending Chain Conditions, the Countable Axiom of Choice and the Principle of Dependent Choices
✍ Karl-Heinz Diener 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 370 KB

## Abstract 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