From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

On the consistency strength of the inner model hypothesis.

S. Friedman, P. Welch, и W. Woodin. J. Symb. Log., 73 (2): 391-400 (2008)

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.

On unfoldable cardinals, omega-closed cardinals, and the beginning of the inner model hierarchy.P. Welch. Arch. Math. Log., 43 (4): 443-458 (2004)On successors of Jónsson cardinals.J. Vickers, и P. Welch. Arch. Math. Log., 39 (6): 465-473 (2000)Determinacy in strong cardinal models.P. Welch. J. Symb. Log., 76 (2): 719-728 (2011)On revision operators.P. Welch. J. Symb. Log., 68 (2): 689-711 (2003)Revision Revisited.L. Horsten, G. Leigh, H. Leitgeb, и P. Welch. Rev. Symb. Log., 5 (4): 642-664 (2012)Some observations on Truth Hierarchies.P. Welch. Rev. Symb. Log., 7 (1): 1-30 (2014)Relativistic Computers and Transfinite Computation.P. Welch. UC, том 5715 из Lecture Notes in Computer Science, стр. 37-41. Springer, (2009)A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0.P. Koepke, и P. Welch. CiE, том 6735 из Lecture Notes in Computer Science, стр. 152-159. Springer, (2011)Turing Unbound: Transfinite Computation.P. Welch. CiE, том 4497 из Lecture Notes in Computer Science, стр. 768-780. Springer, (2007)Minimality in the \triangle13-Degrees.P. Welch. J. Symb. Log., 52 (4): 908-915 (1987)