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 528

2017

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
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 $\alpha$-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. doi: 10.1007/978-3-319-62935-3_4
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
Fokina E, Khoussainov B, Semukhin P, Turetsky D. Linear Orders Realized by C.E. Equivalence Relations. Journal of Symbolic Logic. 2016 Jun;81(2):463-482. Epub 2016 May 3. doi: 10.1017/jsl.2015.11
Friedman SD, Koerwien M, Michael Chris L, Baldwin JT. Three red herrings around Vaught’s conjecture. Transactions of the American Mathematical Society. 2016 May;368(5):3673-3694. doi: 10.1090/tran/6572
Showing entries 201 - 220 out of 528