29:
1295:
The Karp Prize is awarded by the association every five years for an outstanding paper or book in the field of symbolic logic. It consists of a cash award and was established in 1973 in memory of
Professor
1797:
Inaugurated in 2007, the
Shoenfield Prize is awarded every three years in two categories, book and article, recognizing outstanding expository writing in the field of logic and honoring the name of
2085:
461:
1467:
The Sacks Prize is awarded for the most outstanding doctoral dissertation in mathematical logic. It consists of a cash award and was established in 1999 to honor
Professor
2248:
2189:
2163:
2137:
2268:
2253:
1933:
1955:
2089:
1901:
Inaugurated in 1990, the Gödel
Lecture is the honor of being the speaker at the association's annual meeting. The award is named after
2115:
2063:
790:
2263:
1985:
2011:
581:
1089:
786:
394:
2258:
245:
publishes research on the interactions between mathematical logic and pure and applied analysis. Founded in 2009 as an
2193:
2037:
969:
621:
154:
2167:
2141:
194:
543:, The Continuum Hypothesis, the $ \Omega$ Conjecture, and the inner model problem of one supercompact cardinal
909:
781:
The ASL holds two main meetings every year, one in North
America and one in Europe (the latter known as the
1959:
1929:
1630:
422:
1564:
1437:
1414:
849:
671:
358:
405:
1698:
28:
1606:
1540:
1596:
1501:
226:– publishes research relating to logic, philosophy, science, and their interactions. Founded in 2008,
103:
1798:
1658:
1654:
1582:
1544:
1445:
1014:
746:
667:
508:
289:
1840:
John T. Baldwin (book); Rod Downey, Denis
Hirschfeldt, André Nies, and Sebastiaan Terwijn (article)
1720:
1716:
1644:
1640:
1678:
1626:
1592:
1104:
924:
333:
246:
162:
79:
1616:
1554:
1511:
1851:(book); ItaĂŻ Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov (article)
1668:
1059:
518:
158:
2223:
258:
231:
217:
203:
1863:
1441:
1422:
1388:
1239:
1224:
1179:
1074:
894:
819:
566:
254:
227:
213:
199:
166:
1848:
1339:
1269:
1149:
1134:
1044:
984:
722:
710:
682:
635:
592:
577:
300:
186:
170:
91:
2111:
2059:
1825:
1821:
1373:
1358:
734:
631:
617:
551:
471:
344:
55:
2228:
1491:
1384:
1347:
1328:
1194:
939:
706:
694:
540:
348:
1981:
2242:
2007:
1902:
1875:
1418:
1343:
1317:
1164:
1119:
1029:
864:
834:
770:
555:
529:
493:
319:
266:
322:, From algorithms which succeed on a large set of inputs to the Turing degrees as a
1930:"Council Members, Committees, and Representatives – Association for Symbolic Logic"
1887:
1521:
1468:
1254:
879:
656:
607:
603:
504:
362:
323:
1829:
1426:
1362:
1209:
954:
645:
416:
372:
1859:
1410:
1297:
999:
758:
383:
2233:
1399:
2033:
198:– publishes research in all areas of mathematical logic. Founded in 1936,
482:
65:
212:– publishes primarily expository articles and reviews. Founded in 1995,
793:("APA"), and sponsors meetings in many different countries every year.
265:
The organization played a part in publishing the collected writings of
69:
1287:
The association periodically presents a number of prizes and awards.
785:). In addition, the ASL regularly holds joint meetings with both the
685:, Occupations and Preoccupations with Gödel: His*Works* and the Work
496:, The hereditarily ordinal definable sets in models of determinacy
737:, Logic of Real and p-adic Analysis: Achievements and Challenges
303:
Series is series of annual ASL lectures that trace back to 1990.
182:
2190:"Shoenfield Prize Recipients – Association for Symbolic Logic"
713:, and Direct Perception (or, Why I am a Recursion Theorist)
474:, Computable structure theory and formulas of special forms
165:. The ASL was founded in 1936, and its first president was
2218:
2164:"Sacks Prize Recipients – Association for Symbolic Logic"
1982:"Lecture Notes in Logic – Association for Symbolic Logic"
2138:"Karp Prize Recipients – Association for Symbolic Logic"
2008:"Perspectives in Logic – Association for Symbolic Logic"
1909:
134:
425:
2112:"Prizes and Awards – Association for Symbolic Logic"
595:, Proofs persuasions and randomness in mathematics
554:(a lecture on his work delivered in his absence by
129:
119:
109:
97:
85:
75:
61:
51:
43:
35:
2086:"Former Officers – Association for Symbolic Logic"
2060:"Gödel Lecturers – Association for Symbolic Logic"
1956:"Gödel Lecturers – Association for Symbolic Logic"
455:
419:, Complex continuations of functions definable in
238:In addition, the ASL has a sponsored journal:
1456:John Steel, University of California, Berkeley
532:, Reverse Mathematics: the Playground of Logic
2034:"Other Books – Association for Symbolic Logic"
1908:For the complete list of speakers, please see
1444:, University of Illinois at Urbana–Champaign;
1738:Matthew Harrison-Trainor and Sebastien Vasey
8:
401:The Twenty-Seventh Annual Gödel Lecture 2016
21:
500:The Twenty-Second Annual Gödel Lecture 2011
478:The Twenty-Fourth Annual Gödel Lecture 2013
390:The Twenty-Eighth Annual Gödel Lecture 2017
311:Thomas Scanlon, (Un)decidability in fields
761:, Will Logicians be Replaced by Machines?
514:The Twenty-First Annual Gödel Lecture 2010
489:The Twenty-Third Annual Gödel Lecture 2012
467:The Twenty-Fifth Annual Gödel Lecture 2014
412:The Twenty-Sixth Annual Gödel Lecture 2015
379:The Twenty-Ninth Annual Gödel Lecture 2018
27:
20:
562:The Seventeenth Annual Gödel Lecture 2006
432:
428:
427:
424:
1806:
1476:
1302:
800:
613:The Thirteenth Annual Gödel Lecture 2002
599:The Fourteenth Annual Gödel Lecture 2003
547:The Eighteenth Annual Gödel Lecture 2007
536:The Nineteenth Annual Gödel Lecture 2008
375:, Totality, Provability and Feasibility
1921:
588:The Fifteenth Annual Gödel Lecture 2004
573:The Sixteenth Annual Gödel Lecture 2005
525:The Twentieth Annual Gödel Lecture 2009
2249:Learned societies of the United States
641:The Eleventh Annual Gödel Lecture 2000
169:. The current president of the ASL is
2066:from the original on 12 February 2024
2040:from the original on 29 February 2024
2014:from the original on 29 February 2024
1988:from the original on 29 February 2024
1778:Francesco Gallinaro and Patrick Lutz
1350:, University of California, Berkeley
1320:, University of California, Berkeley
689:The Seventh Annual Gödel Lecture 1996
627:The Twelfth Annual Gödel Lecture 2001
521:, Complexity of propositional proofs
456:{\displaystyle \mathbb {R} _{an,exp}}
16:International specialist organization
7:
2118:from the original on 24 January 2019
753:The Second Annual Gödel Lecture 1991
729:The Fourth Annual Gödel Lecture 1993
677:The Eighth Annual Gödel Lecture 1997
659:, Logic and computatonal complexity
648:(Cancelled due to death of speaker)
361:, The ubiquity of configurations in
340:The Thirty-Second Gödel Lecture 2021
315:The Thirty-Fourth Gödel Lecture 2023
773:, Inner Models and Large Cardinals
765:The First Annual Gödel Lecture 1990
741:The Third Annual Gödel Lecture 1992
717:The Fifth Annual Gödel Lecture 1994
701:The Sixth Annual Gödel Lecture 1995
697:, Categoricity without compactness
663:The Ninth Annual Gödel Lecture 1998
652:The Tenth Annual Gödel Lecture 1999
354:The Thirty-First Gödel Lecture 2020
329:The Thirty-Third Gödel Lecture 2022
307:The Thirty-Fifth Gödel Lecture 2024
189:. Its three official journals are:
1932:. Association for Symbolic Logic.
1886:Paolo Mancosu, Sergio Galvan, and
1730:William Johnson and Ludovic Patey
791:American Philosophical Association
249:successor to the Springer journal
14:
2269:Organizations established in 1936
2234:The Journal of Logic and Analysis
2114:. Association of Symbolic Logic.
1786:Andreas Lietz and Scott Mutchnik
397:, Gödel and the universe of sets
2254:Mathematical logic organizations
1890:(book); Vasco Brattka (article)
368:The Thirtieth Gödel Lecture 2019
1936:from the original on 4 May 2023
463:with a diophantine application
408:, Basis problems in set theory
1862:and Denis Hirschfeldt (book);
147:Association for Symbolic Logic
22:Association for Symbolic Logic
1:
1425:, University of Notre Dame;
787:American Mathematical Society
243:Journal of Logic and Analysis
2229:The Review of Symbolic Logic
1429:, University of Manchester
2285:
622:foundations of mathematics
569:, The two layers of logic
210:Bulletin of Symbolic Logic
155:international organization
2224:Journal of Symbolic Logic
582:Skolem-Lowenheim theorems
386:, Algorithmic randomness
195:Journal of Symbolic Logic
26:
2264:Philosophy organizations
1421:, University of Oxford;
277:Lectures Notes in Logic
224:Review of Symbolic Logic
1417:, University of Haifa;
1413:, Tel Aviv University;
910:Willard Van Orman Quine
584:for generalized logics
1565:Matthias Aschenbrenner
1448:, École Polytechnique
1438:Matthias Aschenbrenner
850:Cooper Harold Langford
749:, The Priority Method
672:Descriptive Set Theory
485:, Truthmaker sematics
457:
288:Mathematical Logic by
121:Co-Secretary-Treasurer
111:Co-Secretary-Treasurer
1874:Pierre Simon (book);
1770:Marcos Mazari Armida
1697:Artem Chernikov and
1631:Wojciech Moczydlowski
458:
336:, Formalism in Logic
280:Perspective in Logic
1910:Gödel Lecture Series
1804:Recipients include:
1799:Joseph R. Shoenfield
1474:Recipients include:
1471:of MIT and Harvard.
1446:Joris van der Hoeven
1402:, Hebrew University
1376:, Hebrew University
1331:, Hebrew University
1015:Joseph R. Shoenfield
747:Joseph R. Shoenfield
670:, Current Trends in
668:Alexander S. Kechris
509:First order theories
423:
295:Gödel Lecture Series
290:Joseph R. Shoenfield
2259:Philosophical logic
2092:on 22 December 2019
1962:on 22 December 2019
1524:and Thomas Scanlon
1105:Yiannis Moschovakis
925:Stephen Cole Kleene
359:Elisabeth Bouscaren
334:Patricia Blanchette
163:philosophical logic
80:Storrs, Connecticut
23:
1699:Nathanaël Mariaule
1060:Ruth Barcan Marcus
797:List of presidents
632:Theodore A. Slaman
519:Alexander Razborov
453:
251:Logic and Analysis
181:The ASL publishes
159:mathematical logic
157:of specialists in
1894:
1893:
1864:Lou van den Dries
1790:
1789:
1754:Gabriel Goldberg
1708:no prize awarded
1607:Antonio Montalbán
1574:no prize awarded
1541:Denis Hirschfeldt
1532:no prize awarded
1460:
1459:
1442:Lou van den Dries
1423:Sergei Starchenko
1389:Alexander Kechris
1278:
1277:
1240:Ulrich Kohlenbach
1225:Alasdair Urquhart
1180:Alexander Kechris
895:J. Barkley Rosser
820:Curt John Ducasse
725:, L(R): A Survey
187:academic journals
167:Curt John Ducasse
143:
142:
115:Russell G. Miller
56:Scholarly society
2276:
2206:
2205:
2203:
2201:
2192:. Archived from
2186:
2180:
2179:
2177:
2175:
2166:. Archived from
2160:
2154:
2153:
2151:
2149:
2140:. Archived from
2134:
2128:
2127:
2125:
2123:
2108:
2102:
2101:
2099:
2097:
2088:. Archived from
2082:
2076:
2075:
2073:
2071:
2056:
2050:
2049:
2047:
2045:
2030:
2024:
2023:
2021:
2019:
2004:
1998:
1997:
1995:
1993:
1978:
1972:
1971:
1969:
1967:
1958:. Archived from
1952:
1946:
1945:
1943:
1941:
1926:
1849:Stevo Todorcevic
1807:
1793:Shoenfield Prize
1597:Nathan Segerlind
1502:Slawomir Solecki
1477:
1415:Ya'acov Peterzil
1340:Donald A. Martin
1303:
1270:Phokion Kolaitis
1150:Donald A. Martin
1135:Menachem Magidor
1045:Solomon Feferman
985:Abraham Robinson
801:
789:("AMS") and the
783:Logic Colloquium
723:Donald A. Martin
683:Solomon Feferman
636:Recursion Theory
620:, Issues in the
593:Michael O. Rabin
578:Menachem Magidor
462:
460:
459:
454:
452:
451:
431:
406:Stevo Todorcevic
171:Phokion Kolaitis
139:
136:
104:Natasha Dobrinen
92:Phokion Kolaitis
31:
24:
2284:
2283:
2279:
2278:
2277:
2275:
2274:
2273:
2239:
2238:
2215:
2210:
2209:
2199:
2197:
2196:on 22 July 2019
2188:
2187:
2183:
2173:
2171:
2170:on 22 July 2019
2162:
2161:
2157:
2147:
2145:
2144:on 22 July 2019
2136:
2135:
2131:
2121:
2119:
2110:
2109:
2105:
2095:
2093:
2084:
2083:
2079:
2069:
2067:
2058:
2057:
2053:
2043:
2041:
2032:
2031:
2027:
2017:
2015:
2006:
2005:
2001:
1991:
1989:
1980:
1979:
1975:
1965:
1963:
1954:
1953:
1949:
1939:
1937:
1928:
1927:
1923:
1918:
1899:
1826:Bohuslav Balcar
1822:John P. Burgess
1795:
1659:Grigor Sargsyan
1655:Isaac Goldbring
1583:Itay Ben Yaacov
1545:Rene Schipperus
1465:
1374:Ehud Hrushovski
1359:Ehud Hrushovski
1293:
1285:
1090:Charles Parsons
809:Term of office
799:
779:
735:Angus Macintyre
657:Stephen A. Cook
618:Harvey Friedman
552:Ehud Hrushovski
472:Julia F. Knight
426:
421:
420:
395:Charles Parsons
349:Diffeomorphisms
345:Matthew Foreman
297:
286:
275:
179:
133:
122:
112:
100:
88:
17:
12:
11:
5:
2282:
2280:
2272:
2271:
2266:
2261:
2256:
2251:
2241:
2240:
2237:
2236:
2231:
2226:
2221:
2214:
2213:External links
2211:
2208:
2207:
2181:
2155:
2129:
2103:
2077:
2051:
2025:
1999:
1973:
1947:
1920:
1919:
1917:
1914:
1898:
1895:
1892:
1891:
1884:
1880:
1879:
1872:
1868:
1867:
1857:
1853:
1852:
1846:
1842:
1841:
1838:
1834:
1833:
1819:
1815:
1814:
1811:
1794:
1791:
1788:
1787:
1784:
1780:
1779:
1776:
1772:
1771:
1768:
1764:
1763:
1760:
1756:
1755:
1752:
1748:
1747:
1744:
1740:
1739:
1736:
1732:
1731:
1728:
1724:
1723:
1721:Martino Lupini
1717:Omer Ben-Neria
1714:
1710:
1709:
1706:
1702:
1701:
1695:
1691:
1690:
1687:
1683:
1682:
1676:
1672:
1671:
1666:
1662:
1661:
1652:
1648:
1647:
1645:Dilip Raghavan
1641:Inessa Epstein
1638:
1634:
1633:
1624:
1620:
1619:
1614:
1610:
1609:
1604:
1600:
1599:
1590:
1586:
1585:
1580:
1576:
1575:
1572:
1568:
1567:
1562:
1558:
1557:
1552:
1548:
1547:
1538:
1534:
1533:
1530:
1526:
1525:
1519:
1515:
1514:
1509:
1505:
1504:
1499:
1495:
1494:
1492:Gregory Hjorth
1489:
1485:
1484:
1481:
1464:
1461:
1458:
1457:
1454:
1450:
1449:
1435:
1431:
1430:
1408:
1404:
1403:
1397:
1393:
1392:
1385:Gregory Hjorth
1382:
1378:
1377:
1371:
1367:
1366:
1356:
1352:
1351:
1348:W. Hugh Woodin
1337:
1333:
1332:
1329:Saharon Shelah
1326:
1322:
1321:
1315:
1311:
1310:
1307:
1292:
1289:
1284:
1281:
1276:
1275:
1272:
1267:
1265:31st President
1261:
1260:
1257:
1252:
1250:30th President
1246:
1245:
1242:
1237:
1235:29th President
1231:
1230:
1227:
1222:
1220:28th President
1216:
1215:
1212:
1207:
1205:27th President
1201:
1200:
1197:
1195:Penelope Maddy
1192:
1190:26th President
1186:
1185:
1182:
1177:
1175:25th President
1171:
1170:
1167:
1162:
1160:24th President
1156:
1155:
1152:
1147:
1145:23rd President
1141:
1140:
1137:
1132:
1130:22nd President
1126:
1125:
1122:
1117:
1115:21st President
1111:
1110:
1107:
1102:
1100:20th President
1096:
1095:
1092:
1087:
1085:19th President
1081:
1080:
1077:
1075:Michael Morley
1072:
1070:18th President
1066:
1065:
1062:
1057:
1055:17th President
1051:
1050:
1047:
1042:
1040:16th President
1036:
1035:
1032:
1027:
1025:15th President
1021:
1020:
1017:
1012:
1010:14th President
1006:
1005:
1002:
997:
995:13th President
991:
990:
987:
982:
980:12th President
976:
975:
972:
967:
965:11th President
961:
960:
957:
952:
950:10th President
946:
945:
942:
940:Frederic Fitch
937:
931:
930:
927:
922:
916:
915:
912:
907:
901:
900:
897:
892:
886:
885:
882:
877:
871:
870:
867:
862:
856:
855:
852:
847:
841:
840:
837:
832:
826:
825:
822:
817:
811:
810:
807:
804:
798:
795:
778:
775:
707:Leo Harrington
695:Saharon Shelah
567:Per Martin-Löf
556:Thomas Scanlon
541:W. Hugh Woodin
450:
447:
444:
441:
438:
435:
430:
296:
293:
285:
282:
274:
271:
263:
262:
236:
235:
221:
207:
178:
175:
141:
140:
131:
127:
126:
123:
120:
117:
116:
113:
110:
107:
106:
101:
99:Vice President
98:
95:
94:
89:
86:
83:
82:
77:
73:
72:
63:
59:
58:
53:
49:
48:
45:
41:
40:
37:
33:
32:
15:
13:
10:
9:
6:
4:
3:
2:
2281:
2270:
2267:
2265:
2262:
2260:
2257:
2255:
2252:
2250:
2247:
2246:
2244:
2235:
2232:
2230:
2227:
2225:
2222:
2220:
2217:
2216:
2212:
2195:
2191:
2185:
2182:
2169:
2165:
2159:
2156:
2143:
2139:
2133:
2130:
2117:
2113:
2107:
2104:
2091:
2087:
2081:
2078:
2065:
2061:
2055:
2052:
2039:
2035:
2029:
2026:
2013:
2009:
2003:
2000:
1987:
1983:
1977:
1974:
1961:
1957:
1951:
1948:
1935:
1931:
1925:
1922:
1915:
1913:
1911:
1906:
1904:
1897:Gödel Lecture
1896:
1889:
1885:
1882:
1881:
1877:
1873:
1870:
1869:
1865:
1861:
1858:
1855:
1854:
1850:
1847:
1844:
1843:
1839:
1836:
1835:
1831:
1827:
1823:
1820:
1817:
1816:
1813:Recipient(s)
1812:
1809:
1808:
1805:
1802:
1800:
1792:
1785:
1782:
1781:
1777:
1774:
1773:
1769:
1766:
1765:
1761:
1758:
1757:
1753:
1750:
1749:
1746:Danny Nguyen
1745:
1742:
1741:
1737:
1734:
1733:
1729:
1726:
1725:
1722:
1718:
1715:
1712:
1711:
1707:
1704:
1703:
1700:
1696:
1693:
1692:
1689:Pierre Simon
1688:
1685:
1684:
1681:and Adam Day
1680:
1679:Mingzhong Cai
1677:
1674:
1673:
1670:
1667:
1664:
1663:
1660:
1656:
1653:
1650:
1649:
1646:
1642:
1639:
1636:
1635:
1632:
1628:
1627:Adrien Deloro
1625:
1622:
1621:
1618:
1615:
1612:
1611:
1608:
1605:
1602:
1601:
1598:
1594:
1593:Joseph Mileti
1591:
1588:
1587:
1584:
1581:
1578:
1577:
1573:
1570:
1569:
1566:
1563:
1560:
1559:
1556:
1553:
1550:
1549:
1546:
1542:
1539:
1536:
1535:
1531:
1528:
1527:
1523:
1520:
1517:
1516:
1513:
1510:
1507:
1506:
1503:
1500:
1497:
1496:
1493:
1490:
1487:
1486:
1483:Recipient(s)
1482:
1479:
1478:
1475:
1472:
1470:
1462:
1455:
1452:
1451:
1447:
1443:
1439:
1436:
1433:
1432:
1428:
1424:
1420:
1419:Jonathan Pila
1416:
1412:
1409:
1406:
1405:
1401:
1398:
1395:
1394:
1390:
1386:
1383:
1380:
1379:
1375:
1372:
1369:
1368:
1364:
1360:
1357:
1354:
1353:
1349:
1345:
1344:John R. Steel
1341:
1338:
1335:
1334:
1330:
1327:
1324:
1323:
1319:
1318:Robert Vaught
1316:
1313:
1312:
1309:Recipient(s)
1308:
1305:
1304:
1301:
1299:
1290:
1288:
1282:
1280:
1273:
1271:
1268:
1266:
1263:
1262:
1258:
1256:
1253:
1251:
1248:
1247:
1243:
1241:
1238:
1236:
1233:
1232:
1228:
1226:
1223:
1221:
1218:
1217:
1213:
1211:
1208:
1206:
1203:
1202:
1198:
1196:
1193:
1191:
1188:
1187:
1183:
1181:
1178:
1176:
1173:
1172:
1168:
1166:
1165:Richard Shore
1163:
1161:
1158:
1157:
1153:
1151:
1148:
1146:
1143:
1142:
1138:
1136:
1133:
1131:
1128:
1127:
1123:
1121:
1120:George Boolos
1118:
1116:
1113:
1112:
1108:
1106:
1103:
1101:
1098:
1097:
1093:
1091:
1088:
1086:
1083:
1082:
1078:
1076:
1073:
1071:
1068:
1067:
1063:
1061:
1058:
1056:
1053:
1052:
1048:
1046:
1043:
1041:
1038:
1037:
1033:
1031:
1030:Hilary Putnam
1028:
1026:
1023:
1022:
1018:
1016:
1013:
1011:
1008:
1007:
1003:
1001:
998:
996:
993:
992:
988:
986:
983:
981:
978:
977:
973:
971:
970:William Craig
968:
966:
963:
962:
958:
956:
953:
951:
948:
947:
943:
941:
938:
936:
935:9th President
933:
932:
928:
926:
923:
921:
920:8th President
918:
917:
913:
911:
908:
906:
905:7th President
903:
902:
898:
896:
893:
891:
890:6th President
888:
887:
883:
881:
878:
876:
875:5th President
873:
872:
868:
866:
865:Alfred Tarski
863:
861:
860:4th President
858:
857:
853:
851:
848:
846:
845:3rd President
843:
842:
838:
836:
835:Haskell Curry
833:
831:
830:2nd President
828:
827:
823:
821:
818:
816:
815:1st President
813:
812:
808:
805:
803:
802:
796:
794:
792:
788:
784:
776:
774:
772:
771:Ronald Jensen
767:
766:
762:
760:
755:
754:
750:
748:
743:
742:
738:
736:
731:
730:
726:
724:
719:
718:
714:
712:
708:
703:
702:
698:
696:
691:
690:
686:
684:
679:
678:
674:
673:
669:
665:
664:
660:
658:
654:
653:
649:
647:
643:
642:
638:
637:
633:
629:
628:
624:
623:
619:
615:
614:
610:
609:
605:
601:
600:
596:
594:
590:
589:
585:
583:
579:
575:
574:
570:
568:
564:
563:
559:
557:
553:
549:
548:
544:
542:
538:
537:
533:
531:
530:Richard Shore
527:
526:
522:
520:
516:
515:
511:
510:
506:
502:
501:
497:
495:
491:
490:
486:
484:
480:
479:
475:
473:
469:
468:
464:
448:
445:
442:
439:
436:
433:
418:
414:
413:
409:
407:
403:
402:
398:
396:
392:
391:
387:
385:
381:
380:
376:
374:
370:
369:
365:
364:
360:
356:
355:
351:
350:
346:
342:
341:
337:
335:
331:
330:
326:
325:
321:
320:Carl Jockusch
317:
316:
312:
309:
308:
304:
302:
301:Gödel Lecture
294:
292:
291:
283:
281:
278:
272:
270:
268:
260:
256:
252:
248:
244:
241:
240:
239:
233:
229:
225:
222:
219:
215:
211:
208:
205:
201:
197:
196:
192:
191:
190:
188:
184:
176:
174:
172:
168:
164:
160:
156:
152:
148:
138:
132:
128:
124:
118:
114:
108:
105:
102:
96:
93:
90:
84:
81:
78:
74:
71:
67:
64:
60:
57:
54:
50:
46:
42:
38:
34:
30:
25:
19:
2198:. Retrieved
2194:the original
2184:
2172:. Retrieved
2168:the original
2158:
2146:. Retrieved
2142:the original
2132:
2120:. Retrieved
2106:
2096:26 September
2094:. Retrieved
2090:the original
2080:
2068:. Retrieved
2054:
2042:. Retrieved
2028:
2016:. Retrieved
2002:
1990:. Retrieved
1976:
1964:. Retrieved
1960:the original
1950:
1938:. Retrieved
1924:
1907:
1900:
1888:Richard Zach
1803:
1796:
1762:James Walsh
1617:Matteo Viale
1555:Eric Jaligot
1522:Ilijas Farah
1512:Byunghan Kim
1473:
1469:Gerald Sacks
1466:
1294:
1286:
1279:
1264:
1255:Julia Knight
1249:
1234:
1219:
1204:
1189:
1174:
1159:
1144:
1129:
1114:
1099:
1084:
1069:
1054:
1039:
1024:
1009:
994:
979:
964:
949:
934:
919:
904:
889:
880:Ernest Nagel
874:
859:
844:
829:
814:
782:
780:
768:
764:
763:
756:
752:
751:
744:
740:
739:
732:
728:
727:
720:
716:
715:
704:
700:
699:
692:
688:
687:
680:
676:
675:
666:
662:
661:
655:
651:
650:
644:
640:
639:
630:
626:
625:
616:
612:
611:
608:Categoricity
604:Boris Zilber
602:
598:
597:
591:
587:
586:
576:
572:
571:
565:
561:
560:
550:
546:
545:
539:
535:
534:
528:
524:
523:
517:
513:
512:
505:Anand Pillay
503:
499:
498:
492:
488:
487:
481:
477:
476:
470:
466:
465:
415:
411:
410:
404:
400:
399:
393:
389:
388:
382:
378:
377:
371:
367:
366:
363:Model Theory
357:
353:
352:
343:
339:
338:
332:
328:
327:
324:metric space
318:
314:
313:
310:
306:
305:
298:
287:
279:
276:
273:Books Series
264:
250:
242:
237:
223:
209:
193:
180:
177:Publications
150:
146:
144:
125:Reed Solomon
76:Headquarters
36:Abbreviation
18:
2219:ASL website
2200:21 February
2070:29 February
2044:29 February
2018:29 February
1992:29 February
1966:21 February
1830:Thomas Jech
1669:Uri Andrews
1463:Sacks Prize
1427:Alex Wilkie
1387:, UCLA and
1363:Alex Wilkie
1210:Alex Wilkie
955:Leon Henkin
646:Jon Barwise
417:Alex Wilkie
247:open-access
2243:Categories
2174:24 January
2148:24 January
2122:24 January
1916:References
1903:Kurt Gödel
1878:(article)
1876:John Steel
1866:(article)
1860:Rod Downey
1832:(article)
1411:Moti Gitik
1391:, Caltech
1361:, MIT and
1298:Carol Karp
1291:Karp Prize
1274:2022–2024
1259:2019–2021
1244:2016–2018
1229:2013–2015
1214:2010–2012
1199:2007–2009
1184:2004–2006
1169:2001–2003
1154:1998–2000
1139:1996–1997
1124:1995–1996
1109:1992–1994
1094:1989–1991
1079:1986–1988
1064:1983–1985
1049:1980–1982
1034:1977–1979
1019:1974–1976
1004:1971–1973
1000:Dana Scott
989:1968–1970
974:1965–1967
959:1962–1964
944:1959–1961
929:1956–1958
914:1953–1955
899:1950–1952
884:1947–1949
869:1944–1946
854:1941–1943
839:1938–1940
824:1936–1937
759:Dana Scott
709:, Goedel,
494:John Steel
384:Rod Downey
267:Kurt Gödel
1400:Zlil Sela
1365:, Oxford
711:Heidegger
259:1759-9008
232:1755-0203
218:1079-8986
204:0022-4812
135:aslonline
87:President
44:Formation
2116:Archived
2064:Archived
2038:Archived
2012:Archived
1986:Archived
1934:Archived
1824:(book);
1440:, UCLA;
1346:, UCLA;
1342:, UCLA;
777:Meetings
483:Kit Fine
373:Sam Buss
347:, Gödel
153:) is an
66:Research
1912:above.
130:Website
70:Inquiry
62:Purpose
1283:Awards
257:
230:
216:
202:
1940:4 May
1543:and
1453:2023
806:Name
769:1990
757:1991
745:1992
733:1993
721:1994
705:1995
693:1996
681:1997
284:Books
183:books
2202:2019
2176:2019
2150:2019
2124:2019
2098:2019
2072:2024
2046:2024
2020:2024
1994:2024
1968:2019
1942:2023
1883:2022
1871:2019
1856:2016
1845:2013
1837:2010
1828:and
1818:2007
1810:Year
1783:2023
1775:2022
1767:2021
1759:2020
1751:2019
1743:2018
1735:2017
1727:2016
1719:and
1713:2015
1705:2014
1694:2013
1686:2012
1675:2011
1665:2010
1657:and
1651:2009
1643:and
1637:2008
1629:and
1623:2007
1613:2006
1603:2005
1595:and
1589:2004
1579:2003
1571:2002
1561:2001
1551:2000
1537:1999
1529:1998
1518:1997
1508:1996
1498:1995
1488:1994
1480:Year
1434:2018
1407:2013
1396:2008
1381:2003
1370:1998
1355:1993
1336:1988
1325:1983
1314:1978
1306:Year
299:The
255:ISSN
228:ISSN
214:ISSN
200:ISSN
185:and
161:and
145:The
137:.org
52:Type
47:1936
151:ASL
39:ASL
2245::
2062:.
2036:.
2010:.
1984:.
1905:.
1801:.
1300:.
634:,
606:,
580:,
558:)
507:,
269:.
253:.
173:.
68:,
2204:.
2178:.
2152:.
2126:.
2100:.
2074:.
2048:.
2022:.
1996:.
1970:.
1944:.
449:p
446:x
443:e
440:,
437:n
434:a
429:R
261:.
234:.
220:.
206:.
149:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.