Publications

The university provides a database of the publications created at the KGRC since 2005. You can browse the database online here.

Showing entries 501 - 520 out of 520

2006

Mildenberger H, Shelah S, Tsaban B. Covering the Baire space by families which are not finitely dominating. Annals of Pure and Applied Logic. 2006;(140 / 1-3):60-71.
Friedman S-D. Forcing with finite conditions. In Bagaria J, Todorcevic S, editors, Set Theory. Birkhäuser. 2006. p. 285-295. (Trends in Mathematics).
Mildenberger H. Forcing with $F_\sigma$- and with summable filters. Quaderni di Matematica. 2006;(17):183-194.
Dzamonja M, Friedman S-D, Thompson K. Global complexity results. Quaderni di Matematica. 2006;17:25-45.
Friedman S-D, Koepke P. Hyperfine structure theory and gap 1 morasses. Journal of Symbolic Logic. 2006;71(2):480-490.
Friedman S-D. Internal consistency and the inner model hypothesis. Bulletin of Symbolic Logic. 2006;(12 / 4):1-28.
Friedman S-D. Kommentar zu Gödels 1931 Monatshefte Artikel über die Unvollständigkeit. Monatshefte für Mathematik. 2006.
Kellner J, Goldstern M. New reals: Can live with them, can live without them. Mathematical Logic Quarterly. 2006;52(2):115-124. doi: 10.1002/malq%2E200510018
Kellner J. Preserving Non-Null with Suslin+ forcing. Archive for Mathematical Logic. 2006;45(6):649-664. doi: 10.1007/s00153-006-0008-0
Friedman S-D. Stable axioms of set theory. In Bagaria J, Todorcevic S, editors, Set Theory. Birkhäuser. 2006. p. 275-283. (Trends in Mathematics).
Viale M. The proper forcing axiom and the singular cardinal hypothesis. Journal of Symbolic Logic. 2006;71(2):473-479.
Thompson K. Universality for orders and graphs which omit large substructures. Notre Dame Journal of Formal Logic. 2006;(47 / 2):233-248.

2005

Aspero D. Bounded forcing axioms and the size of the continuum. In Cori R, editor, Logic Colloquium 2000: proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000. Wellesley, Mass.: A.K. Peters. 2005. p. 211-227. (Lecture Notes in Logic, Vol. 19).
Friedman S-D. Definability degrees. MLQ Math. Mathematical Logic Quarterly. 2005;(51 / 5):448-449.
Friedman S-D. Genericity and large cardinals. Journal of Mathematical Logic. 2005;5(2):149-166.
Mildenberger H. On the groupwise density number for filters. Acta Universitatis Carolinae / Mathematica et Physica. 2005;(46 / 2):55-63.
Kellner J, Shelah S. Preserving preservation. Journal of Symbolic Logic. 2005;70(3):914-945. doi: 10.2178/jsl/1122038920
Walczak-Typke A. The first-order structure of weakly Dedekind-finite sets. Journal of Symbolic Logic. 2005;(70 / 4):1161-1170.

2004

Kellner J, Ploß J. F-Products and Nonstandard Hulls for Strongly Continuous One-parameter Semigroups of Linear Operators. Mathematical Logic Quarterly. 2004;50(1):18-28.
Miller B. Topics in orbit equivalence. Springer, 2004. (Lecture Notes in Mathematics, Vol. 1852).
Showing entries 501 - 520 out of 520