Pages that link to "Well-founded relation"
Jump to navigation
Jump to search
The following pages link to Well-founded relation:
Displaying 29 items.
- Axiom of regularity (← links)
- Transfinite induction (← links)
- Well-order (← links)
- Hoare logic (← links)
- Constructible universe (← links)
- Order theory (← links)
- Provability logic (← links)
- Well-quasi-ordering (← links)
- Admissible rule (← links)
- Predicate transformer semantics (← links)
- Prewellordering (← links)
- Epsilon-induction (← links)
- Implementation of mathematics in set theory (← links)
- Hereditary set (← links)
- Epsilon number (← links)
- Constructive set theory (← links)
- Termination analysis (← links)
- Rose tree (← links)
- Kleene–Brouwer order (← links)
- Ordinal analysis (← links)
- Kleene's O (← links)
- Ordinal collapsing function (← links)
- Loop variant (← links)
- Inductive type (← links)
- Lévy hierarchy (← links)
- Dershowitz–Manna ordering (← links)
- Safety and liveness properties (← links)
- Testwiki:Reference desk/Archives/Mathematics/2010 February 3 (← links)
- Testwiki:School and university projects/Discrete and numerical mathematics/Learning plan (← links)