36:
2427:
178:
Sometimes, a set is endowed with more than one feature simultaneously, which allows mathematicians to study the interaction between the different structures more richly. For example, an ordering imposes a rigid form, shape, or topology on the set, and if a set has both a topology feature and a group
482:
806:
346:
1481:
1564:
705:
120:). Often, the additional features are attached or related to the set, so as to provide it with some additional meaning or significance.
382:
1878:
2036:
593:
574:
824:
1891:
1214:
1896:
1886:
1623:
1476:
829:
820:
2032:
612:
526:
79:
57:
1374:
50:
2451:
2129:
1873:
698:
1434:
1127:
868:
2390:
2092:
1855:
1850:
1675:
1096:
780:
24:
2385:
2168:
2085:
1798:
1729:
1606:
848:
248:
Algebraic structure: there are operations of addition and multiplication, the first of which makes it into a
2310:
2136:
1822:
1456:
1055:
2188:
2183:
1793:
1532:
1461:
790:
691:
2117:
1707:
1101:
1069:
760:
408:
351:
2407:
2356:
2253:
1751:
1712:
1189:
834:
863:
2248:
2178:
1717:
1569:
1552:
1275:
755:
44:
2080:
2057:
2018:
1904:
1845:
1491:
1411:
1255:
1199:
812:
179:
feature, such that these two features are related in a certain way, then the structure becomes a
105:
536:
Hegedus, Stephen John; Moreno-Armella, Luis (2011). "The emergence of mathematical structures".
2370:
2097:
2075:
2042:
1935:
1781:
1766:
1739:
1690:
1574:
1509:
1334:
1300:
1295:
1169:
1000:
977:
260:
172:
168:
109:
61:
677:
2300:
2153:
1945:
1663:
1399:
1305:
1164:
1149:
1030:
1005:
221:
saw structures as the root of mathematics. They first mentioned them in their "Fascicule" of
2456:
2273:
2235:
2112:
1916:
1756:
1680:
1658:
1486:
1444:
1343:
1310:
1174:
962:
873:
438:
Corry, Leo (September 1992). "Nicolas
Bourbaki and the concept of mathematical structure".
286:
279:
190:
164:
113:
8:
2461:
2402:
2293:
2278:
2258:
2215:
2102:
2052:
1978:
1923:
1860:
1653:
1648:
1596:
1364:
1353:
1025:
925:
853:
844:
840:
775:
770:
361:
356:
253:
136:
132:
128:
2431:
2200:
2163:
2148:
2141:
2124:
1928:
1910:
1776:
1702:
1685:
1638:
1451:
1360:
1194:
1179:
1139:
1091:
1076:
1064:
1020:
995:
765:
714:
553:
515:
463:
455:
336:
20:
1384:
2426:
2366:
2173:
1983:
1973:
1865:
1746:
1581:
1557:
1338:
1322:
1227:
1204:
1081:
1050:
1015:
910:
745:
642:
622:
608:
605:
Logical foundations of mathematics and computational complexity a gentle introduction
589:
570:
557:
522:
323:
186:
180:
117:
101:
467:
2380:
2375:
2268:
2225:
2047:
2008:
2003:
1988:
1814:
1771:
1668:
1466:
1416:
990:
952:
634:
545:
447:
268:
218:
638:
2361:
2351:
2305:
2288:
2243:
2205:
2107:
2027:
1834:
1761:
1734:
1722:
1628:
1542:
1516:
1471:
1439:
1240:
1042:
985:
935:
900:
858:
160:
2346:
2325:
2283:
2263:
2158:
2013:
1611:
1601:
1591:
1586:
1520:
1394:
1270:
1159:
1154:
1132:
733:
206:
124:
549:
2445:
2320:
1998:
1505:
1290:
1280:
1250:
1235:
905:
312:
202:
2220:
2067:
1968:
1960:
1840:
1788:
1697:
1633:
1616:
1547:
1406:
1265:
967:
750:
646:
249:
245:
An order: each number is either less than or greater than any other number.
225:
and expanded it into
Chapter IV of the 1957 edition. They identified three
198:
156:
152:
144:
2330:
2210:
1389:
1379:
1326:
1010:
930:
915:
795:
740:
341:
238:
93:
459:
1260:
1115:
1086:
892:
666:
451:
308:
Its order and, independently, its metric structure induce its topology.
290:
197:) are of special interest in many fields of mathematics. Examples are
2412:
2315:
1368:
1285:
1245:
1209:
1145:
957:
947:
920:
683:
319:
2397:
2195:
1643:
1348:
942:
661:
297:
194:
148:
140:
1993:
785:
189:
between sets which preserve structures (i.e., structures in the
586:
Discrete mathematical structures : theory and applications
565:
Kolman, Bernard; Busby, Robert C.; Ross, Sharon Cutler (2000).
272:
264:
1537:
883:
728:
484:
Biological signal processing and computational neuroscience
104:
provided with some additional features on the set (e.g. an
517:
Fundamental
Structures of Algebra and Discrete Mathematics
569:(4th ed.). Upper Saddle River, NJ: Prentice Hall.
535:
318:
Its algebraic structure and topology make it into a
514:
311:Its order and algebraic structure make it into an
603:PudlĂĄk, Pavel (2013). "Mathematical structures".
347:Equivalent definitions of mathematical structures
2443:
564:
252:and the pair of which together make it into a
699:
217:In 1939, the French group with the pseudonym
205:, which preserve topological structures; and
406:
232:
678:Mathematical structures in computer science
193:are mapped to equivalent structures in the
891:
706:
692:
625:(21 May 1993). "Mathematical Structures".
209:, which preserve differential structures.
123:A partial list of possible structures are
80:Learn how and when to remove this message
673:(provides a model theoretic definition.)
621:
588:. Australia: Thomson/Course Technology.
583:
380:
43:This article includes a list of general
433:
431:
201:, which preserve algebraic structures;
2444:
713:
602:
512:
687:
480:
437:
229:: algebraic, topological, and order.
474:
428:
407:Christiansen, Jacob Stordal (2015).
29:
13:
538:Educational Studies in Mathematics
521:. Hoboken: John Wiley & Sons.
506:
304:There are interfaces among these:
285:A geometry: it is equipped with a
49:it lacks sufficient corresponding
14:
2473:
654:
607:. Cham: Springer. pp. 2â24.
296:A topology: there is a notion of
263:of the real line have a specific
241:has several standard structures:
19:For the notion of "structure" in
2425:
567:Discrete mathematical structures
34:
584:Malik, D.S.; Sen, M.K. (2004).
278:A metric: there is a notion of
267:, which can be extended to the
400:
374:
25:Structure (mathematical logic)
16:Additional mathematical object
1:
2386:History of mathematical logic
639:10.1126/science.260.5111.1170
367:
2311:Primitive recursive function
7:
381:Saunders, Mac Lane (1996).
330:
10:
2478:
1375:SchröderâBernstein theorem
1102:Monadic predicate calculus
761:Foundations of mathematics
481:Wells, Richard B. (2010).
383:"Structure in Mathematics"
352:Intuitionistic type theory
212:
18:
2421:
2408:Philosophy of mathematics
2357:Automated theorem proving
2339:
2234:
2066:
1959:
1811:
1528:
1504:
1482:Von NeumannâBernaysâGödel
1427:
1321:
1225:
1123:
1114:
1041:
976:
882:
804:
721:
550:10.1007/s10649-010-9297-7
409:"Mathematical structures"
233:Example: the real numbers
513:Foldes, Stephan (1994).
2452:Mathematical structures
2058:Self-verifying theories
1879:Tarski's axiomatization
830:Tarski's undefinability
825:incompleteness theorems
390:Philosoph1A Mathemat1Ca
169:differential structures
64:more precise citations.
2432:Mathematics portal
2043:Proof of impossibility
1691:propositional variable
1001:Propositional calculus
2301:Kolmogorov complexity
2254:Computably enumerable
2154:Model complete theory
1946:Principia Mathematica
1006:Propositional formula
835:BanachâTarski paradox
165:equivalence relations
2249:ChurchâTuring thesis
2236:Computability theory
1445:continuum hypothesis
963:Square of opposition
821:Gödel's completeness
129:algebraic structures
2403:Mathematical object
2294:P versus NP problem
2259:Computable function
2053:Reverse mathematics
1979:Logical consequence
1856:primitive recursive
1851:elementary function
1624:Free/bound variable
1477:TarskiâGrothendieck
996:Logical connectives
926:Logical equivalence
776:Logical consequence
633:(5111): 1170â1173.
362:Space (mathematics)
357:Mathematical object
2201:Transfer principle
2164:Semantics of logic
2149:Categorical theory
2125:Non-standard model
1639:Logical connective
766:Information theory
715:Mathematical logic
490:. pp. 296â335
452:10.1007/bf00414286
337:Abstract structure
21:mathematical logic
2439:
2438:
2371:Abstract category
2174:Theories of truth
1984:Rule of inference
1974:Natural deduction
1955:
1954:
1500:
1499:
1205:Cartesian product
1110:
1109:
1016:Many-valued logic
991:Boolean functions
874:Russell's paradox
849:diagonal argument
746:First-order logic
595:978-0-619-21558-3
576:978-0-13-083143-9
324:topological group
227:mother structures
181:topological group
145:metric structures
90:
89:
82:
2469:
2430:
2429:
2381:History of logic
2376:Category of sets
2269:Decision problem
2048:Ordinal analysis
1989:Sequent calculus
1887:Boolean algebras
1827:
1826:
1801:
1772:logical/constant
1526:
1525:
1512:
1435:ZermeloâFraenkel
1186:Set operations:
1121:
1120:
1058:
889:
888:
869:LöwenheimâSkolem
756:Formal semantics
708:
701:
694:
685:
684:
671:
650:
618:
599:
580:
561:
532:
520:
500:
499:
497:
495:
489:
478:
472:
471:
435:
426:
425:
423:
422:
413:
404:
398:
397:
387:
378:
269:Lebesgue measure
219:Nicolas Bourbaki
85:
78:
74:
71:
65:
60:this article by
51:inline citations
38:
37:
30:
2477:
2476:
2472:
2471:
2470:
2468:
2467:
2466:
2442:
2441:
2440:
2435:
2424:
2417:
2362:Category theory
2352:Algebraic logic
2335:
2306:Lambda calculus
2244:Church encoding
2230:
2206:Truth predicate
2062:
2028:Complete theory
1951:
1820:
1816:
1812:
1807:
1799:
1519: and
1515:
1510:
1496:
1472:New Foundations
1440:axiom of choice
1423:
1385:Gödel numbering
1325: and
1317:
1221:
1106:
1056:
1037:
986:Boolean algebra
972:
936:Equiconsistency
901:Classical logic
878:
859:Halting problem
847: and
823: and
811: and
810:
805:Theorems (
800:
717:
712:
660:
657:
615:
596:
577:
529:
509:
507:Further reading
504:
503:
493:
491:
487:
479:
475:
436:
429:
420:
418:
411:
405:
401:
385:
379:
375:
370:
333:
282:between points.
271:on many of its
235:
215:
207:diffeomorphisms
86:
75:
69:
66:
56:Please help to
55:
39:
35:
28:
17:
12:
11:
5:
2475:
2465:
2464:
2459:
2454:
2437:
2436:
2422:
2419:
2418:
2416:
2415:
2410:
2405:
2400:
2395:
2394:
2393:
2383:
2378:
2373:
2364:
2359:
2354:
2349:
2347:Abstract logic
2343:
2341:
2337:
2336:
2334:
2333:
2328:
2326:Turing machine
2323:
2318:
2313:
2308:
2303:
2298:
2297:
2296:
2291:
2286:
2281:
2276:
2266:
2264:Computable set
2261:
2256:
2251:
2246:
2240:
2238:
2232:
2231:
2229:
2228:
2223:
2218:
2213:
2208:
2203:
2198:
2193:
2192:
2191:
2186:
2181:
2171:
2166:
2161:
2159:Satisfiability
2156:
2151:
2146:
2145:
2144:
2134:
2133:
2132:
2122:
2121:
2120:
2115:
2110:
2105:
2100:
2090:
2089:
2088:
2083:
2076:Interpretation
2072:
2070:
2064:
2063:
2061:
2060:
2055:
2050:
2045:
2040:
2030:
2025:
2024:
2023:
2022:
2021:
2011:
2006:
1996:
1991:
1986:
1981:
1976:
1971:
1965:
1963:
1957:
1956:
1953:
1952:
1950:
1949:
1941:
1940:
1939:
1938:
1933:
1932:
1931:
1926:
1921:
1901:
1900:
1899:
1897:minimal axioms
1894:
1883:
1882:
1881:
1870:
1869:
1868:
1863:
1858:
1853:
1848:
1843:
1830:
1828:
1809:
1808:
1806:
1805:
1804:
1803:
1791:
1786:
1785:
1784:
1779:
1774:
1769:
1759:
1754:
1749:
1744:
1743:
1742:
1737:
1727:
1726:
1725:
1720:
1715:
1710:
1700:
1695:
1694:
1693:
1688:
1683:
1673:
1672:
1671:
1666:
1661:
1656:
1651:
1646:
1636:
1631:
1626:
1621:
1620:
1619:
1614:
1609:
1604:
1594:
1589:
1587:Formation rule
1584:
1579:
1578:
1577:
1572:
1562:
1561:
1560:
1550:
1545:
1540:
1535:
1529:
1523:
1506:Formal systems
1502:
1501:
1498:
1497:
1495:
1494:
1489:
1484:
1479:
1474:
1469:
1464:
1459:
1454:
1449:
1448:
1447:
1442:
1431:
1429:
1425:
1424:
1422:
1421:
1420:
1419:
1409:
1404:
1403:
1402:
1395:Large cardinal
1392:
1387:
1382:
1377:
1372:
1358:
1357:
1356:
1351:
1346:
1331:
1329:
1319:
1318:
1316:
1315:
1314:
1313:
1308:
1303:
1293:
1288:
1283:
1278:
1273:
1268:
1263:
1258:
1253:
1248:
1243:
1238:
1232:
1230:
1223:
1222:
1220:
1219:
1218:
1217:
1212:
1207:
1202:
1197:
1192:
1184:
1183:
1182:
1177:
1167:
1162:
1160:Extensionality
1157:
1155:Ordinal number
1152:
1142:
1137:
1136:
1135:
1124:
1118:
1112:
1111:
1108:
1107:
1105:
1104:
1099:
1094:
1089:
1084:
1079:
1074:
1073:
1072:
1062:
1061:
1060:
1047:
1045:
1039:
1038:
1036:
1035:
1034:
1033:
1028:
1023:
1013:
1008:
1003:
998:
993:
988:
982:
980:
974:
973:
971:
970:
965:
960:
955:
950:
945:
940:
939:
938:
928:
923:
918:
913:
908:
903:
897:
895:
886:
880:
879:
877:
876:
871:
866:
861:
856:
851:
839:Cantor's
837:
832:
827:
817:
815:
802:
801:
799:
798:
793:
788:
783:
778:
773:
768:
763:
758:
753:
748:
743:
738:
737:
736:
725:
723:
719:
718:
711:
710:
703:
696:
688:
682:
681:
675:
656:
655:External links
653:
652:
651:
619:
613:
600:
594:
581:
575:
562:
544:(2): 369â388.
533:
527:
508:
505:
502:
501:
473:
446:(3): 315â348.
427:
399:
372:
371:
369:
366:
365:
364:
359:
354:
349:
344:
339:
332:
329:
328:
327:
316:
309:
302:
301:
294:
283:
276:
257:
246:
234:
231:
223:Theory of Sets
214:
211:
203:homeomorphisms
88:
87:
42:
40:
33:
15:
9:
6:
4:
3:
2:
2474:
2463:
2460:
2458:
2455:
2453:
2450:
2449:
2447:
2434:
2433:
2428:
2420:
2414:
2411:
2409:
2406:
2404:
2401:
2399:
2396:
2392:
2389:
2388:
2387:
2384:
2382:
2379:
2377:
2374:
2372:
2368:
2365:
2363:
2360:
2358:
2355:
2353:
2350:
2348:
2345:
2344:
2342:
2338:
2332:
2329:
2327:
2324:
2322:
2321:Recursive set
2319:
2317:
2314:
2312:
2309:
2307:
2304:
2302:
2299:
2295:
2292:
2290:
2287:
2285:
2282:
2280:
2277:
2275:
2272:
2271:
2270:
2267:
2265:
2262:
2260:
2257:
2255:
2252:
2250:
2247:
2245:
2242:
2241:
2239:
2237:
2233:
2227:
2224:
2222:
2219:
2217:
2214:
2212:
2209:
2207:
2204:
2202:
2199:
2197:
2194:
2190:
2187:
2185:
2182:
2180:
2177:
2176:
2175:
2172:
2170:
2167:
2165:
2162:
2160:
2157:
2155:
2152:
2150:
2147:
2143:
2140:
2139:
2138:
2135:
2131:
2130:of arithmetic
2128:
2127:
2126:
2123:
2119:
2116:
2114:
2111:
2109:
2106:
2104:
2101:
2099:
2096:
2095:
2094:
2091:
2087:
2084:
2082:
2079:
2078:
2077:
2074:
2073:
2071:
2069:
2065:
2059:
2056:
2054:
2051:
2049:
2046:
2044:
2041:
2038:
2037:from ZFC
2034:
2031:
2029:
2026:
2020:
2017:
2016:
2015:
2012:
2010:
2007:
2005:
2002:
2001:
2000:
1997:
1995:
1992:
1990:
1987:
1985:
1982:
1980:
1977:
1975:
1972:
1970:
1967:
1966:
1964:
1962:
1958:
1948:
1947:
1943:
1942:
1937:
1936:non-Euclidean
1934:
1930:
1927:
1925:
1922:
1920:
1919:
1915:
1914:
1912:
1909:
1908:
1906:
1902:
1898:
1895:
1893:
1890:
1889:
1888:
1884:
1880:
1877:
1876:
1875:
1871:
1867:
1864:
1862:
1859:
1857:
1854:
1852:
1849:
1847:
1844:
1842:
1839:
1838:
1836:
1832:
1831:
1829:
1824:
1818:
1813:Example
1810:
1802:
1797:
1796:
1795:
1792:
1790:
1787:
1783:
1780:
1778:
1775:
1773:
1770:
1768:
1765:
1764:
1763:
1760:
1758:
1755:
1753:
1750:
1748:
1745:
1741:
1738:
1736:
1733:
1732:
1731:
1728:
1724:
1721:
1719:
1716:
1714:
1711:
1709:
1706:
1705:
1704:
1701:
1699:
1696:
1692:
1689:
1687:
1684:
1682:
1679:
1678:
1677:
1674:
1670:
1667:
1665:
1662:
1660:
1657:
1655:
1652:
1650:
1647:
1645:
1642:
1641:
1640:
1637:
1635:
1632:
1630:
1627:
1625:
1622:
1618:
1615:
1613:
1610:
1608:
1605:
1603:
1600:
1599:
1598:
1595:
1593:
1590:
1588:
1585:
1583:
1580:
1576:
1573:
1571:
1570:by definition
1568:
1567:
1566:
1563:
1559:
1556:
1555:
1554:
1551:
1549:
1546:
1544:
1541:
1539:
1536:
1534:
1531:
1530:
1527:
1524:
1522:
1518:
1513:
1507:
1503:
1493:
1490:
1488:
1485:
1483:
1480:
1478:
1475:
1473:
1470:
1468:
1465:
1463:
1460:
1458:
1457:KripkeâPlatek
1455:
1453:
1450:
1446:
1443:
1441:
1438:
1437:
1436:
1433:
1432:
1430:
1426:
1418:
1415:
1414:
1413:
1410:
1408:
1405:
1401:
1398:
1397:
1396:
1393:
1391:
1388:
1386:
1383:
1381:
1378:
1376:
1373:
1370:
1366:
1362:
1359:
1355:
1352:
1350:
1347:
1345:
1342:
1341:
1340:
1336:
1333:
1332:
1330:
1328:
1324:
1320:
1312:
1309:
1307:
1304:
1302:
1301:constructible
1299:
1298:
1297:
1294:
1292:
1289:
1287:
1284:
1282:
1279:
1277:
1274:
1272:
1269:
1267:
1264:
1262:
1259:
1257:
1254:
1252:
1249:
1247:
1244:
1242:
1239:
1237:
1234:
1233:
1231:
1229:
1224:
1216:
1213:
1211:
1208:
1206:
1203:
1201:
1198:
1196:
1193:
1191:
1188:
1187:
1185:
1181:
1178:
1176:
1173:
1172:
1171:
1168:
1166:
1163:
1161:
1158:
1156:
1153:
1151:
1147:
1143:
1141:
1138:
1134:
1131:
1130:
1129:
1126:
1125:
1122:
1119:
1117:
1113:
1103:
1100:
1098:
1095:
1093:
1090:
1088:
1085:
1083:
1080:
1078:
1075:
1071:
1068:
1067:
1066:
1063:
1059:
1054:
1053:
1052:
1049:
1048:
1046:
1044:
1040:
1032:
1029:
1027:
1024:
1022:
1019:
1018:
1017:
1014:
1012:
1009:
1007:
1004:
1002:
999:
997:
994:
992:
989:
987:
984:
983:
981:
979:
978:Propositional
975:
969:
966:
964:
961:
959:
956:
954:
951:
949:
946:
944:
941:
937:
934:
933:
932:
929:
927:
924:
922:
919:
917:
914:
912:
909:
907:
906:Logical truth
904:
902:
899:
898:
896:
894:
890:
887:
885:
881:
875:
872:
870:
867:
865:
862:
860:
857:
855:
852:
850:
846:
842:
838:
836:
833:
831:
828:
826:
822:
819:
818:
816:
814:
808:
803:
797:
794:
792:
789:
787:
784:
782:
779:
777:
774:
772:
769:
767:
764:
762:
759:
757:
754:
752:
749:
747:
744:
742:
739:
735:
732:
731:
730:
727:
726:
724:
720:
716:
709:
704:
702:
697:
695:
690:
689:
686:
679:
676:
674:
669:
668:
663:
659:
658:
648:
644:
640:
636:
632:
628:
624:
620:
616:
614:9783319001197
610:
606:
601:
597:
591:
587:
582:
578:
572:
568:
563:
559:
555:
551:
547:
543:
539:
534:
530:
528:9781118031438
524:
519:
518:
511:
510:
486:
485:
477:
469:
465:
461:
457:
453:
449:
445:
441:
434:
432:
417:
410:
403:
395:
391:
384:
377:
373:
363:
360:
358:
355:
353:
350:
348:
345:
343:
340:
338:
335:
334:
325:
321:
317:
314:
313:ordered field
310:
307:
306:
305:
299:
295:
292:
288:
284:
281:
277:
274:
270:
266:
262:
258:
255:
251:
247:
244:
243:
242:
240:
230:
228:
224:
220:
210:
208:
204:
200:
199:homomorphisms
196:
192:
188:
184:
182:
176:
174:
170:
166:
162:
158:
154:
150:
146:
142:
138:
134:
130:
126:
121:
119:
115:
111:
107:
103:
99:
95:
84:
81:
73:
63:
59:
53:
52:
46:
41:
32:
31:
26:
22:
2423:
2221:Ultraproduct
2068:Model theory
2033:Independence
1969:Formal proof
1961:Proof theory
1944:
1917:
1874:real numbers
1846:second-order
1757:Substitution
1634:Metalanguage
1575:conservative
1548:Axiom schema
1492:Constructive
1462:MorseâKelley
1428:Set theories
1407:Aleph number
1400:inaccessible
1306:Grothendieck
1190:intersection
1077:Higher-order
1065:Second-order
1011:Truth tables
968:Venn diagram
751:Formal proof
672:
665:
630:
626:
623:Senechal, M.
604:
585:
566:
541:
537:
516:
492:. Retrieved
483:
476:
443:
439:
419:. Retrieved
416:maths.lth.se
415:
402:
393:
389:
376:
322:, a type of
303:
239:real numbers
236:
226:
222:
216:
185:
177:
122:
97:
91:
76:
67:
48:
2457:Type theory
2331:Type theory
2279:undecidable
2211:Truth value
2098:equivalence
1777:non-logical
1390:Enumeration
1380:Isomorphism
1327:cardinality
1311:Von Neumann
1276:Ultrafilter
1241:Uncountable
1175:equivalence
1092:Quantifiers
1082:Fixed-point
1051:First-order
931:Consistency
916:Proposition
893:Traditional
864:Lindström's
854:Compactness
796:Type theory
741:Cardinality
662:"Structure"
342:Isomorphism
259:A measure:
237:The set of
94:mathematics
62:introducing
2462:Set theory
2446:Categories
2142:elementary
1835:arithmetic
1703:Quantifier
1681:functional
1553:Expression
1271:Transitive
1215:identities
1200:complement
1133:hereditary
1116:Set theory
667:PlanetMath
421:2019-12-09
368:References
173:categories
149:geometries
141:topologies
70:April 2016
45:references
2413:Supertask
2316:Recursion
2274:decidable
2108:saturated
2086:of models
2009:deductive
2004:axiomatic
1924:Hilbert's
1911:Euclidean
1892:canonical
1815:axiomatic
1747:Signature
1676:Predicate
1565:Extension
1487:Ackermann
1412:Operation
1291:Universal
1281:Recursive
1256:Singleton
1251:Inhabited
1236:Countable
1226:Types of
1210:power set
1180:partition
1097:Predicate
1043:Predicate
958:Syllogism
948:Soundness
921:Inference
911:Tautology
813:paradoxes
680:(journal)
558:119981368
396:(3): 176.
320:Lie group
298:open sets
261:intervals
139:, etc.),
106:operation
98:structure
2398:Logicism
2391:timeline
2367:Concrete
2226:Validity
2196:T-schema
2189:Kripke's
2184:Tarski's
2179:semantic
2169:Strength
2118:submodel
2113:spectrum
2081:function
1929:Tarski's
1918:Elements
1905:geometry
1861:Robinson
1782:variable
1767:function
1740:spectrum
1730:Sentence
1686:variable
1629:Language
1582:Relation
1543:Automata
1533:Alphabet
1517:language
1371:-jection
1349:codomain
1335:Function
1296:Universe
1266:Infinite
1170:Relation
953:Validity
943:Argument
841:theorem,
647:17806355
468:16981077
460:20117057
440:Synthese
331:See also
280:distance
195:codomain
187:Mappings
125:measures
118:topology
110:relation
2340:Related
2137:Diagram
2035: (
2014:Hilbert
1999:Systems
1994:Theorem
1872:of the
1817:systems
1597:Formula
1592:Grammar
1508: (
1452:General
1165:Forcing
1150:Element
1070:Monadic
845:paradox
786:Theorem
722:General
627:Science
494:7 April
289:and is
273:subsets
213:History
58:improve
2103:finite
1866:Skolem
1819:
1794:Theory
1762:Symbol
1752:String
1735:atomic
1612:ground
1607:closed
1602:atomic
1558:ground
1521:syntax
1417:binary
1344:domain
1261:Finite
1026:finite
884:Logics
843:
791:Theory
645:
611:
592:
573:
556:
525:
466:
458:
287:metric
265:length
191:domain
171:, and
161:events
157:graphs
153:orders
137:fields
133:groups
114:metric
47:, but
23:, see
2093:Model
1841:Peano
1698:Proof
1538:Arity
1467:Naive
1354:image
1286:Fuzzy
1246:Empty
1195:union
1140:Class
781:Model
771:Lemma
729:Axiom
554:S2CID
488:(PDF)
464:S2CID
456:JSTOR
412:(PDF)
386:(PDF)
254:field
250:group
116:, or
100:is a
2216:Type
2019:list
1823:list
1800:list
1789:Term
1723:rank
1617:open
1511:list
1323:Maps
1228:sets
1087:Free
1057:list
807:list
734:list
643:PMID
609:ISBN
590:ISBN
571:ISBN
523:ISBN
496:2016
291:flat
96:, a
1903:of
1885:of
1833:of
1365:Sur
1339:Map
1146:Ur-
1128:Set
635:doi
631:260
546:doi
448:doi
151:),
102:set
92:In
2448::
2289:NP
1913::
1907::
1837::
1514:),
1369:Bi
1361:In
664:.
641:.
629:.
552:.
542:77
540:.
462:.
454:.
444:92
442:.
430:^
414:.
392:.
388:.
183:.
175:.
167:,
163:,
159:,
155:,
143:,
135:,
127:,
112:,
108:,
2369:/
2284:P
2039:)
1825:)
1821:(
1718:â
1713:!
1708:â
1669:=
1664:â
1659:â
1654:â§
1649:âš
1644:ÂŹ
1367:/
1363:/
1337:/
1148:)
1144:(
1031:â
1021:3
809:)
707:e
700:t
693:v
670:.
649:.
637::
617:.
598:.
579:.
560:.
548::
531:.
498:.
470:.
450::
424:.
394:4
326:.
315:.
300:.
293:.
275:.
256:.
147:(
131:(
83:)
77:(
72:)
68:(
54:.
27:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.