95:
85:
64:
31:
717:
because that element would be definable and so the extension would not be elementary. In reality, by compactness, we can realize the type in some elementary extension. As the property "There exists a unique element x such that for all y we have x not equal to s(y)" is first order and true in true arithemetic (or PA if you want), it will be true in the elementary extension given by compactness. So, I'm guessing your confusion was just with you thinking the non-example was an example.
2185:
haven't read
Wgunther's example yet, but I think for a first example it is probably just as well to stick to ordering only, as long as it's very clear to the reader that that's what we're doing. (In some sense I belive there is no "explicit" example of a proper elementary extension of the naturals with plus and times — what "explicit" means is usually not very well specified, which is a recurring problem in WP articles where the axiom of choice comes up.) --
2215:
just assumed that Z is disjoint from N to make it just a union. Then defining the ordering in the extended structure is a bit simpler to write down. Enderton would probably be a good enough source. Chapter 3 talks about these models of the natural number. 3.2 talks about (essentially) our specific example, and how the nonstandard models of N with < and S are the same as with just N with S, which is just N with any Z chains you want.
22:
2169:
The notion of an elementary extension apparently includes also the arithmetic operations. My impression is that constructing such an extension is not a simple matter and may involve the axiom of choice or some weaker form of it. The example you presented seems to simple to have a chance of being an
2214:
Right, our model isn't so complicated. It's just the theory of omega with membership. It is finitely axiomatizable and decidable. It actually would still be even if you added the successor function for ordinals too. And yes, the disjoint union of N and Z does the trick. That is what my example is, I
2184:
Which operations are included in the notion depends on the language. If you're working in a language whose only non-logical symbol is the ordering, then you only have to worry about the ordering. If the language includes plus and times, then you have to worry about addition and multiplication. I
716:
As far as I can tell, there is no example where an elementary extension is constructed. Just one that says "Here's a type, if we could realize this in some elementary extension this is what we'd end up with." And then a warning that this isn't the same as just adding one element to realize the type
630:
Given a complete n-type p one can ask if there is a model of the theory that omits p, in other words there is no n-tuple in the model which realizes p. If p is an isolated point in the Stone space, i.e., if {p} is an open set. It is easy to see that every model realizes p (at least if the theory is
635:
This is really unhelpful to me and I know at least basic model theory. There needs to be an explanation of the relationship between topology and model theory - the link to the topological notion of an open point doesn't help me to understand how an element of a model's domain can be isolated. What
564:
1. Yes, I have corrected the example and noted it on the discussion page because I felt that a little explanation is in order. Sorry, if it confused anyone. I still think that the definitions could be cleared up a bit (preferably by an expert). 2. The lecture on logic that we have had (at
Charles
554:
is often used to mean complete type, and partial type is used for the general notion. Unfortunately there is not widespread agreement on this, different papers have a different convention. In my experience, the latter view of types being complete is more widespread, as in many areas one need only
740:
I'm quite confident that the example given is not an elementary extension. If the language only contains the ordering, then adding the integers on top of the naturals would make it an elementary extension, as no new element without immediate predecessors would be added. If the language contains
590:
I agree that the article as it stands lacks sufficient context, and I've tried to add a better lede, but what I'm missing is _why_ types are significant, or some kind of analogy as to what they're _like_ -- for example it was explained to me that the diagram of a structure is 'analogous' to the
2333:
This line is hard to understand because it is complicated and imprecise. The way it is stated, it can be interpreted as "a type is just a set of satisfiable formulas". Is the "sequence of elements" fixed for a given type? Is a type a set of _all_ formulas that are true of a sequence?
1931:; that is what's really going on anyway, and there's a lot of expense for novices reading this as written I'm sure. The language I think is relatively clear ("take the natural numbers with the ordering"). But, there's really no cost in making it more explicit (something like "take
1908:
is just another copy of the naturals. This is intentionally suggestive. The article even makes a point that you can't just add finitely many elements. The ordering though is not the standard ordering. I guess that could be clearer in the article, or we could just call it
591:
multiplication table for a group -- I cannot find any similar useful and correct analogy for types that would provide motivation for why we study them. The rest of the article does (I think) a good job explaining what types are and what you can do with them. Help!
550:. 2. In general a (partial) type is not required to be a filter. Any (partial) type has however its set of concequences which is a filter of the set of formulae. I prefer to use (partial) types this way, it is not however totally standard. Something else: The word
915:
2199:
One sense of "explicit" is provably impossible by
Tenenbaum's theorem. At any rate, your point should be clearly spelled out in the article. If all one is looking for is the order, than the disjoint union of N and Z seems to do the trick, no?
2625:
Anyway, wouldn't it make more sense to talk about the basic idea of types in the first sentence in order to build up some intuition before giving a formal definition? That would mitigate such imprecisions intrinsic to natural language. --
575:
I appreciate a lot the content of this article, but the language looks pretty obscure and at times just awkward. I wonder if somebody could improve it. Not being a specialist in type theory, I'd rather abstain from doing it myself.
1446:
2025:, you're suggesting that addition and multiplication are around, whereas if I now understand correctly, you just want the order. In that case it would probably be best to call it ω, which is the order type of the naturals.
1821:
confused me, and probably will confuse other people as well. Also, there's no mention of the language of the model, and as only the ordering is mentioned, I think most people will assume that the language is just
1382:
698:
I'm not sure why you think the other model satisfies that sentence. If you're correct about that, then of course you're also correct that it's not an elementary extension, but I don't think you are.
1848:. In this case, just putting a copy of the integers on top of the naturals suffices to give an elementary extension, and the ultrapower construction or the integers times the rationals is not needed.
1965:, the natural numbers with it's standard well ordering"). You're certainly right that this example can be made clearer and encyclopedic. I'll try to change it around later today if no one else does.
1963:
424:
1341:
151:
2446:
992:
Please explain what you mean by "the example given". As far as I can tell, 24.131.192.199 is correct; no well-specified "example" is given. In particular, nothing in the text says what
476:
are meant as a type in model of rationals then we would need examples of two conditions that are also met by some rational number. Or maybe what is meant by the example is a type in the
2669:
2616:
2557:
1095:
1064:
800:
1477:
1306:
1126:
450:
1532:
1231:
1181:
1019:
944:
795:
2470:
2375:
2327:
2001:
1501:
1255:
1150:
968:
766:
2107:
2080:
2053:
1906:
1819:
1792:
1687:
1634:
1607:
225:
2023:
1929:
1731:
1709:
252:
474:
195:
1846:
368:
339:
2659:
631:
complete). The omitting types theorem says that conversely if p is not isolated then there is a countable model omitting p (provided that the language is countable).
2123:
I rewrote the example. I think it's more understandable now and the structures are less nebulous. People can feel free to revert if they think it was better before.
2674:
2494:
305:
1257:, or at least order-isomorphic? But the text nowhere says that. Or, if it does, then please give the specific quote so we know what you're talking about. --
546:
35:
2082:
has in common with the naturals is cardinality; that is, you really just mean some countably infinite set. Then an "intentionally suggestive" notation of
2684:
141:
1387:
2654:
2664:
2055:
is "just a copy" of the naturals, you seem to be allowing yourself to re-interpret the non-logical symbols on it. In that case, the only thing
117:
2679:
2627:
977:
718:
1568:
1541:
1190:
683:
1277:
No, I'm not confusing elementary equivalence with order isomorphism. :) The article reads: "This can be remedied by a new structure,
108:
69:
699:
652:
2649:
1346:
1561:
And if this is meant to be some kind of "nonexample" of elementary equivalence, then this is not clear from the article.
480:
of arithmetics, because being consistent with a model of a theory and being consistent with a theory are differnt things?
1021:
is supposed to be; it just says that it's the part of the elementary extension that lives above the standard naturals. --
44:
1934:
373:
1097:
and the ordering on it by attaching two copies of the naturals end to end. After the construction it is claimed that "
1311:
2380:
910:{\displaystyle \exists x\exists y(x\neq y\wedge \forall z(x\leq z)\wedge \forall w<y\exists w'(w<w'<y))}
1794:
being a copy of the naturals. I see your point now, and everything makes sense. Denoting the added elements by
981:
2631:
722:
2562:
2503:
1733:
times the rationals in a certain sense, but defining operations involves more work. Thus, one could use the
1734:
1069:
1038:
1572:
1545:
1194:
687:
50:
1853:
1451:
1280:
1100:
741:
addition, multiplication and so forth, then constructing an elementary extension would not be so easy.
566:
484:
94:
429:
1564:
1537:
1186:
973:
728:
679:
648:
640:
615:
596:
1506:
1207:
1155:
995:
920:
771:
702:
all have the property that there is only one element that does not have an immediate predecessor. --
21:
2451:
2356:
2308:
2190:
2114:
1982:
1641:
1534:)". But these two structures are not elementarily equivalent, as the formula I wrote above shows.
1482:
1262:
1236:
1131:
1026:
949:
747:
707:
577:
2085:
2058:
2031:
1884:
1849:
1797:
1770:
1665:
1612:
1585:
672:
of the natural numbers with order is not actually elementary, as the model satisfies the sentence
610:
There should also be a link/mention of saturation since that concept is defined in terms of types
200:
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
2220:
2128:
2006:
1970:
1912:
1714:
1692:
230:
100:
1609:
for you to conclude that the structures are not elementarily equivalent. Are you assuming that
455:
176:
84:
63:
2497:
2271:
1979:
Hmm, honestly I don't think this is a good idea. First of all, by calling the standard model
1825:
1183:)", which is not true. Hence the claim after that about isolation doesn't make sense either.
344:
315:
2205:
2175:
1742:
644:
611:
592:
556:
257:
2186:
2110:
1637:
1258:
1022:
703:
2479:
2643:
2216:
2124:
1966:
495:
2338:
2259:
1441:{\displaystyle \leq ^{*}:=\leq \cup \leq '\cup \,\mathbb {N} \times \mathbb {N} '}
2263:
2201:
2171:
1738:
113:
2635:
2224:
2209:
2194:
2179:
2132:
2118:
1974:
1857:
1746:
1645:
1576:
1549:
1266:
1198:
1030:
985:
732:
711:
691:
656:
619:
600:
580:
569:
559:
487:
90:
1204:
No, the article does not in fact do that. I suspect you're assuming that
309:(there is nothing about considering just positive reals in the article).
797:
are elementarily equivalent is not true. Now for example the formula
452:
is consistent with the model). Thus, if the example statements about
492:
Two replies to the above. 1. As regards the example, it now reads
1711:. This is not the case. One can arrange for it to be a copy of
483:
I am not an expert on this, so a second opinion would be helpful.
15:
2457:
2362:
2314:
1988:
1488:
1458:
1287:
1242:
1214:
1137:
1107:
1076:
1045:
1002:
955:
927:
778:
753:
1066:. In the article one quite explicitly constructs the model
636:
exactly are the conditions under which a type is omitted?
1636:
has a least element? It doesn't assert that anywhere. --
1377:{\displaystyle \mathbb {N} \cap \mathbb {N} '=\emptyset }
1582:
I don't see how there's enough information given about
197:
confuses me. I have corrected the obvious problem: If
2565:
2506:
2482:
2454:
2383:
2359:
2311:
2088:
2061:
2034:
2009:
1985:
1937:
1915:
1887:
1828:
1800:
1773:
1717:
1695:
1668:
1615:
1588:
1509:
1485:
1454:
1390:
1349:
1314:
1283:
1239:
1210:
1158:
1134:
1103:
1072:
1041:
998:
952:
923:
803:
774:
750:
500:
458:
432:
376:
347:
318:
262:
233:
203:
179:
674:
there are two elements with no immediate predecessor
312:
The definition of type that I know requests that if
112:, a collaborative effort to improve the coverage of
2610:
2551:
2488:
2464:
2440:
2369:
2321:
2101:
2074:
2047:
2017:
1995:
1958:{\displaystyle \langle \mathbb {N} ,\leq \rangle }
1957:
1923:
1900:
1840:
1813:
1786:
1725:
1703:
1681:
1628:
1601:
1526:
1495:
1471:
1440:
1376:
1335:
1300:
1249:
1225:
1175:
1144:
1120:
1089:
1058:
1013:
962:
938:
909:
789:
760:
565:University, Prague) used the opposite convention.
538:
468:
444:
419:{\displaystyle \exists x(\phi (x)\wedge \psi (x))}
418:
362:
333:
297:
246:
219:
189:
370:belong to the type in a certain model, then also
2670:Knowledge level-5 vital articles in Mathematics
2301:which are true of a sequence of elements of an
2109:is more "suggestive" than you actually want. --
2253:First line is hard to understand and imprecise
1336:{\displaystyle \mathbb {N} \cup \mathbb {N} '}
8:
2441:{\displaystyle b=(b_{1},b_{2},\dots ,b_{n})}
1952:
1938:
1835:
1829:
2170:elementary extension. Can you source it?
58:
2602:
2583:
2570:
2564:
2543:
2524:
2511:
2505:
2481:
2456:
2455:
2453:
2429:
2410:
2397:
2382:
2361:
2360:
2358:
2313:
2312:
2310:
2091:
2089:
2087:
2064:
2062:
2060:
2037:
2035:
2033:
2011:
2010:
2008:
1987:
1986:
1984:
1942:
1941:
1936:
1917:
1916:
1914:
1890:
1889:
1886:
1827:
1803:
1802:
1799:
1776:
1775:
1772:
1719:
1718:
1716:
1697:
1696:
1694:
1671:
1670:
1667:
1618:
1617:
1614:
1591:
1590:
1587:
1517:
1516:
1508:
1487:
1486:
1484:
1463:
1457:
1456:
1453:
1430:
1429:
1421:
1420:
1395:
1389:
1360:
1359:
1351:
1350:
1348:
1325:
1324:
1316:
1315:
1313:
1292:
1286:
1285:
1282:
1241:
1240:
1238:
1212:
1211:
1209:
1166:
1165:
1157:
1136:
1135:
1133:
1112:
1106:
1105:
1102:
1081:
1075:
1074:
1071:
1050:
1044:
1043:
1040:
1000:
999:
997:
954:
953:
951:
926:
925:
922:
802:
776:
775:
773:
752:
751:
749:
664:Incorrect example of elementary extension
517:
499:
459:
457:
431:
375:
346:
317:
267:
261:
237:
232:
210:
202:
180:
178:
2611:{\displaystyle b_{1},b_{2},\dots ,b_{n}}
2552:{\displaystyle x_{1},x_{2},\dots ,x_{n}}
534:
529:
284:
279:
227:(say, in reals) then for y smaller than
2660:Knowledge vital articles in Mathematics
2341:, I guess that the following is meant:
1418:
60:
19:
1090:{\displaystyle {\mathcal {N}}^{\ast }}
1059:{\displaystyle {\mathcal {N}}^{\ast }}
1035:By the example given I mean the model
676:, which the naturals do not satisfy.
2675:B-Class vital articles in Mathematics
668:The example where one constructs the
7:
106:This article is within the scope of
555:consider complete types. Comments?
49:It is of interest to the following
1472:{\displaystyle {\mathcal {N}}^{*}}
1371:
1301:{\displaystyle {\mathcal {N}}^{*}}
1121:{\displaystyle {\mathcal {N}}^{*}}
867:
855:
831:
810:
804:
377:
14:
2685:Mid-priority mathematics articles
1662:Perhaps the IP is assuming that
445:{\displaystyle \phi \wedge \psi }
126:Knowledge:WikiProject Mathematics
2655:Knowledge level-5 vital articles
1233:is supposed to be isomorphic to
700:Nonstandard models of arithmetic
129:Template:WikiProject Mathematics
93:
83:
62:
29:
20:
2448:of elements of the universe of
1527:{\displaystyle L(\mathbb {N} )}
1226:{\displaystyle {\mathcal {N'}}}
1176:{\displaystyle L(\mathbb {N} )}
1014:{\displaystyle {\mathcal {N'}}}
939:{\displaystyle {\mathcal {N}}'}
790:{\displaystyle {\mathcal {N'}}}
146:This article has been rated as
2665:B-Class level-5 vital articles
2465:{\displaystyle {\mathcal {M}}}
2435:
2390:
2370:{\displaystyle {\mathcal {M}}}
2322:{\displaystyle {\mathcal {M}}}
1996:{\displaystyle {\mathcal {N}}}
1521:
1513:
1496:{\displaystyle {\mathcal {N}}}
1479:is an elementary extension of
1250:{\displaystyle {\mathcal {N}}}
1170:
1162:
1145:{\displaystyle {\mathcal {N}}}
1128:is an elementary extension of
963:{\displaystyle {\mathcal {N}}}
904:
901:
878:
849:
837:
816:
761:{\displaystyle {\mathcal {N}}}
531:
488:15:23, 25 September 2006 (UTC)
413:
410:
404:
395:
389:
383:
357:
351:
328:
322:
281:
1:
2500:formulas with free variables
2225:19:47, 15 February 2012 (UTC)
2210:17:34, 15 February 2012 (UTC)
2195:16:45, 15 February 2012 (UTC)
2180:16:32, 15 February 2012 (UTC)
2133:16:20, 15 February 2012 (UTC)
2119:22:35, 14 February 2012 (UTC)
2102:{\displaystyle \mathbb {N'} }
2075:{\displaystyle \mathbb {N'} }
2048:{\displaystyle \mathbb {N'} }
1975:19:32, 14 February 2012 (UTC)
1901:{\displaystyle \mathbb {N} '}
1858:18:45, 14 February 2012 (UTC)
1814:{\displaystyle \mathbb {N} '}
1787:{\displaystyle \mathbb {N} '}
1747:18:29, 14 February 2012 (UTC)
1682:{\displaystyle \mathbb {N} '}
1646:18:24, 14 February 2012 (UTC)
1629:{\displaystyle \mathbb {N} '}
1602:{\displaystyle \mathbb {N} '}
1577:17:01, 14 February 2012 (UTC)
1550:16:39, 14 February 2012 (UTC)
1267:16:31, 14 February 2012 (UTC)
1199:16:26, 14 February 2012 (UTC)
1031:08:21, 14 February 2012 (UTC)
986:07:38, 14 February 2012 (UTC)
733:22:47, 13 February 2012 (UTC)
712:23:17, 12 February 2012 (UTC)
692:23:11, 12 February 2012 (UTC)
426:holds in the model (that is,
220:{\displaystyle x={\sqrt {2}}}
120:and see a list of open tasks.
2680:B-Class mathematics articles
2018:{\displaystyle \mathbb {N} }
1924:{\displaystyle \mathbb {Z} }
1726:{\displaystyle \mathbb {N} }
1704:{\displaystyle \mathbb {N} }
570:20:07, 12 October 2006 (UTC)
247:{\displaystyle -{\sqrt {2}}}
744:Anyway, the statement that
620:18:36, 15 August 2008 (UTC)
601:18:33, 15 August 2008 (UTC)
560:10:25, 3 October 2006 (UTC)
469:{\displaystyle {\sqrt {2}}}
190:{\displaystyle {\sqrt {2}}}
2701:
657:12:10, 12 March 2010 (UTC)
581:16:06, 12 April 2007 (UTC)
2636:06:13, 20 June 2012 (UTC)
1841:{\displaystyle \{\leq \}}
298:{\displaystyle y^{2}: -->
145:
78:
57:
363:{\displaystyle \psi (x)}
334:{\displaystyle \phi (x)}
152:project's priority scale
2559:which are satisfied by
2274:formulas in a language
2028:Secondly, when you say
1735:ultrapower construction
109:WikiProject Mathematics
2650:B-Class vital articles
2612:
2553:
2490:
2466:
2442:
2371:
2323:
2103:
2076:
2049:
2019:
1997:
1959:
1925:
1902:
1842:
1815:
1788:
1727:
1705:
1683:
1630:
1603:
1528:
1497:
1473:
1442:
1378:
1337:
1302:
1251:
1227:
1177:
1146:
1122:
1091:
1060:
1015:
964:
940:
911:
791:
762:
633:
542:
470:
446:
420:
364:
335:
301:
248:
221:
191:
2613:
2554:
2491:
2467:
2443:
2372:
2324:
2262:and related areas of
2104:
2077:
2050:
2020:
1998:
1960:
1926:
1903:
1843:
1816:
1789:
1728:
1706:
1684:
1631:
1604:
1529:
1498:
1474:
1443:
1379:
1338:
1303:
1252:
1228:
1178:
1147:
1123:
1092:
1061:
1016:
965:
941:
912:
792:
763:
628:
543:
539:{\displaystyle y: -->
471:
447:
421:
365:
336:
302:
249:
222:
192:
36:level-5 vital article
2563:
2504:
2480:
2452:
2381:
2357:
2309:
2278:with free variables
2086:
2059:
2032:
2007:
1983:
1935:
1913:
1885:
1826:
1798:
1771:
1715:
1693:
1666:
1613:
1586:
1507:
1483:
1452:
1388:
1347:
1312:
1281:
1237:
1208:
1156:
1132:
1101:
1070:
1039:
996:
950:
921:
801:
772:
748:
670:elementary extension
606:saturated structures
498:
456:
430:
374:
345:
316:
260:
254:it is not true that
231:
201:
177:
132:mathematics articles
1689:is another copy of
548:2\implies }" /: -->
2608:
2549:
2496:is the set of all
2486:
2462:
2438:
2367:
2339:Model theory#Types
2319:
2099:
2072:
2045:
2015:
1993:
1955:
1921:
1898:
1838:
1811:
1784:
1723:
1701:
1679:
1626:
1599:
1524:
1493:
1469:
1438:
1419:
1374:
1333:
1298:
1247:
1223:
1173:
1142:
1118:
1087:
1056:
1011:
960:
936:
907:
787:
758:
536:
535:
530:
466:
442:
416:
360:
331:
295:
285:
280:
244:
217:
187:
173:The example about
101:Mathematics portal
45:content assessment
2622:Is this correct?
2489:{\displaystyle b}
2345:Given a language
1767:Ah, I did assume
1567:comment added by
1540:comment added by
1308:say, with domain
1189:comment added by
976:comment added by
682:comment added by
660:
643:comment added by
547:0\land y^{2}: -->
540:0\land y^{2}: -->
497:2\implies }": -->
496:0\land y^{2}: -->
464:
242:
215:
185:
169:Example of a type
166:
165:
162:
161:
158:
157:
2692:
2617:
2615:
2614:
2609:
2607:
2606:
2588:
2587:
2575:
2574:
2558:
2556:
2555:
2550:
2548:
2547:
2529:
2528:
2516:
2515:
2495:
2493:
2492:
2487:
2471:
2469:
2468:
2463:
2461:
2460:
2447:
2445:
2444:
2439:
2434:
2433:
2415:
2414:
2402:
2401:
2376:
2374:
2373:
2368:
2366:
2365:
2337:Given paragraph
2328:
2326:
2325:
2320:
2318:
2317:
2108:
2106:
2105:
2100:
2098:
2097:
2081:
2079:
2078:
2073:
2071:
2070:
2054:
2052:
2051:
2046:
2044:
2043:
2024:
2022:
2021:
2016:
2014:
2002:
2000:
1999:
1994:
1992:
1991:
1964:
1962:
1961:
1956:
1945:
1930:
1928:
1927:
1922:
1920:
1907:
1905:
1904:
1899:
1897:
1893:
1847:
1845:
1844:
1839:
1820:
1818:
1817:
1812:
1810:
1806:
1793:
1791:
1790:
1785:
1783:
1779:
1732:
1730:
1729:
1724:
1722:
1710:
1708:
1707:
1702:
1700:
1688:
1686:
1685:
1680:
1678:
1674:
1635:
1633:
1632:
1627:
1625:
1621:
1608:
1606:
1605:
1600:
1598:
1594:
1579:
1552:
1533:
1531:
1530:
1525:
1520:
1502:
1500:
1499:
1494:
1492:
1491:
1478:
1476:
1475:
1470:
1468:
1467:
1462:
1461:
1447:
1445:
1444:
1439:
1437:
1433:
1424:
1414:
1400:
1399:
1383:
1381:
1380:
1375:
1367:
1363:
1354:
1342:
1340:
1339:
1334:
1332:
1328:
1319:
1307:
1305:
1304:
1299:
1297:
1296:
1291:
1290:
1256:
1254:
1253:
1248:
1246:
1245:
1232:
1230:
1229:
1224:
1222:
1221:
1220:
1201:
1182:
1180:
1179:
1174:
1169:
1151:
1149:
1148:
1143:
1141:
1140:
1127:
1125:
1124:
1119:
1117:
1116:
1111:
1110:
1096:
1094:
1093:
1088:
1086:
1085:
1080:
1079:
1065:
1063:
1062:
1057:
1055:
1054:
1049:
1048:
1020:
1018:
1017:
1012:
1010:
1009:
1008:
988:
969:
967:
966:
961:
959:
958:
945:
943:
942:
937:
935:
931:
930:
916:
914:
913:
908:
894:
877:
796:
794:
793:
788:
786:
785:
784:
767:
765:
764:
759:
757:
756:
736:
694:
659:
637:
549:
545:
544:
537:
522:
521:
475:
473:
472:
467:
465:
460:
451:
449:
448:
443:
425:
423:
422:
417:
369:
367:
366:
361:
340:
338:
337:
332:
308:
306:2\implies y: -->
304:
303:
299:2\implies y: -->
296:
272:
271:
258:2\implies y: -->
253:
251:
250:
245:
243:
238:
226:
224:
223:
218:
216:
211:
196:
194:
193:
188:
186:
181:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
33:
32:
25:
24:
16:
2700:
2699:
2695:
2694:
2693:
2691:
2690:
2689:
2640:
2639:
2598:
2579:
2566:
2561:
2560:
2539:
2520:
2507:
2502:
2501:
2478:
2477:
2450:
2449:
2425:
2406:
2393:
2379:
2378:
2377:and a sequence
2355:
2354:
2307:
2306:
2300:
2291:
2284:
2255:
2090:
2084:
2083:
2063:
2057:
2056:
2036:
2030:
2029:
2005:
2004:
1981:
1980:
1933:
1932:
1911:
1910:
1888:
1883:
1882:
1824:
1823:
1801:
1796:
1795:
1774:
1769:
1768:
1713:
1712:
1691:
1690:
1669:
1664:
1663:
1616:
1611:
1610:
1589:
1584:
1583:
1562:
1535:
1505:
1504:
1481:
1480:
1455:
1450:
1449:
1428:
1407:
1391:
1386:
1385:
1358:
1345:
1344:
1323:
1310:
1309:
1284:
1279:
1278:
1235:
1234:
1213:
1206:
1205:
1184:
1154:
1153:
1130:
1129:
1104:
1099:
1098:
1073:
1068:
1067:
1042:
1037:
1036:
1001:
994:
993:
971:
948:
947:
924:
919:
918:
887:
870:
799:
798:
777:
770:
769:
746:
745:
726:
677:
666:
638:
627:
608:
588:
586:lede needs help
513:
494:
493:
454:
453:
428:
427:
372:
371:
343:
342:
314:
313:
263:
256:
255:
229:
228:
199:
198:
175:
174:
171:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
2698:
2696:
2688:
2687:
2682:
2677:
2672:
2667:
2662:
2657:
2652:
2642:
2641:
2628:188.192.83.224
2620:
2619:
2605:
2601:
2597:
2594:
2591:
2586:
2582:
2578:
2573:
2569:
2546:
2542:
2538:
2535:
2532:
2527:
2523:
2519:
2514:
2510:
2485:
2459:
2437:
2432:
2428:
2424:
2421:
2418:
2413:
2409:
2405:
2400:
2396:
2392:
2389:
2386:
2364:
2331:
2330:
2316:
2296:
2289:
2282:
2254:
2251:
2250:
2249:
2248:
2247:
2246:
2245:
2244:
2243:
2242:
2241:
2240:
2239:
2238:
2237:
2236:
2235:
2234:
2233:
2232:
2231:
2230:
2229:
2228:
2227:
2150:
2149:
2148:
2147:
2146:
2145:
2144:
2143:
2142:
2141:
2140:
2139:
2138:
2137:
2136:
2135:
2096:
2093:
2069:
2066:
2042:
2039:
2026:
2013:
1990:
1954:
1951:
1948:
1944:
1940:
1919:
1896:
1892:
1869:
1868:
1867:
1866:
1865:
1864:
1863:
1862:
1861:
1860:
1837:
1834:
1831:
1809:
1805:
1782:
1778:
1756:
1755:
1754:
1753:
1752:
1751:
1750:
1749:
1721:
1699:
1677:
1673:
1653:
1652:
1651:
1650:
1649:
1648:
1624:
1620:
1597:
1593:
1556:
1555:
1554:
1553:
1523:
1519:
1515:
1512:
1490:
1466:
1460:
1436:
1432:
1427:
1423:
1417:
1413:
1410:
1406:
1403:
1398:
1394:
1373:
1370:
1366:
1362:
1357:
1353:
1331:
1327:
1322:
1318:
1295:
1289:
1272:
1271:
1270:
1269:
1244:
1219:
1216:
1172:
1168:
1164:
1161:
1139:
1115:
1109:
1084:
1078:
1053:
1047:
1033:
1007:
1004:
978:128.214.20.122
957:
934:
929:
906:
903:
900:
897:
893:
890:
886:
883:
880:
876:
873:
869:
866:
863:
860:
857:
854:
851:
848:
845:
842:
839:
836:
833:
830:
827:
824:
821:
818:
815:
812:
809:
806:
783:
780:
755:
738:
737:
731:comment added
719:24.131.192.199
714:
665:
662:
626:
625:Omitting Types
623:
607:
604:
587:
584:
578:Vlad Patryshev
574:
533:
528:
525:
520:
516:
512:
509:
506:
503:
463:
441:
438:
435:
415:
412:
409:
406:
403:
400:
397:
394:
391:
388:
385:
382:
379:
359:
356:
353:
350:
330:
327:
324:
321:
294:
291:
288:
283:
278:
275:
270:
266:
241:
236:
214:
209:
206:
184:
170:
167:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
2697:
2686:
2683:
2681:
2678:
2676:
2673:
2671:
2668:
2666:
2663:
2661:
2658:
2656:
2653:
2651:
2648:
2647:
2645:
2638:
2637:
2633:
2629:
2623:
2603:
2599:
2595:
2592:
2589:
2584:
2580:
2576:
2571:
2567:
2544:
2540:
2536:
2533:
2530:
2525:
2521:
2517:
2512:
2508:
2499:
2483:
2475:
2430:
2426:
2422:
2419:
2416:
2411:
2407:
2403:
2398:
2394:
2387:
2384:
2352:
2348:
2344:
2343:
2342:
2340:
2335:
2304:
2299:
2295:
2288:
2281:
2277:
2273:
2269:
2265:
2261:
2257:
2256:
2252:
2226:
2222:
2218:
2213:
2212:
2211:
2207:
2203:
2198:
2197:
2196:
2192:
2188:
2183:
2182:
2181:
2177:
2173:
2168:
2167:
2166:
2165:
2164:
2163:
2162:
2161:
2160:
2159:
2158:
2157:
2156:
2155:
2154:
2153:
2152:
2151:
2134:
2130:
2126:
2122:
2121:
2120:
2116:
2112:
2094:
2067:
2040:
2027:
1978:
1977:
1976:
1972:
1968:
1949:
1946:
1894:
1881:
1880:
1879:
1878:
1877:
1876:
1875:
1874:
1873:
1872:
1871:
1870:
1859:
1855:
1851:
1832:
1807:
1780:
1766:
1765:
1764:
1763:
1762:
1761:
1760:
1759:
1758:
1757:
1748:
1744:
1740:
1736:
1675:
1661:
1660:
1659:
1658:
1657:
1656:
1655:
1654:
1647:
1643:
1639:
1622:
1595:
1581:
1580:
1578:
1574:
1570:
1566:
1560:
1559:
1558:
1557:
1551:
1547:
1543:
1539:
1510:
1464:
1434:
1425:
1415:
1411:
1408:
1404:
1401:
1396:
1392:
1368:
1364:
1355:
1329:
1320:
1293:
1276:
1275:
1274:
1273:
1268:
1264:
1260:
1217:
1203:
1202:
1200:
1196:
1192:
1188:
1159:
1113:
1082:
1051:
1034:
1032:
1028:
1024:
1005:
991:
990:
989:
987:
983:
979:
975:
932:
898:
895:
891:
888:
884:
881:
874:
871:
864:
861:
858:
852:
846:
843:
840:
834:
828:
825:
822:
819:
813:
807:
781:
742:
734:
730:
724:
720:
715:
713:
709:
705:
701:
697:
696:
695:
693:
689:
685:
681:
675:
671:
663:
661:
658:
654:
650:
646:
642:
632:
624:
622:
621:
617:
613:
605:
603:
602:
598:
594:
585:
583:
582:
579:
572:
571:
568:
562:
561:
558:
553:
526:
523:
518:
514:
510:
507:
504:
501:
490:
489:
486:
481:
479:
461:
439:
436:
433:
407:
401:
398:
392:
386:
380:
354:
348:
325:
319:
310:
292:
289:
286:
276:
273:
268:
264:
239:
234:
212:
207:
204:
182:
168:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
2624:
2621:
2473:
2350:
2346:
2336:
2332:
2302:
2297:
2293:
2286:
2279:
2275:
2270:is a set of
2267:
2260:model theory
1569:84.248.64.88
1563:— Preceding
1542:84.248.64.88
1536:— Preceding
1191:84.248.64.88
1185:— Preceding
972:— Preceding
743:
739:
684:84.248.64.88
678:— Preceding
673:
669:
667:
634:
629:
609:
589:
573:
567:82.208.2.227
563:
551:
491:
485:82.208.2.227
482:
477:
311:
172:
148:Mid-priority
147:
107:
73:Mid‑priority
51:WikiProjects
34:
2498:first-order
2353:-structure
2305:-structure
2272:first-order
2264:mathematics
946:but not in
917:is true in
727:—Preceding
639:—Preceding
541:2\implies }
123:Mathematics
114:mathematics
70:Mathematics
2644:Categories
645:Dr satsuma
612:Zero sharp
593:Zero sharp
557:Thehalfone
307:x}" /: -->
2187:Trovatore
2111:Trovatore
1638:Trovatore
1259:Trovatore
1023:Trovatore
704:Trovatore
39:is rated
2217:Wgunther
2125:Wgunther
1967:Wgunther
1565:unsigned
1538:unsigned
1503:(w.r.t.
1187:unsigned
1152:(w.r.t.
974:unsigned
680:unsigned
653:contribs
641:unsigned
259:x}": -->
1850:Kreipas
729:undated
150:on the
41:B-class
2472:, the
2202:Tkuvho
2172:Tkuvho
1739:Tkuvho
1343:where
478:theory
47:scale.
2349:, an
524:: -->
505:: -->
290:: -->
274:: -->
28:This
2632:talk
2474:type
2292:,…,
2268:type
2266:, a
2221:talk
2206:talk
2191:talk
2176:talk
2129:talk
2115:talk
1971:talk
1854:talk
1743:talk
1642:talk
1573:talk
1546:talk
1402::=≤
1384:and
1263:talk
1195:talk
1027:talk
982:talk
896:<
885:<
862:<
768:and
723:talk
708:talk
688:talk
649:talk
616:talk
597:talk
552:type
341:and
2476:of
2258:In
2003:or
1737:.
1448:.
970:.
725:)
142:Mid
2646::
2634:)
2593:…
2534:…
2420:…
2285:,
2223:)
2208:)
2193:)
2178:)
2131:)
2117:)
1973:)
1953:⟩
1950:≤
1939:⟨
1856:)
1833:≤
1745:)
1644:)
1575:)
1548:)
1465:∗
1426:×
1416:∪
1409:≤
1405:∪
1397:∗
1393:≤
1372:∅
1356:∩
1321:∪
1294:∗
1265:)
1197:)
1114:∗
1083:∗
1052:∗
1029:)
984:)
868:∃
856:∀
853:∧
844:≤
832:∀
829:∧
823:≠
811:∃
805:∃
710:)
690:)
655:)
651:•
618:)
599:)
576:--
532:⟹
511:∧
440:ψ
437:∧
434:ϕ
402:ψ
399:∧
387:ϕ
378:∃
349:ψ
320:ϕ
300:x}
282:⟹
235:−
2630:(
2618:.
2604:n
2600:b
2596:,
2590:,
2585:2
2581:b
2577:,
2572:1
2568:b
2545:n
2541:x
2537:,
2531:,
2526:2
2522:x
2518:,
2513:1
2509:x
2484:b
2458:M
2436:)
2431:n
2427:b
2423:,
2417:,
2412:2
2408:b
2404:,
2399:1
2395:b
2391:(
2388:=
2385:b
2363:M
2351:L
2347:L
2329:.
2315:M
2303:L
2298:n
2294:x
2290:2
2287:x
2283:1
2280:x
2276:L
2219:(
2204:(
2189:(
2174:(
2127:(
2113:(
2095:′
2092:N
2068:′
2065:N
2041:′
2038:N
2012:N
1989:N
1969:(
1947:,
1943:N
1918:Z
1895:′
1891:N
1852:(
1836:}
1830:{
1808:′
1804:N
1781:′
1777:N
1741:(
1720:N
1698:N
1676:′
1672:N
1640:(
1623:′
1619:N
1596:′
1592:N
1571:(
1544:(
1522:)
1518:N
1514:(
1511:L
1489:N
1459:N
1435:′
1431:N
1422:N
1412:′
1369:=
1365:′
1361:N
1352:N
1330:′
1326:N
1317:N
1288:N
1261:(
1243:N
1218:′
1215:N
1193:(
1171:)
1167:N
1163:(
1160:L
1138:N
1108:N
1077:N
1046:N
1025:(
1006:′
1003:N
980:(
956:N
933:′
928:N
905:)
902:)
899:y
892:′
889:w
882:w
879:(
875:′
872:w
865:y
859:w
850:)
847:z
841:x
838:(
835:z
826:y
820:x
817:(
814:y
808:x
782:′
779:N
754:N
735:.
721:(
706:(
686:(
647:(
614:(
595:(
527:2
519:2
515:y
508:0
502:y
462:2
414:)
411:)
408:x
405:(
396:)
393:x
390:(
384:(
381:x
358:)
355:x
352:(
329:)
326:x
323:(
293:x
287:y
277:2
269:2
265:y
240:2
213:2
208:=
205:x
183:2
154:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.