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