Publications
The university provides a database of the publications created at the KGRC since 2005. You can browse the database online here.
Showing entries 201 - 220 out of 529
2017
Aschenbrenner M, van den Dries L, van der Hoeven J. Asymptotic Differential Algebra and Model Theory of Transseries. Princeton University Press, 2017. 880 p. (Annals of Mathematics Studies, Vol. 195). Epub 2017 Jun 6. doi: 10.1515/9781400885411
Beckmann A, Buss S, Friedman SD, Müller M, Thapen N. Cobham recursive set functions and weak set theories. In Friedman SD, Ragavan D, Yang Y, editors, Sets and Computations. Vol. 33. Singapore: World Scientific Publishing. 2017. p. 55-116. (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Vol. 33). doi: 10.1142/9789813223523_0005
Aschenbrenner M, van den Dries L, van der Hoeven J. Dimension in the realm of transseries. In Ordered algebraic structures and related topics: International Conference on Ordered Algebraic Structures and Related Topics, October 12–16, 2015, Centre international de rencontres mathématiques (CIRM), Luminy, France. American Mathematical Society. 2017. p. 23-39. (Contemporary Mathematics (CONM), Vol. 697). doi: 10.1090/conm/697/14044
Fischer V. From creature forcing to boolean ultrapowers. International Mathematical News. 2017;236:1-11.
Wong TL. Models of the Weak König Lemma. Annals of the Japanese Association for Philosophy of Science. 2017;25:25-34. doi: 10.4288/jafpos.25.0_25
Medini A, Repovs D, Zdomskyy L. Non-meager free sets and independent families. Proceedings of the American Mathematical Society. 2017;145(9):4061-4073. doi: 10.1090/proc/13513
Schrittesser D. On Horowitz and Shelah's maximal eventually different family. RIMS-kōkyūroku. 2017;2042:99-105.
Medini A, Zdomskyy L. Productively Lindelöf spaces of countable tightness. Houston Journal of Mathematics. 2017;43 (4):1263-1272.
Carroy R, Miller B. Sigma-continuity with closed witnesses. Fundamenta Mathematicae. 2017;239:29-42. doi: 10.4064/fm317-12-2016
2016
Gabriyelyan S, Grebík J, Kakol J, Zdomskyy L. The Ascoli property for function spaces. Topology and Its Applications: a journal devoted to general, geometric, set-theoretic and algebraic topology. 2016 Dec 1;214:35-50. doi: 10.1016/j.topol.2016.08.026
Friedman SD, Li W, Wong TL. Fragments of Kripke–Platek set theory and the metamathematics of α-recursion theory. Archive for Mathematical Logic. 2016 Nov;55(7-8):899-924. doi: 10.1007/s00153-016-0501-z
Friedman SD. Evidence for set-theoretic truth and the Hyperuniverse Programme. IFCoLog Journal of Logics and Their Applications. 2016 Oct;3(4):517-555.
Barton N. Richness and Reflection. Philosophia Mathematica: philosophy of mathematics, its learning, and its application. 2016 Oct;24(3):330-359 . doi: 10.1093/philmat/nkv036
Gallego LD, Steger MG, Polyansky A, Schubert T, Zagrovic B, Zheng N et al. Structural mechanism for the recognition and ubiquitination of a single nucleosome residue by Rad6-Bre1. Proceedings of the National Academy of Sciences of the United States of America (PNAS). 2016 Sept 20;113(38):10553-10558. doi: 10.1073/pnas.1606863113
Friedman SD, Honzik R. DEFINABILITY OF SATISFACTION IN OUTER MODELS. Journal of Symbolic Logic. 2016 Sept;81(3):1047-1068. Epub 2016 Sept 14. doi: 10.1017/jsl.2016.33
Bella A, Tökgöz S, Zdomskyy L. Menger remainders of topological groups. Archive for Mathematical Logic. 2016 Aug;55(5-6):767-784. doi: 10.1007/s00153-016-0493-8
Aschenbrenner M, Dolich A, Haskell D, Macpherson D, Starchenko S. Vapnik-Chervonenkis density in some theories without the independence property, I. Transactions of the American Mathematical Society. 2016 Aug;368(8):5889-5949. Epub 2015 Dec 22. doi: 10.1090/tran/6659
Friedman SD, Ternullo C. The Search for New Axioms in the Hyperuniverse Programme. In Boccuni F, Sereni A, editors, Objectivity, Realism, and Proof. Cham: Springer. 2016. p. 165-188. (Boston Studies in the Philosophy and History of Science, Vol. 318). doi: 10.1007/978-3-319-31644-4_10
Dimonte V, Wu L. A general tool for consistency results related to I1. European Journal of Mathematics. 2016 Jun;2(2):474-492. doi: 10.1007/s40879-015-0092-y
Friedman SD. Isomorphism on HYP. Journal of Symbolic Logic. 2016 Jun;81(2):395-399. doi: 10.1017/jsl.2014.70
Showing entries 201 - 220 out of 529