Publications
The university provides a database of the publications created at the KGRC since 2005. You can browse the database online here.
Showing entries 301 - 320 out of 529
2014
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 SD. 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 SD, Cody B. Easton functions and supercompactness. Fundamenta Mathematicae. 2014;226(3):279-296. doi: 10.4064/fm226-3-6
Kulikov V, Friedman SD. Failures of the Silver Dichotomy in the Generalised Baire Space. Journal of Symbolic Logic. 2014.
Ternullo C, sergioli G. Fallacious Analogical Reasoning and the Metaphoric Fallacy to a Deductive Inference (MFDI). Isonomia. 2014;5:159-178.
Friedman SD, Hyttinen T, Kulikov V. Generalized Descriptive Set Theory and Classification Theory. Memoirs of the American Mathematical Society. 2014;230(1081). Epub 2013 Dec 16. doi: 10.1090/memo/1081
Turetsky D, Lempp S, Miller J, Weber R, Ng KM. Lowness for Effective Hausdorff Dimension. Journal of Mathematical Logic. 2014;14(2):1450011. doi: 10.1142/S0219061314500111
Müller M, Chen H. One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries. In Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014: Vienna, Austria — July 14 - 18, 2014. Association for Computing Machinery (ACM). 2014. 32 doi: 10.1145/2603088.2603107
Kulikov V. The Class of Purely Unrectifiable Sets in $\ell_2$ is $\Pi^1_1$-complete. Real Analysis Exchange. 2014;39(2):323-334.
Friedman SD. The completeness of isomorphism. Ontos Mathematical Logic. 2014;4:157-164. doi: 10.1515/9781614518044.157
2013
Müller M, Montoya JA. Parameterized random complexity. Theory of Computing Systems. 2013 Feb;52(2):221-270. doi: 10.1007/s00224-011-9381-0
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
Schröder M. Admissible Kleene-Kreisel-based Representations. 2013. Paper presented at Computability and Complexity in Analysis, Nancy, France.
Müller M, Chen H. An algebraic preservation theorem for Aleph_0 categorical quantified constraint satisfaction. Logical Methods in Computer Science. 2013;9(1):1-23. 15. doi: 10.2168/LMCS-9(1:15)2013
Diamondstone D, Greenberg N, Turetsky D. A Van Lambalgen Theorem for Demuth Randomness. In Proceedings of the 12th Asian Logic Colloquium. World Scientific Publishing Co. Pte. Ltd. 2013. p. 115-124
Showing entries 301 - 320 out of 529