𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Induction and Well Ordering

✍ Scribed by Aron Pinker


Book ID
114975572
Publisher
School Science and Mathematics Association
Year
1976
Tongue
English
Weight
295 KB
Volume
76
Category
Article
ISSN
0036-6803

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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

Well-ordering and choice in toposes
✍ Mawanda Mbila-Mambu πŸ“‚ Article πŸ“… 1988 πŸ› Elsevier Science 🌐 English βš– 752 KB