Zobrazeno 1 - 10
of 137
pro vyhledávání: '"W Hugh Woodin"'
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and app
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open
This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logi
Autor:
Michael Heller, W. Hugh Woodin
This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human int
Autor:
Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang, Sebastian A Terwijn, Guohua Wu
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the l
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It cons
Publikováno v:
Oberwolfach Reports. 19:79-106
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::527437505fcfedafa6f33b783f2e2c0f
https://doi.org/10.4171/owr/2022/2
https://doi.org/10.4171/owr/2022/2
Autor:
W Hugh Woodin
Publikováno v:
New Zealand Journal of Mathematics. 52:845-863
The relationship between the Axiom of Determinacy (AD) and the Axiom of Turing Determinacy has been open for over 50 years, and the attempts to understand that relationship has had a profound influence on Set Theory in a variety of ways. The prevaili
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3f95bc6f023f90e9d39cd867cd73fe9d
https://doi.org/10.53733/140
https://doi.org/10.53733/140
Autor:
W. Hugh Woodin
The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research mathematicians, and may also serve as a guide for lectures and for seminars a
Publikováno v:
The Bulletin of Symbolic Logic. 25:283-318
The HOD Dichotomy Theorem states that if there is an extendible cardinal, δ, then either HOD is “close” to V (in the sense that it correctly computes successors of singular cardinals greater than δ) or HOD is “far” from V (in the sense that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af528d3046f5b250e494b10b5b02b155
https://doi.org/10.1017/bsl.2019.28
https://doi.org/10.1017/bsl.2019.28