Woodin, W. H. (W. Hugh)
Overview
Works:  19 works in 94 publications in 2 languages and 4,324 library holdings 

Genres:  Conference proceedings History 
Roles:  Editor, Author, Thesis advisor 
Classifications:  QA9.7, 510.1 
Publication Timeline
.
Most widely held works by
W. H Woodin
Infinity and truth
by Workshop on Infinity and Truth(
)
5 editions published between 2013 and 2014 in English and held by 1,065 WorldCat member libraries worldwide
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 are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the ZermeloFraenkel set theory with the axiom of choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics
5 editions published between 2013 and 2014 in English and held by 1,065 WorldCat member libraries worldwide
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 are by leading experts in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the ZermeloFraenkel set theory with the axiom of choice, and (ii) Do the discoveries in mathematics provide evidence favoring one philosophical view over others? These issues are discussed from the vantage point of recent progresses in foundational studies. The final chapter features questions proposed by the participants of the workshop that will drive foundational research. The wide range of topics covered here will be of benefit to students, researchers and mathematicians interested in the foundations of mathematics
An introduction to independence for analysts
by
H. G Dales(
)
18 editions published between 1987 and 1988 in English and Undetermined and held by 994 WorldCat member libraries worldwide
Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC
18 editions published between 1987 and 1988 in English and Undetermined and held by 994 WorldCat member libraries worldwide
Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC
Notes on forcing axioms
by
Stevo Todorcevic(
)
3 editions published in 2014 in English and held by 986 WorldCat member libraries worldwide
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 Mapping Theorem or the BanachSteinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the settheoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions
3 editions published in 2014 in English and held by 986 WorldCat member libraries worldwide
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 Mapping Theorem or the BanachSteinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the settheoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions
The axiom of determinacy, forcing axioms, and the nonstationary ideal
by
W. H Woodin(
)
27 editions published between 1999 and 2011 in English and German and held by 505 WorldCat member libraries worldwide
Main description: This is the revised edition of a wellestablished monograph on the identification of a canonical model in which the Continuum Hypothesis is false. Written by an expert in the field, it is directed to researchers and advanced graduate students in Mathematical Logic and Set Theory. The second edition is updated to take into account some of the developments in the decade since the first edition appeared, this includes a revised discussion of ?logic and related matters
27 editions published between 1999 and 2011 in English and German and held by 505 WorldCat member libraries worldwide
Main description: This is the revised edition of a wellestablished monograph on the identification of a canonical model in which the Continuum Hypothesis is false. Written by an expert in the field, it is directed to researchers and advanced graduate students in Mathematical Logic and Set Theory. The second edition is updated to take into account some of the developments in the decade since the first edition appeared, this includes a revised discussion of ?logic and related matters
Infinity : new research frontiers
by
Michael Heller(
Book
)
10 editions published in 2011 in English and Undetermined and held by 329 WorldCat member libraries worldwide
"'The infinite! No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other concept stands in greater need of clarification than that of the infinite.' David Hilbert (18621943). 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 intellectual thought. More than a dozen worldrenowned researchers in the fields of mathematics, physics, cosmology, philosophy, and theology offer a rich intellectual exchange among various current viewpoints, rather than a static picture of accepted views on infinity. The book starts with a historical examination of the transformation of infinity from a philosophical and theological study to one dominated by mathematics. It then offers technical discussions on the understanding of mathematical infinity. Following this, the book considers the perspectives of physics and cosmology: Can infinity be found in the real universe? Finally, the book returns to questions of philosophical and theological aspects of infinity"Provided by publisher
10 editions published in 2011 in English and Undetermined and held by 329 WorldCat member libraries worldwide
"'The infinite! No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other concept stands in greater need of clarification than that of the infinite.' David Hilbert (18621943). 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 intellectual thought. More than a dozen worldrenowned researchers in the fields of mathematics, physics, cosmology, philosophy, and theology offer a rich intellectual exchange among various current viewpoints, rather than a static picture of accepted views on infinity. The book starts with a historical examination of the transformation of infinity from a philosophical and theological study to one dominated by mathematics. It then offers technical discussions on the understanding of mathematical infinity. Following this, the book considers the perspectives of physics and cosmology: Can infinity be found in the real universe? Finally, the book returns to questions of philosophical and theological aspects of infinity"Provided by publisher
Superreal fields : totally ordered fields with additional structure
by
H. G Dales(
Book
)
7 editions published in 1996 in English and held by 230 WorldCat member libraries worldwide
7 editions published in 1996 in English and held by 230 WorldCat member libraries worldwide
Set theory of the continuum
by
H Judah(
Book
)
9 editions published in 1992 in English and held by 194 WorldCat member libraries worldwide
Primarily consisting of talks presented at a workshop at the MSRI during its "Logic Year" 198990, this volume is intended to reflect the whole spectrum of activities in set theory. The first section of the book comprises the invited papers surveying the state of the art in a wide range of topics of settheoretic research. The second section includes research papers on various aspects of set theory and its relation to algebra and topology. Contributors include: J. Bagaria, T. Bartoszynski, H. Becker, P. Dehornoy, Q. Feng, M. Foreman, M. Gitik, L. Harrington, S. Jackson, H. Judah, W. Just, A.S. Kechris, A. Louveau, S. MacLane, M. Magidor, A.R.D. Mathias, G. Melles, W.J. Mitchell, S. Shelah, R.A. Shore, R.I. Soare, L.J. Stanley, B. Velikovic, H. Woodin
9 editions published in 1992 in English and held by 194 WorldCat member libraries worldwide
Primarily consisting of talks presented at a workshop at the MSRI during its "Logic Year" 198990, this volume is intended to reflect the whole spectrum of activities in set theory. The first section of the book comprises the invited papers surveying the state of the art in a wide range of topics of settheoretic research. The second section includes research papers on various aspects of set theory and its relation to algebra and topology. Contributors include: J. Bagaria, T. Bartoszynski, H. Becker, P. Dehornoy, Q. Feng, M. Foreman, M. Gitik, L. Harrington, S. Jackson, H. Judah, W. Just, A.S. Kechris, A. Louveau, S. MacLane, M. Magidor, A.R.D. Mathias, G. Melles, W.J. Mitchell, S. Shelah, R.A. Shore, R.I. Soare, L.J. Stanley, B. Velikovic, H. Woodin
Discontinuous homomorphisms of C(omega) and set theory
by
W. H Woodin(
)
3 editions published in 1984 in English and held by 6 WorldCat member libraries worldwide
The main question considered is a problem of Kaplansky. Suppose (OMEGA) is a compact Hausdorff space and let C((OMEGA)) denote the Banach algebra of continous complex valued functions with domain (OMEGA). The norm is the usual supnorm; for f in C((OMEGA)), (VBAR)(VBAR)f(VBAR)(VBAR) = sup (VBAR)f(x)(VBAR) (VBAR) x (ELEM) (OMEGA) . Assume (LAMDA) : C((OMEGA)) (>) B is a homomorphism of C((OMEGA)) into an arbitrary Banach algebra, B. Is (LAMDA) continuous?
3 editions published in 1984 in English and held by 6 WorldCat member libraries worldwide
The main question considered is a problem of Kaplansky. Suppose (OMEGA) is a compact Hausdorff space and let C((OMEGA)) denote the Banach algebra of continous complex valued functions with domain (OMEGA). The norm is the usual supnorm; for f in C((OMEGA)), (VBAR)(VBAR)f(VBAR)(VBAR) = sup (VBAR)f(x)(VBAR) (VBAR) x (ELEM) (OMEGA) . Assume (LAMDA) : C((OMEGA)) (>) B is a homomorphism of C((OMEGA)) into an arbitrary Banach algebra, B. Is (LAMDA) continuous?
History of modern U.S. military small arms ammunition. By F.W. Hackley, W.H. Woodin, E.L. Scranton. Drawings by Eugene L. Scranton. Photographs by Lewis Wayne Walker
by Frank Wade HACKLEY(
Book
)
1 edition published in 1967 in English and held by 3 WorldCat member libraries worldwide
1 edition published in 1967 in English and held by 3 WorldCat member libraries worldwide
Descriptive Set Theory and Forcing Vol. IV: How to Prove Theorems about Borel Sets the Hard Way
by
Arnold W Miller(
)
2 editions published in 1995 in English and held by 3 WorldCat member libraries worldwide
2 editions published in 1995 in English and held by 3 WorldCat member libraries worldwide
Logic Colloquium '96 : proceedings of the colloquium held in San Sebastián, Spain, July 915, 1996
by
Jesús M Larrazabal(
)
1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide
This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience
1 edition published in 1998 in English and held by 2 WorldCat member libraries worldwide
This volume contains eleven contributions by invited speakers at the annual Logic Colloquium which was held in San Sebastian, Spain, in July 1996. They cover model theory, proof theory, recursion and complexity theory, logic for artificial intelligence and formal semantics of natural languages, and include both recent results and survey articles on the central topics in logic written by specialists for a wide audience
Set theory of the continuum : Workshop : Papers
(
)
1 edition published in 1992 in English and held by 1 WorldCat member library worldwide
1 edition published in 1992 in English and held by 1 WorldCat member library worldwide
[Letter to stockholders in response to a circular letter sent to all stockholders attacking the management and organizers of The Brill Corporation]
by
W. H Woodin(
Book
)
1 edition published in 1931 in English and held by 1 WorldCat member library worldwide
1 edition published in 1931 in English and held by 1 WorldCat member library worldwide
Supercompact cardinals, sets of reals, and weakly homogeneous trees
by
W. H Woodin(
)
1 edition published in 1988 in Undetermined and held by 1 WorldCat member library worldwide
It is shown that if there exists a supercompact cardinal then every set of reals, which is an element of [Note: See the image of page 6587 for this formatted text] L(R), is the projection of a weakly homogeneous tree. As a consequence of this theorem and recent work of Martin and Steel [Martin, D. A. & Steel, J. R. (1988) Proc. Natl. Acad. Sci. USA 85, 65826586], it follows that (if there is a supercompact cardinal) every set of reals in [Note: See the image of page 6587 for this formatted text] L(R) is determined
1 edition published in 1988 in Undetermined and held by 1 WorldCat member library worldwide
It is shown that if there exists a supercompact cardinal then every set of reals, which is an element of [Note: See the image of page 6587 for this formatted text] L(R), is the projection of a weakly homogeneous tree. As a consequence of this theorem and recent work of Martin and Steel [Martin, D. A. & Steel, J. R. (1988) Proc. Natl. Acad. Sci. USA 85, 65826586], it follows that (if there is a supercompact cardinal) every set of reals in [Note: See the image of page 6587 for this formatted text] L(R) is determined
The stationary tower : notes on a course by W. Hugh Woodin
by
Paul B Larson(
Book
)
1 edition published in 2004 in English and held by 1 WorldCat member library worldwide
1 edition published in 2004 in English and held by 1 WorldCat member library worldwide
Homogeneous sequences of cardinals for ordinal definable partition relations
by George Kafkoulis(
Book
)
1 edition published in 1990 in English and held by 1 WorldCat member library worldwide
1 edition published in 1990 in English and held by 1 WorldCat member library worldwide
Independence results for indescribable cardinals
by Kai Hauser(
Book
)
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
The Borel Conjecture
by
Calif.) Mathematical Sciences Research Institute (Berkeley(
Book
)
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
1 edition published in 1989 in English and held by 1 WorldCat member library worldwide
The Borel conjecture
by
H Judah(
Book
)
1 edition published in 1989 in English and held by 0 WorldCat member libraries worldwide
1 edition published in 1989 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Chong, C.T (ChiTat) 1949 Editor
 Slaman, T. A. (Theodore Allen) 1954 Editor
 Feng, Qi 1955 Editor
 Dales, H. G. (Harold G.) 1944 Author
 Todorcevic, Stevo Author
 Yang, Yue 1964 Editor
 Heller, Michał
 Just, W. (Winfried) Editor
 Judah, H. (Haim) Author Editor
 Mathematical Sciences Research Institute (Berkeley, Calif.) Editor
Useful Links