✦ LIBER ✦

Well-ordering and choice in toposes

✍ Scribed by Mawanda Mbila-Mambu

Book ID: 103236635
Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 752 KB
Volume: 50
Category: Article
ISSN: 0022-4049
DOI: 10.1016/0022-4049(88)90113-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Toposes in Logic and Logic in Toposes

✍ Marta Bunge 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 964 KB

Fuzzy sets and toposes—Towards higher or

Fuzzy sets and toposes—Towards higher order fuzzy logic

✍ Ian Graham 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 652 KB

Induction and Well Ordering

✍ Aron Pinker 📂 Article 📅 1976 🏛 School Science and Mathematics Association 🌐 English ⚖ 295 KB

Choice functions and well-orderings over

Choice functions and well-orderings over the infinite binary tree

✍ Carayol, Arnaud ;Löding, Christof ;Niwinski, Damian ;Walukiewicz, Igor 📂 Article 📅 2010 🏛 Walter de Gruyter GmbH 🌐 English ⚖ 707 KB

Ordering anomalies in choice experiments

✍ Brett Day; Jose-Luis Pinto Prades 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 394 KB

Subgraphs and well-quasi-ordering

✍ Guoli Ding 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 712 KB

## Abstract Let 𝒴 be a class of graphs and let ⪯ be the subgraph or the induced subgraph relation. We call ⪯ an __ideal__ (with respect to ⪯) if ⪯ implies that ⪯. In this paper, we study the ideals that are well‐quasiordered by ⪯. The following are our main results. If ⪯ is the subgraph relation, w