Zobrazeno 1 - 10
of 700
pro vyhledávání: '"W Hugh Woodin"'
Autor:
Dickmann, M.
Publikováno v:
The Bulletin of Symbolic Logic, 2000 Jun 01. 6(2), 218-221.
Externí odkaz:
https://www.jstor.org/stable/421210
Autor:
Schimmerling, Ernest
Publikováno v:
The Bulletin of Symbolic Logic, 2016 Dec 01. 22(4), 521-524.
Externí odkaz:
https://www.jstor.org/stable/44083315
Autor:
Larson, Paul B.
Publikováno v:
The Bulletin of Symbolic Logic, 2002 Mar 01. 8(1), 91-93.
Externí odkaz:
https://www.jstor.org/stable/2687737
Autor:
Ernest Schimmerling
Publikováno v:
The Bulletin of Symbolic Logic. 22:521-524
Autor:
Blass, Andreas
Publikováno v:
The Journal of Symbolic Logic, 1992 Mar 01. 57(1), 259-261.
Externí odkaz:
https://www.jstor.org/stable/2275193
Autor:
Natasha Dobrinen
Publikováno v:
The Bulletin of Symbolic Logic. 20:94-97
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