Publications
The university provides a database of the publications created at the KGRC since 2005. You can browse the database online here.
Showing entries 281 - 300 out of 520
2014
Zdomskyy L, Repovs D. Productively Lindelöf spaces and the covering property of Hurewicz. Topology and Its Applications: a journal devoted to general, geometric, set-theoretic and algebraic topology. 2014 Jun 1;169:16-20. doi: 10.1016/j.topol.2014.02.028
Li W, Chong CT, Yang Y. Nonstandard models in recursion theory and reverse mathematics. Bulletin of Symbolic Logic. 2014 Jun;20(2):170-200. doi: 10.1017/bsl.2014.14
Chen Y, Flum J, Müller M. Hard instances of algorithms and proof systems. ACM Transactions on Computation Theory. 2014 May;6(2):7. doi: 10.1145/2601336
Friedman S-D, Dimonte V. Rank-into-rank hypotheses and the failure of GCH. Archive for Mathematical Logic. 2014 May;53(3-4):351-366. doi: 10.1007/s00153-014-0369-8
Miller A, Tsaban B, Zdomskyy L. Selective covering properties of product spaces. Annals of Pure and Applied Logic. 2014 May;165(5):1034-1057. doi: 10.1016/j.apal.2014.01.001
Friedman S-D, Schrittesser D, Schindler R, Geschke S, (ed.), Loewe B, (ed.), Schlicht P, (ed.). Coding over core models. Tributes. 2014 Apr 17;23(Koepke-Welch Festschrift).
Greenberg N, Turetsky D. Strong Jump Traceability and Demuth Randomness. Proceedings of the London Mathematical Society. 2014 Mar;108(3):738-779. doi: 10.1112/plms/pdt040
Fontanella L. The strong tree property at successors of singular cardinals. Journal of Symbolic Logic. 2014 Mar;79(1):193-207. doi: 10.1017/jsl.2013.3
Todorcevic S, Torres Perez VMF. Rado's Conjecture and Ascent Paths of Square Sequences. Mathematical Logic Quarterly. 2014 Feb 8;60(1-2):84-90. doi: 10.1002/malq.201300006
Aschenbrenner M, Goldbring IM. Transseries and Todorov-Vernaeve's asymptotic fields. Archive for Mathematical Logic. 2014 Feb;53(1-2):65–87 . doi: 10.1007/s00153-013-0356-5
Tsaban B, Zdomskyy L. Additivity of the Gerlits-Nagy property and concentrated sets. Proceedings of the American Mathematical Society. 2014;142 (8):2881-2890. doi: 10.1090/S0002-9939-2014-12012-0
Conley C, Miller B. An antibasis result for graphs of infinite Borel chromatic number. Proceedings of the American Mathematical Society. 2014;142(6):2123-2133. doi: 10.1090/S0002-9939-2014-11918-6
Kaplan I, Miller BD. An embedding theorem of E_0 with model theoretic applications. Journal of Mathematical Logic. 2014;14(2):1450010-22. 1450010. doi: 10.1142/S021906131450010X
Goldstern M, Kellner J, Shelah S, Wohofsky W. Borel conjecture and dual Borel conjecture. Transactions of the American Mathematical Society. 2014;366(1):245-307. doi: 10.1090/S0002-9947-2013-05783-2
Müller M, Chen Y. Bounded variable logic, parameterized logarithmic space and Savitch's theorem. In Proceedings of 39th Mathematical Foundations of Computer Science (MFCS). Springer. 2014
Fokina E, Harizanov V, Melnikov A. Computable model theory. In Turing’s Legacy: ASL Lecture Notes in Logic. 2014. p. 124-194
Friedman S-D. Consistency of the Silver dichotomy in generalised Baire space. Fundamenta Mathematicae. 2014;227(2):179-186. doi: 10.4064/fm227-2-4
Repovs D, Zdomskyy L, Zhang S. Countable dense homogeneous filters and the Menger covering property. Fundamenta Mathematicae. 2014;224(3):233-240. doi: 10.4064/fm224-3-3
Honzik R, Friedman S-D, Cody B. Easton functions and supercompactness. Fundamenta Mathematicae. 2014;226(3):279-296. doi: 10.4064/fm226-3-6
Kulikov V, Friedman S-D. Failures of the Silver Dichotomy in the Generalised Baire Space. Journal of Symbolic Logic. 2014.
Showing entries 281 - 300 out of 520