Publications

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

Showing entries 441 - 460 out of 529

2009

Welch P. Characteristics of discrete transfinite time Turing machine models: halting times, stabilization times, and normal form theorems. Theoretical Computer Science. 2009;410:426-442.
Mildenberger H. Creatures on $\omega_1$ and weak diamonds. Journal of Symbolic Logic. 2009;(74 / 1):1-16.
Kellner J, Shelah S. Decisive creatures and large continuum. Journal of Symbolic Logic. 2009;74(1):73-104. doi: 10.2178/jsl/1231082303
Törnquist AD, Weiss W. Definable Davies' theorem. Fundamenta Mathematicae. 2009;205(1):77-89.
Miller B. Ends of graphed equivalence relations, I. Israel Journal of Mathematics. 2009;169:375-392.
Greg H, Miller B. Ends of graphed equivalence relations, II. Israel Journal of Mathematics. 2009;169:393-415.
Fokina E, Friedman SD. Equivalence relations on classes of computable structures. Lecture Notes in Computer Science. 2009;5635:198-207.
Friedman SD. Forcing when there are large cardinals: an introduction, Acta Universitatis Carolinae / Mathematica et Physica. 2009;50(2):23-32.
Welch P. Games for Truth. Bulletin of Symbolic Logic. 2009;15(4):410-427.
Friedman SD. Generalisations of Gödel's universe of constructible sets. Lecture Notes in Logic. 2009;33:173-180.
Fokina E, Chisholm J, Knight J, Goncharov S. Intrinsic bounds on complexity and definability at limit levels. Journal of Symbolic Logic. 2009;74(3):1047-1060.
Friedman SD, Brooke-Taylor A. Large cardinals and gap-1 morasses. Annals of Pure and Applied Logic. 2009;(159 / 1-2):71-99.
Friedman SD, Asperó D. Large cardinals and locally defined well-orders of the universe. Annals of Pure and Applied Logic. 2009;(157 / 1):1-15.
Zdomskyy L, Mildenberger H. L-spaces and the P-ideal dichotomy. Acta Mathematica Hungarica. 2009;125:85-97.
Welch P, Halbach V. Necessities and Necessary Truths: A Prolegomenon to the Use of Modal Logic in the Analysis of Intensional Notions. Mind. 2009;118(469):71-100.
Zdomskyy L, Tsaban B. On the Pytkeev property in spaces of continuous functions II. Houston Journal of Mathematics. 2009;(35 / 2):563-571.
Welch P. Relativistic Computers and Transfinite Computation. Lecture Notes in Computer Science. 2009.
Walczak-Typke A, Typke R. Some Vantage Indexing Approaches for Rhythmic and Melodic Search. Musicae Scientiae. 2009;(4 b):201-234.
Mildenberger H, Shelah S. Specializing Aronszajn trees and preserving some weak diamonds. Journal of Applied Analysis (JAA). 2009;(15 / 1):47-78.
Mildenberger H, Shelah S. The near coherence of filters principle does not imply the filter dichotomy principle. Transactions of the American Mathematical Society. 2009;(361 / 5):2305-2317.
Showing entries 441 - 460 out of 529