Set Theory — The Search for New Axioms

Search
Skip to content
  • About

Archives

Re: Paper and slides on indefiniteness of CH

August 23, 2014 John Burgess Leave a comment

Forgot to mention, Harvey, towards the end of your first press release that the validity of the Wiles proof may now be in some doubt, since the exact set-theoretic assumptions on which it depends are still under discussion. However, Colin McLarty of… and so on.

Fermat's last theorem

Categories

  • "The Thread"

Authors

  • Claudio Ternullo
  • Geoffrey Hellman
  • Harvey Friedman
  • Hilary Putnam
  • Hugh Woodin
  • John Burgess
  • John Steel
  • Neil Barton
  • Neil Tennant
  • Penelope Maddy
  • Peter Koellner
  • Radek Honzik
  • Robert Solovay
  • Solomon Feferman
  • Sy Friedman
  • William Tait

Topics

  • AC
  • AC from MIC
  • CH
  • Choice calculus
  • Choiceless large cardinals
  • Concept of set
  • CTMs
  • Forcing axioms under V = Ultimate L
  • Goals of set theory
  • Good mathematics
  • Good set theory
  • Hard problems in set theory
  • HOD
  • HOD conjecture
  • Hyperuniverse Programme
  • I0
  • IMH
  • Inner model theory
  • Intrinsic justification
  • Is V class generic over a GCH model
  • Löwenheim-Skolem Theorem
  • Mathematical depth
  • Maximal iterative conception
  • Maximality
  • PD
  • Platonism
  • Potentialism
  • Reflection
  • SIMH#
  • Stable core
  • Summary
  • Types 1 2 3
  • Ultimate L
  • V = HOD
  • V = Ultimate L

Archives

  • November 2014
  • October 2014
  • September 2014
  • August 2014
  • July 2014
  • June 2014

Meta

  • Log in
  • Entries RSS
  • Comments RSS
  • WordPress.org
Proudly powered by WordPress
✖i

Cancel reply

Cancel