54:
21:
640:
207:
263:
201:
38:
590:
349:
511:
563:
28:
324:
580:
219:
339:
364:
548:
275:
292:
655:
477:
665:
462:
185:
182:
179:
176:
173:
170:
167:
164:
161:
158:
155:
152:
149:
146:
143:
140:
137:
134:
131:
128:
125:
122:
119:
116:
113:
110:
105:
467:
329:
297:
660:
450:
435:
280:
575:
585:
528:
423:
411:
391:
376:
319:
241:
72:
302:
619:
558:
314:
251:
406:
595:
386:
246:
8:
354:
553:
64:
401:
359:
472:
91:
523:
506:
494:
344:
538:
533:
396:
60:
224:
649:
445:
80:
482:
440:
229:
100:
631:
607:
381:
334:
543:
200:
The following 61 pages are in this category, out of 105 total.
53:
20:
264:
International
Workshop on First-Order Theorem Proving
647:
93:
197:Pages in category "Mathematical logic stubs"
36:propose new stub templates and categories
591:Thousands of Problems for Theorem Provers
512:Robinson's joint consistency theorem
202:This list may not reflect recent changes
69:To add an article to this category, use
648:
48:
15:
13:
564:Systems of Logic Based on Ordinals
211:
194:
67:. You can help by expanding them.
14:
677:
325:Limited principle of omniscience
220:Gabbay's separation theorem
52:
19:
365:Lusin's separation theorem
350:ĆoĆâTarski preservation theorem
26:This category is maintained by
340:Logic for Computable Functions
276:Jensen's covering theorem
1:
549:Strength (mathematical logic)
195:
7:
581:TarskiâKuratowski algorithm
478:Principle of distributivity
10:
682:
463:Paraconsistent mathematics
576:Takeuti's conjecture
468:Paradoxes of the Infinite
451:Overlap (term rewriting)
436:Omega-categorical theory
330:Lindström's theorem
303:Knaster's condition
293:KanamoriâMcAloon theorem
281:Joint embedding property
29:WikiProject Stub sorting
586:Theory of pure equality
529:Semicomputable function
424:Nested sequent calculus
412:Multiverse (set theory)
377:Material nonimplication
320:Lightface analytic game
242:Herbrand interpretation
620:Weihrauch reducibility
559:Superposition calculus
315:LEGO (proof assistant)
252:Honest leftmost branch
59:This category is for
596:Truth-table reduction
387:Medvedev reducibility
298:KleeneâRosser paradox
247:High (computability)
407:MuÄnik reducibility
392:MilnerâRado paradox
355:Low (computability)
656:Mathematical logic
554:Successor function
65:Mathematical logic
666:Mathematics stubs
402:Michael D. Morley
360:Low basis theorem
89:
88:
47:
46:
673:
473:Polyadic algebra
84:
76:
56:
49:
43:before creation.
23:
16:
681:
680:
676:
675:
674:
672:
671:
670:
661:Stub categories
646:
645:
644:
638:
637:
636:
624:
612:
600:
568:
524:Scattered order
516:
507:Reduced product
499:
495:Quantifier rank
487:
455:
428:
416:
369:
345:Logical machine
307:
285:
268:
256:
234:
193:
192:
191:
190:
96:
78:
70:
68:
33:
12:
11:
5:
679:
669:
668:
663:
658:
643:) (next page)
635:
634:
628:
625:
623:
622:
616:
613:
611:
610:
604:
601:
599:
598:
593:
588:
583:
578:
572:
569:
567:
566:
561:
556:
551:
546:
541:
539:Set constraint
536:
534:Separating set
531:
526:
520:
517:
515:
514:
509:
503:
500:
498:
497:
491:
488:
486:
485:
480:
475:
470:
465:
459:
456:
454:
453:
448:
443:
438:
432:
429:
427:
426:
420:
417:
415:
414:
409:
404:
399:
397:Modal collapse
394:
389:
384:
379:
373:
370:
368:
367:
362:
357:
352:
347:
342:
337:
332:
327:
322:
317:
311:
308:
306:
305:
300:
295:
289:
286:
284:
283:
278:
272:
269:
267:
266:
260:
257:
255:
254:
249:
244:
238:
235:
233:
232:
227:
222:
216:
213:
212:
198:
189:
188:
108:
103:
97:
95:
92:
90:
87:
86:
73:Mathlogic-stub
57:
45:
44:
24:
9:
6:
4:
3:
2:
678:
667:
664:
662:
659:
657:
654:
653:
651:
642:
641:previous page
633:
630:
629:
626:
621:
618:
617:
614:
609:
606:
605:
602:
597:
594:
592:
589:
587:
584:
582:
579:
577:
574:
573:
570:
565:
562:
560:
557:
555:
552:
550:
547:
545:
542:
540:
537:
535:
532:
530:
527:
525:
522:
521:
518:
513:
510:
508:
505:
504:
501:
496:
493:
492:
489:
484:
481:
479:
476:
474:
471:
469:
466:
464:
461:
460:
457:
452:
449:
447:
446:Ordinal logic
444:
442:
439:
437:
434:
433:
430:
425:
422:
421:
418:
413:
410:
408:
405:
403:
400:
398:
395:
393:
390:
388:
385:
383:
380:
378:
375:
374:
371:
366:
363:
361:
358:
356:
353:
351:
348:
346:
343:
341:
338:
336:
333:
331:
328:
326:
323:
321:
318:
316:
313:
312:
309:
304:
301:
299:
296:
294:
291:
290:
287:
282:
279:
277:
274:
273:
270:
265:
262:
261:
258:
253:
250:
248:
245:
243:
240:
239:
236:
231:
228:
226:
223:
221:
218:
217:
214:
210:) (next page)
209:
208:previous page
205:
203:
196:
187:
184:
181:
178:
175:
172:
169:
166:
163:
160:
157:
154:
151:
148:
145:
142:
139:
136:
133:
130:
127:
124:
121:
118:
115:
112:
109:
107:
104:
102:
99:
98:
82:
74:
66:
62:
61:stub articles
58:
55:
51:
50:
42:
41:
40:
31:
30:
25:
22:
18:
17:
483:Proof mining
441:Open formula
230:Ground axiom
199:
83:}}
79:{{
75:}}
71:{{
63:relating to
37:
35:
27:
632:Zero dagger
608:UTM theorem
382:Maximal set
225:Gödel logic
77:instead of
650:Categories
335:Linked set
94:Contents
544:Soft set
34:Please
81:stub
39:here
106:0â9
101:Top
652::
204:.
639:(
627:Z
615:W
603:U
571:T
519:S
502:R
490:Q
458:P
431:O
419:N
372:M
310:L
288:K
271:J
259:I
237:H
215:G
206:(
186:Z
183:Y
180:X
177:W
174:V
171:U
168:T
165:S
162:R
159:Q
156:P
153:O
150:N
147:M
144:L
141:K
138:J
135:I
132:H
129:G
126:F
123:E
120:D
117:C
114:B
111:A
85:.
32:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.