Faculty

Institution

Unit

Venue

W. Hugh Woodin

Professor Emeritus Emeritus Faculty

University of California, Berkeley

Affiliations

College of Letters & Science

Mathematical & Physical Sciences

Mathematics

W. Hugh Woodin is currently serving as a College Of Letters & Science Professor Emeritus Emeritus Faculty at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

W. Hugh Woodin

University of California, Berkeley

Professor Emeritus Emeritus Faculty

You can click a keyword to filter the displayed items

mathematics applied mathematics mathematical logic philosophy mathematical analysis set theory mathematical sciences applied logic analytic number theory linguistics number theory computational complexity classical logic pure mathematics computational mathematics epistemology mathematical optimization logic in computer science automated reasoning computability theory order theory complexity theory algebraic logic formal mathematical reasoning proof theory suitable extender models avian biology general systems combinatorial theory fuzzy logic mathematical programming approximate reasoning digital scholarship textual practice program slicing finite-state system discontinuity normative theory algorithmic information theory computational complexity theory deterministic systems theoretical prediction theoretical mathematics alternative cosmology early universe query expansion logical formalism theoretical analysis set-theoretic topology norm (mathematics) electronic publishing copyright protection large cardinals woodin cardinals borel conjecture reverse mathematics combinatorial principles posner-robinson theorem tt version weakly compact cardinal ground axiom inner models transfinite universe incompatible o-complete theories strong axioms discontinuous homomorphism forcing axioms foundation of mathematics applied philosophy foundational theory

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

The Equivalence of Axiom (∗)+ and Axiom (∗)++. Journal of Mathematical Logic (2024)

W. Hugh Woodin

theory of computationlogic in computer sciencecomplexity theoryclassical logicformal mathematical reasoningproof theorylogical formalismapplied mathematicsmathematical logicfuzzy logicmathematicsautomated reasoning

Front Matter. The Australian Year Book of International Law Online (2022)

Rachel FergusonSophie QuoyleSuhua ZhangSamuel GormanTamara RichardsonCeleste ZhongBen HuntsmanScott RobinsonAva CadeeJessica TaylorPhilip AlstonChristine ChinkinLaurence Boisson De ChazournesTheodore ChristakisHelen BradyKatrina CooperBill CampbellKaren ScottHilary Charlesworth JudgeGerry SimpsonSimon ChestermanDean Of LawS StrongJemima BackAlistair BoydNiamh CallinanTimothy CollinsJulian EdwardsJoseph HarmanMun LeeCatherine NguyenIbrahim TahaLiuyuwen YangYuanhang WangLara WilkinsonChiara AngeloniAsha BelkinLoretta BensonSulithi DewendraLucinda DunhamKellie ElmesElliot FreadmanMatthew GriceMeg HaynesTristan JamsonCrystal JiKavina KalaichelvamRhiannon KerrRachel KirkEmily LaAlex LiaJake MarusichCaitlyn MckenzieRachel MossEmma NortonKatherine O'connellJayden PayneEmily RowbothamSamuel SaundersDiya Sharma

world literaturedigital scholarshipprelims comprisetextual practiceenglishelectronic publishingcopyright protectionfront matterliteraturecontents foreword prefaceliterary theorymedia studies

Forcing, Iterated Ultrapowers, and Turing Degrees. Lecture notes series, Institute For Mathematical Sciences (2015)

Chitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

formal methodsiterated ultrapowersmathematicsapplied mathematics

The Weak Ultrafilter Axiom. Archive for Mathematical Logic (2015)

W. Hugh Woodin

mathematical programmingmathematical analysismathematical sciencesweak ultrafilter axiomtheoretical analysisproof theoryalgebraic logicmathematicsautomated reasoningtheory of computationgraph theorydiscrete mathematicsapplied mathematicsset-theoretic topologycomputer sciencelogic in computer scienceapproximate reasoningformal mathematical reasoningmathematical logic

E -Recursion, Forcing and C*-Algebras. Lecture notes series, Institute For Mathematical Sciences (2014)

Chitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

mathematical sciencesformal methodsapplied mathematicscomputer sciencemathematics

Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles. (2014)

Denis R. HirschfeldtChitat ChongQi FengTheodore A. SlamanW. Hugh WoodinYue Yang

computational mathematicsreverse mathematicsprogram slicingcomputational complexitycombinatorial principlescomputability theorymathematics

Infinity and Truth. Lecture notes series, Institute For Mathematical Sciences (2013)

Chitat ChongQi FengTheodore A SlamanW Hugh Woodin

real analysismathematical sciencestheoretical mathematicsepistemologyphilosophy of mathematicscritical theorycognitive sciencephilosophymathematical logicmathematics

