298:
279:
308:
21:
223:
111:
182:
235:
187:
98:
153:
130:
45:
143:
165:
269:
303:
62:
33:
240:
274:
148:
50:
74:
177:
117:
86:
211:
199:
292:
252:
264:
20:
The following 27 pages are in this category, out of 27 total.
8:
22:This list may not reflect recent changes
7:
17:Pages in category "Wellfoundedness"
26:
14:
280:Well-structured transition system
299:Properties of binary relations
1:
112:Hereditarily well-founded set
99:Friedman's SSCG function
183:Noetherian topological space
188:Non-well-founded set theory
154:Kruskal's tree theorem
325:
224:Robertson–Seymour theorem
131:Infinite descending chain
46:Ascending chain condition
166:Mostowski collapse lemma
270:Well-ordering principle
236:Scott–Potter set theory
309:Mathematical induction
63:Better-quasi-ordering
34:Well-founded relation
241:Structural induction
144:Kleene–Brouwer order
75:Dickson's lemma
275:Well-quasi-ordering
178:Newman's lemma
118:Higman's lemma
51:Axiom of regularity
149:KĹ‘nig's lemma
87:Epsilon-induction
316:
133:
114:
324:
323:
319:
318:
317:
315:
314:
313:
289:
288:
287:
286:
285:
284:
257:
245:
228:
216:
212:Prewellordering
204:
192:
170:
158:
136:
129:
122:
110:
103:
91:
79:
67:
55:
38:
12:
11:
5:
322:
320:
312:
311:
306:
301:
291:
290:
283:
282:
277:
272:
267:
261:
258:
256:
255:
249:
246:
244:
243:
238:
232:
229:
227:
226:
220:
217:
215:
214:
208:
205:
203:
202:
200:Ordinal number
196:
193:
191:
190:
185:
180:
174:
171:
169:
168:
162:
159:
157:
156:
151:
146:
140:
137:
135:
134:
126:
123:
121:
120:
115:
107:
104:
102:
101:
95:
92:
90:
89:
83:
80:
78:
77:
71:
68:
66:
65:
59:
56:
54:
53:
48:
42:
39:
37:
36:
30:
28:
27:
18:
15:
13:
10:
9:
6:
4:
3:
2:
321:
310:
307:
305:
302:
300:
297:
296:
294:
281:
278:
276:
273:
271:
268:
266:
263:
262:
259:
254:
253:Universal set
251:
250:
247:
242:
239:
237:
234:
233:
230:
225:
222:
221:
218:
213:
210:
209:
206:
201:
198:
197:
194:
189:
186:
184:
181:
179:
176:
175:
172:
167:
164:
163:
160:
155:
152:
150:
147:
145:
142:
141:
138:
132:
128:
127:
124:
119:
116:
113:
109:
108:
105:
100:
97:
96:
93:
88:
85:
84:
81:
76:
73:
72:
69:
64:
61:
60:
57:
52:
49:
47:
44:
43:
40:
35:
32:
31:
29:
25:
23:
16:
304:Order theory
19:
293:Categories
265:Well-order
295::
24:.
260:W
248:U
231:S
219:R
207:P
195:O
173:N
161:M
139:K
125:I
106:H
94:F
82:E
70:D
58:B
41:A
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.