Publications
The university provides a database of the publications created at the KGRC since 2005. You can browse the database online here.
Showing entries 341 - 360 out of 520
2012
Arrigoni T, Friedman S-D. Foundational implications of the Inner Model Hypothesis. Annals of Pure and Applied Logic. 2012 Oct;163(10):1360-1366. doi: 10.1016/j.apal.2012.01.009
Brendle J, Montoya Amaya DC. A base-matrix lemma for sets of rationals modulo nowhere dense sets. Archive for Mathematical Logic. 2012 May;51(3):305. doi: 10.1007/s00153-012-0274-y
Friedman S-D, Honzík R. A definable failure of the singular cardinal hypothesis. Israel Journal of Mathematics. 2012;192(2):719–762. doi: 10.1007/s11856-012-0044-x
Dimonte V. A partially non-proper ordinal beyond L(V_{\lambda+1}). Annals of Pure and Applied Logic. 2012;163(9):1309-1321.
Müller M, Chen H. An algebraic preservation theorem for Aleph_0 categorical quantified constraint satisfaction. In Proceedings of the 27th ACM/IEEE Symposium Logic in Computer Science (LICS). IEEE Computer Society. 2012. p. 215-224
Todorcevic S, Torres Perez VMF. Conjectures of Rado and Chang and special Aronszajn trees. Mathematical Logic Quarterly. 2012;58:342-347.
Kellner J, Shelah S. Creature forcing and large continuum: the joy of halving. Archive for Mathematical Logic. 2012;51(1-2):49-70.
Friedman S-D, Honzik R. Eastonʼs theorem and large cardinals from the optimal hypothesis. Annals of Pure and Applied Logic. 2012;63(2):1738-1747. doi: 10.1016/j.apal.2012.04.002
Fokina E, Friedman S-D, Nies A. Equivalence relations that are \Sigma^0_3 complete for computable reducibility. Lecture Notes in Computer Science. 2012;7456:26-33.
Chen Y, Flum J, Müller M. Hard instances of algorithms and proof systems. In Proceedings of the 8th Computability in Europe (CiE), Lecture Notes in Computer Science 7318, 2012.. Springer. 2012. p. 118-128
Tsaban B, Zdomskyy L. Hereditarily Hurewicz spaces and Arhangel'skii sheaf amalgamations. Journal of the European Mathematical Society. 2012;12(2):353-372.
Miller B. Incomparable treeable equivalence relations. Journal of Mathematical Logic. 2012;12(1):121-162. doi: 10.1142/S0219061312500043
Friedman S-D, Golshani Gharyeali M. Independence of higher Kurepa hypotheses. Archive for Mathematical Logic. 2012;51(5-6):621-633.
Fokina E, Friedman S-D, Harizanov V, Knight J, McCoy C, Montalban A. Isomorphism relations on computable structures. Journal of Symbolic Logic. 2012;77(1):122-132.
Aschenbrenner M. Logarithms of iteration matrices, and proof of a conjecture by
Shadrin and Zvonkine. Journal of Combinatorial Theory, Series A. 2012;119(§):627-654. doi: 10.1016/j.jcta.2011.11.008
Friedman S-D, Hyttinen T. On Borel Equivalence Relations In Generalized Baire Space. Archive for Mathematical Logic. 2012;51(3-4):299-304. doi: 10.1007/s00153-011-0266-3
Fokina E, Friedman S-D. On Sigma 1 1 equivalence relations over the natural numbers. Mathematical Logic Quarterly. 2012;58(1-2):113-124.
Motto Ros L. On the complexity of the relations of isomorphism and bi-embeddability. Proceedings of the American Mathematical Society. 2012;140:309-323.
Repovs D, Zdomskyy L. On the Menger covering property and D-Spaces. Proceedings of the American Mathematical Society. 2012;140(3):1069-1074.
Showing entries 341 - 360 out of 520