Notes on Forcing Axioms. Lecture notes series, Institute For Mathematical Sciences (2013)

Stevo TodorcevicChitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

mathematical analysiscomputational complexityanalytic number theorynormative theoryformal methodsforcing axiomsalgorithmic information theoryapplied mathematicscomputational complexity theorymathematical logicmathematics

The Hod Dichotomy. Cambridge University Press eBooks (2012)

W. Hugh WoodinJacob DavisDaniel Rodríguez

educationliteratureliterary criticismhod dichotomymathematics

A Potential Subtlety Concerning the Distinction Between Determinism and Nondeterminism. Infinity (2011)

W. Hugh Woodin

philosophydeterministic systems

1
2
3
4
10 / page

W. Hugh Woodin

Professor Emeritus Emeritus Faculty

University of California, Berkeley

Affiliations

College of Letters & Science

Mathematical & Physical Sciences

Mathematics

W. Hugh Woodin is currently serving as a College Of Letters & Science Professor Emeritus Emeritus Faculty at University of California, Berkeley.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

W. Hugh Woodin

University of California, Berkeley

Professor Emeritus Emeritus Faculty

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

The Equivalence of Axiom (∗)+ and Axiom (∗)++. Journal of Mathematical Logic (2024)

W. Hugh Woodin

Front Matter. The Australian Year Book of International Law Online (2022)

world literaturedigital scholarshipprelims comprisetextual practiceenglishelectronic publishingcopyright protectionfront matterliteraturecontents foreword prefaceliterary theorymedia studies

Forcing, Iterated Ultrapowers, and Turing Degrees. Lecture notes series, Institute For Mathematical Sciences (2015)

Chitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

formal methodsiterated ultrapowersmathematicsapplied mathematics

The Weak Ultrafilter Axiom. Archive for Mathematical Logic (2015)

W. Hugh Woodin

E -Recursion, Forcing and C*-Algebras. Lecture notes series, Institute For Mathematical Sciences (2014)

Chitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

mathematical sciencesformal methodsapplied mathematicscomputer sciencemathematics

Slicing the Truth: On the Computable and Reverse Mathematics of Combinatorial Principles. (2014)

Denis R. HirschfeldtChitat ChongQi FengTheodore A. SlamanW. Hugh WoodinYue Yang

computational mathematicsreverse mathematicsprogram slicingcomputational complexitycombinatorial principlescomputability theorymathematics

Infinity and Truth. Lecture notes series, Institute For Mathematical Sciences (2013)

Chitat ChongQi FengTheodore A SlamanW Hugh Woodin

real analysismathematical sciencestheoretical mathematicsepistemologyphilosophy of mathematicscritical theorycognitive sciencephilosophymathematical logicmathematics

Notes on Forcing Axioms. Lecture notes series, Institute For Mathematical Sciences (2013)

Stevo TodorcevicChitat ChongQi FengTheodore A SlamanW Hugh WoodinYue Yang

The Hod Dichotomy. Cambridge University Press eBooks (2012)

W. Hugh WoodinJacob DavisDaniel Rodríguez

educationliteratureliterary criticismhod dichotomymathematics

A Potential Subtlety Concerning the Distinction Between Determinism and Nondeterminism. Infinity (2011)

W. Hugh Woodin

philosophydeterministic systems

1
2
3
4
10 / page

Similar Faculty Members

Itay Neeman

Institution

University of California, Los Angeles

philosophy

foundational theory

Gabriel Goldberg

Institution

University of California, Berkeley

set theory

logic in computer science

Ernest Schimmerling

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Thomas Scanlon

Institution

University of California, Berkeley

mathematics

applied mathematics

Thomas Jech

Institution

Pennsylvania State University

mathematics

mathematics education

Peter Cholak

Institution

University of Notre Dame

extremal set theory

discrete algorithm

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

James Cummings

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Similar Faculty Members

Itay Neeman

Institution

University of California, Los Angeles

philosophy

foundational theory

Gabriel Goldberg

Institution

University of California, Berkeley

set theory

logic in computer science

Ernest Schimmerling

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Thomas Scanlon

Institution

University of California, Berkeley

mathematics

applied mathematics

Thomas Jech

Institution

Pennsylvania State University

mathematics

mathematics education

Peter Cholak

Institution

University of Notre Dame

extremal set theory

discrete algorithm

Antonio Montalban

Institution

University of California, Berkeley

mathematics

applied mathematics

John R. Steel

Institution

University of California, Berkeley

foundation of mathematics

set theory

Theodore A. Slaman

Institution

University of California, Berkeley

partial computations

logic in computer science

James Cummings

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science