1351:
1077:
1019:
1238:
1169:
1123:
1213:
961:
851:
917:
824:
651:
115:
1189:
267:
937:
891:
438:
1233:
871:
1416:
1024:
966:
1346:{\displaystyle {\mathfrak {A}}\vDash \phi (i_{0},\ldots ,i_{0})\iff {\mathfrak {A}}\vDash \phi (j_{0},\ldots ,j_{n})}
1382:
444:
1128:
1082:
471:
often refers implicitly to this weaker notion. In our example of binary formulas, to say that the triple (
75:
43:
1467:
39:
1448:
1194:
942:
832:
47:
896:
31:
658:
1412:
1366:
452:
92:
51:
489:
1422:
100:
1174:
123:
1426:
1408:
1362:
922:
876:
448:
275:
1218:
856:
1461:
1407:. Springer Monographs in Mathematics (Third Millennium ed.). Berlin, New York:
1400:
1370:
17:
1387:
483:) of distinct elements is a sequence of indiscernibles implies
1361:
Order-indiscernibles feature prominently in the theory of
463:
In some contexts one considers the more general notion of
1451:". Annals of Mathematical Logic vol. 15, iss. 3 (1978).
1241:
1221:
1197:
1177:
1131:
1085:
1027:
969:
945:
925:
899:
879:
859:
835:
661:
492:
278:
126:
103:
1345:
1227:
1207:
1183:
1163:
1117:
1072:{\displaystyle \{j_{0},\ldots ,j_{n}\}\subseteq I}
1071:
1014:{\displaystyle \{i_{0},\ldots ,i_{n}\}\subseteq I}
1013:
955:
931:
911:
885:
865:
845:
818:
645:
432:
261:
109:
38:are objects that cannot be distinguished by any
97:, then, for example, for each binary formula
8:
1060:
1028:
1002:
970:
1294:
1290:
1334:
1315:
1296:
1295:
1281:
1262:
1243:
1242:
1240:
1220:
1199:
1198:
1196:
1176:
1164:{\displaystyle j_{0}<\ldots <j_{n}}
1155:
1136:
1130:
1118:{\displaystyle i_{0}<\ldots <i_{n}}
1109:
1090:
1084:
1054:
1035:
1026:
996:
977:
968:
947:
946:
944:
924:
898:
878:
858:
837:
836:
834:
812:
660:
491:
426:
277:
125:
102:
1440:
7:
1297:
1244:
1200:
948:
838:
785:
761:
737:
616:
592:
568:
402:
378:
354:
330:
306:
282:
25:
1449:Generalized Erdős cardinals and 0
829:More generally, for a structure
1208:{\displaystyle {\mathfrak {A}}}
956:{\displaystyle {\mathfrak {A}}}
846:{\displaystyle {\mathfrak {A}}}
1340:
1308:
1291:
1287:
1255:
809:
806:
803:
791:
779:
767:
755:
743:
734:
728:
725:
713:
704:
692:
683:
671:
665:
662:
640:
637:
634:
622:
610:
598:
586:
574:
565:
559:
556:
544:
535:
523:
514:
502:
496:
493:
423:
420:
408:
396:
384:
372:
360:
348:
336:
324:
312:
300:
288:
279:
253:
250:
238:
229:
217:
208:
196:
187:
175:
166:
154:
145:
133:
127:
1:
27:Concept in mathematical logic
1447:J. Baumgartner, F. Galvin, "
1171:and any first-order formula
912:{\displaystyle I\subseteq A}
1484:
1383:Identity of indiscernibles
963:if for any finite subsets
819:{\displaystyle (\lor )\,.}
469:sequence of indiscernibles
445:identity of indiscernibles
54:formulas are considered.
919:is said to be a set of
646:{\displaystyle (\lor )}
1347:
1229:
1209:
1185:
1165:
1119:
1073:
1015:
957:
933:
913:
887:
873:and a linear ordering
867:
847:
820:
647:
434:
263:
111:
110:{\displaystyle \beta }
1348:
1230:
1210:
1186:
1184:{\displaystyle \phi }
1166:
1120:
1074:
1016:
958:
934:
914:
888:
868:
848:
821:
648:
435:
264:
262:{\displaystyle \lor }
112:
1239:
1219:
1195:
1175:
1129:
1083:
1025:
967:
943:
939:-indiscernibles for
932:{\displaystyle <}
923:
897:
886:{\displaystyle <}
877:
857:
833:
659:
490:
465:order-indiscernibles
276:
124:
101:
1191:of the language of
433:{\displaystyle \,.}
1343:
1225:
1205:
1181:
1161:
1115:
1069:
1011:
953:
929:
909:
883:
863:
843:
816:
643:
443:Historically, the
430:
259:
107:
32:mathematical logic
1418:978-3-540-44085-7
1228:{\displaystyle n}
866:{\displaystyle A}
453:Gottfried Leibniz
95:of indiscernibles
16:(Redirected from
1475:
1452:
1445:
1430:
1363:Ramsey cardinals
1352:
1350:
1349:
1344:
1339:
1338:
1320:
1319:
1301:
1300:
1286:
1285:
1267:
1266:
1248:
1247:
1235:free variables,
1234:
1232:
1231:
1226:
1214:
1212:
1211:
1206:
1204:
1203:
1190:
1188:
1187:
1182:
1170:
1168:
1167:
1162:
1160:
1159:
1141:
1140:
1124:
1122:
1121:
1116:
1114:
1113:
1095:
1094:
1078:
1076:
1075:
1070:
1059:
1058:
1040:
1039:
1020:
1018:
1017:
1012:
1001:
1000:
982:
981:
962:
960:
959:
954:
952:
951:
938:
936:
935:
930:
918:
916:
915:
910:
892:
890:
889:
884:
872:
870:
869:
864:
852:
850:
849:
844:
842:
841:
825:
823:
822:
817:
652:
650:
649:
644:
439:
437:
436:
431:
268:
266:
265:
260:
116:
114:
113:
108:
21:
1483:
1482:
1478:
1477:
1476:
1474:
1473:
1472:
1458:
1457:
1456:
1455:
1446:
1442:
1437:
1419:
1409:Springer-Verlag
1399:
1396:
1379:
1367:Erdős cardinals
1359:
1330:
1311:
1277:
1258:
1237:
1236:
1217:
1216:
1193:
1192:
1173:
1172:
1151:
1132:
1127:
1126:
1105:
1086:
1081:
1080:
1050:
1031:
1023:
1022:
992:
973:
965:
964:
941:
940:
921:
920:
895:
894:
875:
874:
855:
854:
831:
830:
657:
656:
488:
487:
467:, and the term
461:
459:Generalizations
449:laws of thought
447:was one of the
274:
273:
122:
121:
117:, we must have
99:
98:
60:
50:. Usually only
28:
23:
22:
15:
12:
11:
5:
1481:
1479:
1471:
1470:
1460:
1459:
1454:
1453:
1439:
1438:
1436:
1433:
1432:
1431:
1417:
1395:
1392:
1391:
1390:
1385:
1378:
1375:
1358:
1355:
1342:
1337:
1333:
1329:
1326:
1323:
1318:
1314:
1310:
1307:
1304:
1299:
1293:
1289:
1284:
1280:
1276:
1273:
1270:
1265:
1261:
1257:
1254:
1251:
1246:
1224:
1202:
1180:
1158:
1154:
1150:
1147:
1144:
1139:
1135:
1112:
1108:
1104:
1101:
1098:
1093:
1089:
1068:
1065:
1062:
1057:
1053:
1049:
1046:
1043:
1038:
1034:
1030:
1010:
1007:
1004:
999:
995:
991:
988:
985:
980:
976:
972:
950:
928:
908:
905:
902:
882:
862:
840:
827:
826:
815:
811:
808:
805:
802:
799:
796:
793:
790:
787:
784:
781:
778:
775:
772:
769:
766:
763:
760:
757:
754:
751:
748:
745:
742:
739:
736:
733:
730:
727:
724:
721:
718:
715:
712:
709:
706:
703:
700:
697:
694:
691:
688:
685:
682:
679:
676:
673:
670:
667:
664:
654:
642:
639:
636:
633:
630:
627:
624:
621:
618:
615:
612:
609:
606:
603:
600:
597:
594:
591:
588:
585:
582:
579:
576:
573:
570:
567:
564:
561:
558:
555:
552:
549:
546:
543:
540:
537:
534:
531:
528:
525:
522:
519:
516:
513:
510:
507:
504:
501:
498:
495:
460:
457:
441:
440:
429:
425:
422:
419:
416:
413:
410:
407:
404:
401:
398:
395:
392:
389:
386:
383:
380:
377:
374:
371:
368:
365:
362:
359:
356:
353:
350:
347:
344:
341:
338:
335:
332:
329:
326:
323:
320:
317:
314:
311:
308:
305:
302:
299:
296:
293:
290:
287:
284:
281:
270:
269:
258:
255:
252:
249:
246:
243:
240:
237:
234:
231:
228:
225:
222:
219:
216:
213:
210:
207:
204:
201:
198:
195:
192:
189:
186:
183:
180:
177:
174:
171:
168:
165:
162:
159:
156:
153:
150:
147:
144:
141:
138:
135:
132:
129:
106:
59:
56:
36:indiscernibles
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
1480:
1469:
1466:
1465:
1463:
1450:
1444:
1441:
1434:
1428:
1424:
1420:
1414:
1410:
1406:
1402:
1398:
1397:
1393:
1389:
1386:
1384:
1381:
1380:
1376:
1374:
1372:
1368:
1364:
1356:
1354:
1335:
1331:
1327:
1324:
1321:
1316:
1312:
1305:
1302:
1282:
1278:
1274:
1271:
1268:
1263:
1259:
1252:
1249:
1222:
1178:
1156:
1152:
1148:
1145:
1142:
1137:
1133:
1110:
1106:
1102:
1099:
1096:
1091:
1087:
1066:
1063:
1055:
1051:
1047:
1044:
1041:
1036:
1032:
1008:
1005:
997:
993:
989:
986:
983:
978:
974:
926:
906:
903:
900:
880:
860:
813:
800:
797:
794:
788:
782:
776:
773:
770:
764:
758:
752:
749:
746:
740:
731:
722:
719:
716:
710:
707:
701:
698:
695:
689:
686:
680:
677:
674:
668:
655:
631:
628:
625:
619:
613:
607:
604:
601:
595:
589:
583:
580:
577:
571:
562:
553:
550:
547:
541:
538:
532:
529:
526:
520:
517:
511:
508:
505:
499:
486:
485:
484:
482:
478:
474:
470:
466:
458:
456:
454:
450:
446:
427:
417:
414:
411:
405:
399:
393:
390:
387:
381:
375:
369:
366:
363:
357:
351:
345:
342:
339:
333:
327:
321:
318:
315:
309:
303:
297:
294:
291:
285:
272:
271:
256:
247:
244:
241:
235:
232:
226:
223:
220:
214:
211:
205:
202:
199:
193:
190:
184:
181:
178:
172:
169:
163:
160:
157:
151:
148:
142:
139:
136:
130:
120:
119:
118:
104:
96:
94:
89:
85:
81:
77:
73:
69:
65:
57:
55:
53:
49:
46:defined by a
45:
41:
37:
33:
19:
18:Indiscernible
1468:Model theory
1443:
1404:
1401:Jech, Thomas
1360:
1357:Applications
853:with domain
828:
480:
476:
472:
468:
464:
462:
442:
91:
87:
83:
79:
71:
67:
63:
61:
35:
29:
52:first-order
1427:1007.03002
1405:Set Theory
1394:References
1371:zero sharp
1435:Citations
1388:Rough set
1325:…
1306:ϕ
1303:⊨
1292:⟺
1272:…
1253:ϕ
1250:⊨
1179:ϕ
1146:…
1100:…
1064:⊆
1045:…
1006:⊆
987:…
904:⊆
789:φ
786:¬
783:∧
765:φ
762:¬
759:∧
741:φ
738:¬
732:∨
711:φ
708:∧
690:φ
687:∧
669:φ
620:φ
617:¬
614:∧
596:φ
593:¬
590:∧
572:φ
569:¬
563:∨
542:φ
539:∧
521:φ
518:∧
500:φ
406:β
403:¬
400:∧
382:β
379:¬
376:∧
358:β
355:¬
352:∧
334:β
331:¬
328:∧
310:β
307:¬
304:∧
286:β
283:¬
257:∨
236:β
233:∧
215:β
212:∧
194:β
191:∧
173:β
170:∧
152:β
149:∧
131:β
105:β
1462:Category
1403:(2003).
1377:See also
893:, a set
76:distinct
58:Examples
44:relation
40:property
90:} is a
48:formula
1425:
1415:
1369:, and
70:, and
1215:with
1079:with
78:and {
1413:ISBN
1149:<
1143:<
1125:and
1103:<
1097:<
1021:and
927:<
881:<
74:are
1423:Zbl
653:and
451:of
93:set
62:If
42:or
30:In
1464::
1421:.
1411:.
1373:.
1365:,
1353:.
479:,
475:,
455:.
86:,
82:,
66:,
34:,
1429:.
1341:)
1336:n
1332:j
1328:,
1322:,
1317:0
1313:j
1309:(
1298:A
1288:)
1283:0
1279:i
1275:,
1269:,
1264:0
1260:i
1256:(
1245:A
1223:n
1201:A
1157:n
1153:j
1138:0
1134:j
1111:n
1107:i
1092:0
1088:i
1067:I
1061:}
1056:n
1052:j
1048:,
1042:,
1037:0
1033:j
1029:{
1009:I
1003:}
998:n
994:i
990:,
984:,
979:0
975:i
971:{
949:A
907:A
901:I
861:A
839:A
814:.
810:)
807:]
804:)
801:b
798:,
795:c
792:(
780:)
777:a
774:,
771:c
768:(
756:)
753:a
750:,
747:b
744:(
735:[
729:]
726:)
723:b
720:,
717:c
714:(
705:)
702:a
699:,
696:c
693:(
684:)
681:a
678:,
675:b
672:(
666:[
663:(
641:)
638:]
635:)
632:c
629:,
626:b
623:(
611:)
608:c
605:,
602:a
599:(
587:)
584:b
581:,
578:a
575:(
566:[
560:]
557:)
554:c
551:,
548:b
545:(
536:)
533:c
530:,
527:a
524:(
515:)
512:b
509:,
506:a
503:(
497:[
494:(
481:c
477:b
473:a
428:.
424:]
421:)
418:b
415:,
412:c
409:(
397:)
394:c
391:,
388:b
385:(
373:)
370:a
367:,
364:c
361:(
349:)
346:c
343:,
340:a
337:(
325:)
322:a
319:,
316:b
313:(
301:)
298:b
295:,
292:a
289:(
280:[
254:]
251:)
248:b
245:,
242:c
239:(
230:)
227:c
224:,
221:b
218:(
209:)
206:a
203:,
200:c
197:(
188:)
185:c
182:,
179:a
176:(
167:)
164:a
161:,
158:b
155:(
146:)
143:b
140:,
137:a
134:(
128:[
88:c
84:b
80:a
72:c
68:b
64:a
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.