54:
21:
571:
246:
493:
38:
212:
898:
657:
290:
819:
369:
871:
28:
389:
632:
394:
312:
888:
527:
647:
672:
856:
583:
600:
436:
958:
785:
488:
307:
968:
770:
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:
775:
637:
605:
379:
339:
225:
963:
758:
743:
588:
384:
883:
893:
836:
731:
719:
699:
684:
627:
549:
258:
72:
610:
927:
866:
622:
559:
458:
399:
374:
714:
349:
903:
694:
510:
463:
431:
275:
554:
285:
8:
662:
515:
404:
861:
483:
468:
327:
280:
64:
709:
667:
473:
426:
317:
295:
780:
505:
446:
441:
91:
831:
814:
802:
652:
414:
409:
364:
322:
229:
216:
846:
841:
704:
359:
270:
60:
532:
952:
753:
478:
80:
790:
748:
537:
344:
100:
939:
915:
689:
354:
642:
851:
245:
The following 105 pages are in this category, out of 105 total.
200:
This category has the following 2 subcategories, out of 2 total.
53:
20:
572:
International
Workshop on First-Order Theorem Proving
950:
93:
494:Extension by new constant and function names
242:Pages in category "Mathematical logic stubs"
36:propose new stub templates and categories
899:Thousands of Problems for Theorem Provers
820:Robinson's joint consistency theorem
291:Algebraic semantics (mathematical logic)
247:This list may not reflect recent changes
69:To add an article to this category, use
370:Completeness of atomic initial sequents
951:
195:
48:
15:
13:
872:Systems of Logic Based on Ordinals
251:
202:
194:
67:. You can help by expanding them.
14:
980:
390:Constructive nonstandard analysis
213:Programming language theory stubs
633:Limited principle of omniscience
528:Gabbay's separation theorem
395:Continuous function (set theory)
52:
19:
673:Lusin's separation theorem
658:ĆoĆâTarski preservation theorem
26:This category is maintained by
648:Logic for Computable Functions
584:Jensen's covering theorem
1:
857:Strength (mathematical logic)
437:Diagram (mathematical logic)
240:
7:
889:TarskiâKuratowski algorithm
786:Principle of distributivity
489:Extension (predicate logic)
308:Barwise compactness theorem
10:
985:
771:Paraconsistent mathematics
884:Takeuti's conjecture
776:Paradoxes of the Infinite
380:Computable measure theory
313:BernaysâSchönfinkel class
759:Overlap (term rewriting)
744:Omega-categorical theory
638:Lindström's theorem
611:Knaster's condition
601:KanamoriâMcAloon theorem
589:Joint embedding property
385:Computable real function
29:WikiProject Stub sorting
894:Theory of pure equality
837:Semicomputable function
732:Nested sequent calculus
720:Multiverse (set theory)
685:Material nonimplication
628:Lightface analytic game
550:Herbrand interpretation
350:Chang's conjecture
259:Template:Mathlogic-stub
928:Weihrauch reducibility
867:Superposition calculus
623:LEGO (proof assistant)
560:Honest leftmost branch
459:Effective Polish space
400:Continuum (set theory)
375:Computable isomorphism
59:This category is for
904:Truth-table reduction
695:Medvedev reducibility
606:KleeneâRosser paradox
511:First-order reduction
464:Elementary definition
432:Diagonal intersection
340:CantorâDedekind axiom
276:Abstract model theory
555:High (computability)
286:Algebraic definition
715:MuÄnik reducibility
700:MilnerâRado paradox
663:Low (computability)
516:Friedberg numbering
405:Convergence (logic)
959:Mathematical logic
862:Successor function
484:Equisatisfiability
469:Elementary diagram
328:Bounded arithmetic
281:Abstract structure
65:Mathematical logic
969:Mathematics stubs
710:Michael D. Morley
668:Low basis theorem
474:Elementary theory
427:Deductive closure
318:Beth definability
296:Algorithmic logic
89:
88:
47:
46:
976:
781:Polyadic algebra
506:Finite character
447:Double turnstile
442:Double recursion
231:
226:Set theory stubs
218:
84:
76:
56:
49:
43:before creation.
23:
16:
984:
983:
979:
978:
977:
975:
974:
973:
964:Stub categories
949:
948:
947:
946:
945:
944:
932:
920:
908:
876:
832:Scattered order
824:
815:Reduced product
807:
803:Quantifier rank
795:
763:
736:
724:
677:
653:Logical machine
615:
593:
576:
564:
542:
520:
498:
451:
419:
415:Cyclic negation
410:Countryman line
365:Complete theory
332:
323:Binary decision
300:
263:
239:
238:
237:
236:
233:
232:
220:
219:
193:
192:
191:
190:
96:
78:
70:
68:
33:
12:
11:
5:
982:
972:
971:
966:
961:
943:
942:
936:
933:
931:
930:
924:
921:
919:
918:
912:
909:
907:
906:
901:
896:
891:
886:
880:
877:
875:
874:
869:
864:
859:
854:
849:
847:Set constraint
844:
842:Separating set
839:
834:
828:
825:
823:
822:
817:
811:
808:
806:
805:
799:
796:
794:
793:
788:
783:
778:
773:
767:
764:
762:
761:
756:
751:
746:
740:
737:
735:
734:
728:
725:
723:
722:
717:
712:
707:
705:Modal collapse
702:
697:
692:
687:
681:
678:
676:
675:
670:
665:
660:
655:
650:
645:
640:
635:
630:
625:
619:
616:
614:
613:
608:
603:
597:
594:
592:
591:
586:
580:
577:
575:
574:
568:
565:
563:
562:
557:
552:
546:
543:
541:
540:
535:
530:
524:
521:
519:
518:
513:
508:
502:
499:
497:
496:
491:
486:
481:
476:
471:
466:
461:
455:
452:
450:
449:
444:
439:
434:
429:
423:
420:
418:
417:
412:
407:
402:
397:
392:
387:
382:
377:
372:
367:
362:
360:Coherent space
357:
352:
347:
342:
336:
333:
331:
330:
325:
320:
315:
310:
304:
301:
299:
298:
293:
288:
283:
278:
273:
271:Abstract logic
267:
264:
262:
261:
255:
253:
252:
243:
235:
234:
224:
223:
221:
211:
210:
207:
204:
203:
198:
189:
188:
108:
103:
97:
95:
92:
90:
87:
86:
73:Mathlogic-stub
57:
45:
44:
24:
9:
6:
4:
3:
2:
981:
970:
967:
965:
962:
960:
957:
956:
954:
941:
938:
937:
934:
929:
926:
925:
922:
917:
914:
913:
910:
905:
902:
900:
897:
895:
892:
890:
887:
885:
882:
881:
878:
873:
870:
868:
865:
863:
860:
858:
855:
853:
850:
848:
845:
843:
840:
838:
835:
833:
830:
829:
826:
821:
818:
816:
813:
812:
809:
804:
801:
800:
797:
792:
789:
787:
784:
782:
779:
777:
774:
772:
769:
768:
765:
760:
757:
755:
754:Ordinal logic
752:
750:
747:
745:
742:
741:
738:
733:
730:
729:
726:
721:
718:
716:
713:
711:
708:
706:
703:
701:
698:
696:
693:
691:
688:
686:
683:
682:
679:
674:
671:
669:
666:
664:
661:
659:
656:
654:
651:
649:
646:
644:
641:
639:
636:
634:
631:
629:
626:
624:
621:
620:
617:
612:
609:
607:
604:
602:
599:
598:
595:
590:
587:
585:
582:
581:
578:
573:
570:
569:
566:
561:
558:
556:
553:
551:
548:
547:
544:
539:
536:
534:
531:
529:
526:
525:
522:
517:
514:
512:
509:
507:
504:
503:
500:
495:
492:
490:
487:
485:
482:
480:
479:End extension
477:
475:
472:
470:
467:
465:
462:
460:
457:
456:
453:
448:
445:
443:
440:
438:
435:
433:
430:
428:
425:
424:
421:
416:
413:
411:
408:
406:
403:
401:
398:
396:
393:
391:
388:
386:
383:
381:
378:
376:
373:
371:
368:
366:
363:
361:
358:
356:
353:
351:
348:
346:
343:
341:
338:
337:
334:
329:
326:
324:
321:
319:
316:
314:
311:
309:
306:
305:
302:
297:
294:
292:
289:
287:
284:
282:
279:
277:
274:
272:
269:
268:
265:
260:
257:
256:
254:
250:
248:
241:
227:
222:
214:
209:
208:
205:
201:
197:Subcategories
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:
791:Proof mining
749:Open formula
538:Ground axiom
345:Centered set
244:
199:
83:}}
79:{{
75:}}
71:{{
63:relating to
37:
35:
27:
940:Zero dagger
916:UTM theorem
690:Maximal set
533:Gödel logic
355:Class logic
77:instead of
953:Categories
643:Linked set
94:Contents
852:Soft set
34:Please
230:(87 P)
217:(20 P)
81:stub
39:here
106:0â9
101:Top
955::
249:.
228:â
215:â
935:Z
923:W
911:U
879:T
827:S
810:R
798:Q
766:P
739:O
727:N
680:M
618:L
596:K
579:J
567:I
545:H
523:G
501:F
454:E
422:D
335:C
303:B
266:A
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.