Author of the publication

Transfinite machine models.

. Turing's Legacy, volume 42 of Lecture Notes in Logic, Cambridge University Press, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The Ramified analytical Hierarchy using Extended Logics.. Bull. Symb. Log., 24 (3): 306-318 (2018)Post's and other problems of supertasks of higher type.. FotFS, volume 23 of Trends in Logic, page 223-237. Springer, (2001)Some descriptive set theory and core models.. Ann. Pure Appl. Log., 39 (3): 273-290 (1988)Comparing Incomparable Kleene Degrees.. J. Symb. Log., 50 (1): 55-58 (1985)Minimality in the \triangle13-Degrees.. J. Symb. Log., 52 (4): 908-915 (1987)Gδσ GAMES AND INDUCTION ON REALS., and . J. Symb. Log., 86 (4): 1676-1690 (2021)On successors of Jónsson cardinals., and . Arch. Math. Log., 39 (6): 465-473 (2000)On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy.. Arch. Math. Log., 43 (4): 443-458 (2004)Rethinking Revision.. J. Philosophical Logic, 48 (1): 137-154 (2019)Determinacy in strong cardinal models.. J. Symb. Log., 76 (2): 719-728 (2011)