×

Found 81 Documents (Results 1–81)

100
MathJax

The weak ultimate L conjecture. (English) Zbl 1358.03079

Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 309-329 (2014).
PDF BibTeX XML Cite

Strong axioms of infinity and the search for \(V\). (English) Zbl 1252.03001

Bhatia, Rajendra (ed.) et al., Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19–27, 2010. Vol. I: Plenary lectures and ceremonies. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency (ISBN 978-981-4324-30-4/set; 978-81-85931-08-3/hbk; 978-981-4324-31-1/hbk; 978-981-4324-35-9/ebook). 504-528 (2011).
PDF BibTeX XML Cite
Full Text: Link

The axiom of determinacy, forcing axioms, and the nonstationary ideal. 2nd revised ed. (English) Zbl 1203.03059

de Gruyter Series in Logic and Its Application 1. Berlin: Walter de Gruyter (ISBN 978-3-11-019702-0/hbk; 978-3-11-021317-1/ebook). vi, 852 p. (2010).
PDF BibTeX XML Cite

Completeness and iteration in modern set theory. (English) Zbl 1069.03044

Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 85-92 (2004).
MSC:  03E45 03E55 03E65
PDF BibTeX XML Cite

On stationary reflection principles. (English) Zbl 0999.03049

Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 83-106 (1998).
Reviewer: P.Matet (Caen)
MSC:  03E65 03E55 03E35
PDF BibTeX XML Cite

Mathematical evidence. (English) Zbl 0936.03005

Dales, H. G. (ed.) et al., Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13-20, 1995. Oxford: Clarendon Press. Oxford Science Publications. 215-231 (1998).
Reviewer: M.Weese (Potsdam)
MSC:  03A05 03E15 03E60
PDF BibTeX XML Cite

Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions. (English) Zbl 0729.03022

Lecture Notes in Mathematics, 1476. Berlin etc.: Springer-Verlag. vii, 120 p. DM 25.00 (1991).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

Software