2018 ◽
Vol 24
(3)
◽
pp. 336-339
Maryanthe Malliaris and Saharon Shelah,
Cofinality spectrum problems in model theory, set theory and general topology
. Journal of the American Mathematical Society, vol. 29 (2016), pp. 237–297. -
Maryanthe Malliaris and Saharon Shelah,
Existence of optimal ultrafilters and the fundamental complexity of simple theories
. Advances in Mathematics, vol. 290 (2016), pp. 614–681. -
Maryanthe Malliaris and Saharon Shelah,
Keisler’s order has infinitely many classes
. Israel Journal of Mathematics, to appear, https://math.uchicago.edu/∼mem/.
2017 ◽
Vol 23
(1)
◽
pp. 117-121
S. S. Goncharov. Autostability and computable families of constructivizations. Algebra and Logic, vol. 14 (1975), no. 6, pp. 392–409. -
S. S. Goncharov. The quantity of nonautoequivalent constructivizations. Algebra and Logic, vol. 16 (1977), no. 3, pp. 169–185. -
S. S. Goncharov and V. D. Dzgoev. Autostability of models. Algebra and Logic, vol. 19 (1980), no. 1, pp. 28–37. -
J. B. Remmel. Recursively categorical linear orderings. Proceedings of the American Mathematical Society, vol. 83 (1981), no. 2, pp. 387–391. -
Terrence Millar. Recursive categoricity and persistence. The Journal of Symbolic Logic, vol. 51 (1986), no. 2, pp. 430–434. -
Peter Cholak, Segey Goncharov, Bakhadyr Khoussainov and Richard A. Shore. Computably categorical structures and expansions by constants. The Journal of Symbolic Logic, vol. 64 (1999), no. 1, pp. 13–137. -
Peter Cholak, Richard A. Shore and Reed Solomon. A computably stable structure with no Scott family of finitary formulas. Archive for Mathematical Logic, vol. 45 (2006), no. 5, pp. 519–538. -
Chris Ash, Julia Knight, Mark Manasse and Theodore Slaman. Generic copies of countable structures. Annals of Pure and Applied Logic, vol. 42 (1989), no. 3, pp. 195–205. -
John Chisholm. Effective model theory vs. recursive model theory. The Journal of Symbolic Logic, vol. 55 (1990), no. 3, pp. 1168–1191.
2012 ◽
Vol 18
(1)
◽
pp. 131-134
1993 ◽
Vol 58
(1)
◽
pp. 355-357
1962 ◽
Vol 27
(1)
◽
pp. 96-96
2002 ◽
Vol 461
◽
pp. 408-410
2005 ◽
Vol 36
(4)
◽
pp. 5-8
2021 ◽
Vol 126
(5)
◽
pp. 3853-3870
Lawrence Smolinsky
◽
Daniel S. Sage
◽
Aaron J. Lercher
◽
Aaron Cao
S. C. Kleene. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 1–26. - S. C. Kleene. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 27–66. - S. C. Kleene. Bibliography. Two papers on the predicate calculus, by S. C. Kleene (Memoirs of the American Mathematical Society, no. 10), lithographed, Providence1952, pp. 67–68. - William Craig. On axiomatizability within a system. The journal of symbolic logic, vol. 18 (1953), pp. 30–32.
1954 ◽
Vol 19
(1)
◽
pp. 62-63
1922 ◽
Vol 55
(1431)
◽
pp. 600-602
1906 ◽
Vol 12
(5)
◽
pp. 223-235
Close
Export Citation Format
Close
Share Document
Close
Model theory, Keisler measures, and groups - Ehud Hrushovski, Ya’acov Peterzil and Anand Pillay, Groups, measures, and the NIP. Journal of the American Mathematical Society, vol. 21 (2008), no. 2, pp. 563–596. - Ehud Hrushovski and Anand Pillay, On NIP and invariant measures. Journal of the European Mathematical Society, vol.13 (2011), no. 4, pp. 1005–1061. - Ehud Hrushovski, Anand Pillay, and Pierre Simon, Generically stable and smooth measures in NIP theories. Transactions of the American Mathematical Society, vol. 365 (2013), no. 5, pp. 2341–2366.