Publications
The university provides a database of the publications created at the KGRC since 2005. You can browse the database online here.
Showing entries 321 - 340 out of 520
2013
Camerlo R, Marcone A, Motto Ros L. Invariantly universal analytic quasi-orders. Transactions of the American Mathematical Society. 2013;365(4):1901-1931.
Bienvenu L, Greenberg N, Kucera A, Miller J, Nies A, Turetsky D. Joining Non-Low C.E. Sets with Diagonally Non-Computable Functions. Journal of Logic and Computation. 2013;23(6):1183-1194. doi: 10.1093/logcom/ext039
Friedman SD, Golshani M. Killing GCH everywhere by a cofinality-preserving forcing notion over a model of GCH. Fundamenta Mathematicae. 2013;223:171-193. doi: 10.4064/fm223-2-3
Atserias A, Müller M, Oliva S. Lower bounds for DNF-refutations of a relativized weak pigeonhole principle. In Proceedings 28th IEEE Conference on Computational Complexity. IEEE Computer Society. 2013. p. 109-120 doi: 10.1109/CCC.2013.20
Khomskii Y, Brendle JD. Mad families constructed from perfect almost disjoint families. Journal of Symbolic Logic. 2013;78(4):1164-1180.
Banakh T, Chervak O, Zdomskyy L. On character of points in the Higson corona of a metric space. Commentationes Mathematicae Universitatis Carolinae. 2013;54(2):159-178.
Friedman SD, Hyttinen T, Koerwien M. On the non-absoluteness of model existence in uncountable cardinals for $L_{\omega_1,\omega}$. Notre Dame Journal of Formal Logic. 2013;54(2):137-151. doi: 10.1215/00294527-1960443
Duanmu H, Tall F, Zdomskyy L. Productively Lindelöf and Indestructibly Lindelöf Spaces. Topology and Its Applications: a journal devoted to general, geometric, set-theoretic and algebraic topology. 2013;160(18):2443–2453. doi: 10.1016/j.topol.2013.07.038
Khomskii Y. Projective Hausdorff Gaps. Archive for Mathematical Logic. 2013. Epub 2013 Sept 4. doi: 10.1007/s00153-013-0355-6
Müller M, Szeider S. Revisiting space in proof complexity: treewidth and pathwidth. In Proceedings of the 38th Mathematical Foundations of Computer Science (MFCS), Lecture Notes in Computer Science 8087. 2013. p. 704-716
Friedman SD, Rathjen M, Weiermann A. Slow consistency. Annals of Pure and Applied Logic. 2013;164:382-393.
Conley C, Kechris A, Miller B. Stationary probability measures and topological realizations. Israel Journal of Mathematics. 2013;198(1):333-345. doi: 10.1007/s11856-013-0025-8
Brooke-Taylor A, Friedman SD. Subcompact cardinals, square and stationary reflection. Israel Journal of Mathematics. 2013;197(1):453-473.
Müller M, Chen H. The fine classification of conjunctive queries and parameterized logarithmic space complexity. In Proceedings of the 32th ACM Symposium on Principles of Database Systems (PODS). Association for Computing Machinery (ACM). 2013. p. 309-320
Arrigoni T, Friedman SD. The Hyperuniverse Program. Bulletin of Symbolic Logic. 2013;19(1):77-96. doi: 10.2178/bsl.1901030
Friedman SD, Halilovic A. The tree property at $\kappa^{++}$ with $\kappa$ measurable and $2^\kappa$ large. Fundamenta Mathematicae. 2013;223:55-64.
Aschenbrenner M, van den Dries L, van der Hoeven J. Toward a model theory for transseries. Notre Dame Journal of Formal Logic. 2013;54(3-4): 279-310. doi: 10.1215/00294527-2143898
Aschenbrenner M, Dolich A, Haskell D, Macpherson D, Starchenko S. Vapnik-Chervonenkis density in some theories without the independence property, II. Notre Dame Journal of Formal Logic. 2013;54(3-4):311-363. doi: 10.1215/00294527-2143862
Friedman SD, Golshani M. Violating GCH everywhere with a single real. Journal of Symbolic Logic. 2013;78:803-823.
Aschenbrenner M, Friedl S. 3-manifold groups are virtually residually $p$. Memoirs of the American Mathematical Society. 2013;225(1058). doi: 10.1090/S0065-9266-2013-00682-X
Showing entries 321 - 340 out of 520