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 522
2013
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
2012
Arrigoni T, Friedman SD. 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 SD, 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 SD, 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 SD, 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 SD, Golshani Gharyeali M. Independence of higher Kurepa hypotheses. Archive for Mathematical Logic. 2012;51(5-6):621-633.
Fokina E, Friedman SD, 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 SD, 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 SD. On Sigma 1 1 equivalence relations over the natural numbers. Mathematical Logic Quarterly. 2012;58(1-2):113-124.
Showing entries 341 - 360 out of 522