Publications

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


2011


Friedman S-D. Equivalence relations in set theory, computability theory, model theory and com- plexity theory. In Foundational adventures. Essays in honor of Harvey M. Friedman. London: College Publications. 2011

Friedman S-D. Fine Structure and class Forcing. 2 ed. De Gruyter, 2011.

Friedman S-D, Welch P. Hypermachines. Journal of Symbolic Logic. 2011;76(2):620-636.

Kellner J, Shelah S. More on the pressing down game. Archive for Mathematical Logic. 2011;50(3):477-501.

Törnquist AD. On the pointwise implementation of near-actions. Transactions of the American Mathematical Society. 2011;363(9):4929-4944. doi: 10.1090/S0002-9947-2011-05296-7

Friedman S-D, Hyttinen T, Walczak-Typke A. Potential isomorphism of elementary substructures of a strictly stable homogeneous model. Journal of Symbolic Logic. 2011;76(3):978-1004. doi: 10.2178/jsl/1309952530

Kellner J, Shelah S. Saccharinity. Journal of Symbolic Logic. 2011;74(4):1153-1183.

Buss S, Chen Y, Flum J, Friedman S-D, Müller M. Strong isomorphism reductions in complexity theory. Journal of Symbolic Logic. 2011;76(4):1381-1402.

Friedman S-D, Halilovic A. The tree property at Aleph Omega + 2. Journal of Symbolic Logic. 2011;76(2):477-490.