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