1. Tour
  2. About Us
  3. Meta
Loading…
  1. Log in
  2. current community

    • Stack Exchange
      chat
    • Meta Stack Exchange

    your communities

    Sign up or log in to customize your list.

    more stack exchange communities

    company blog

Stack Exchange

  • All Sites
  • Top Users
  • Digests

Elliot Glazer

top accounts reputation activity bookmarks subscriptions
Top Questions
14 votes

Do choice principles in all generic extensions imply AC in $V$?

set-theory forcing axiom-of-choice asked Jul 31 '18 at 17:58
mathoverflow.net

11 votes

Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$

set-theory axiom-of-choice cardinal-arithmetic asked Nov 17 '20 at 5:12
mathoverflow.net

11 votes

Does Foundation increase the strength of second-order logic?

set-theory lo.logic asked Jun 1 '18 at 20:45
mathoverflow.net

9 votes

Is $V=L$ equivalent to there being a $\Sigma_1$ well-ordering of the universe?

set-theory descriptive-set-theory asked Aug 7 '17 at 21:18
mathoverflow.net

9 votes

How many iterations of inner models/generic extensions are sufficient?

set-theory forcing asked May 28 '18 at 3:59
mathoverflow.net

8 votes

Definitional complexity of truth in $L$ without $0^{\#}$

set-theory asked May 8 '17 at 16:00
mathoverflow.net

7 votes

Absoluteness, reflection to ctms, and choice in outer models

set-theory asked May 13 '17 at 16:57
mathoverflow.net

7 votes

Is there an algorithm for extending a complete set theory to one with classes?

set-theory asked May 18 '18 at 2:20
math.stackexchange.com

7 votes

A theory which seems to have proof-theoretic ordinal $\omega_1^{CK}$

logic computability proof-theory asked Nov 9 '18 at 10:00
math.stackexchange.com

7 votes

Can $V$ only have well-orderings definable with respect to a parameter?

set-theory asked Jan 10 '16 at 21:59
math.stackexchange.com

1 2 next

Top Answers
12
Is this set theory equivalent to ZFC?
mathoverflow.net

11
Does ZF minus infinity imply collection?
mathoverflow.net

10
What are some reasonable-sounding statements that are independent of ZFC?
mathoverflow.net

9
Can one exhibit an explicit Kuratowski infinite set without invoking Replacement?
mathoverflow.net

8
Is $\in$-induction provable in first order Zermelo set theory?
mathoverflow.net

8
Can we make ZF − infinity + “all ordinals are finite” as strong as ZFC?
mathoverflow.net

6
Stronger negation of AC given by rejecting “infinite hat” puzzles
mathoverflow.net

6
Products of Cohen forcings
mathoverflow.net

5
Can we prove the existence of $A\cup B$ without the union axiom?
math.stackexchange.com

5
Does $\text{AC}_{\text{WO}}$ prove $\Theta \neq \aleph_{\omega+1}?$
mathoverflow.net


Stack Exchange
  • About
  • Contact
  • Feedback
Company
  • Stack Overflow
  • For Teams
  • Advertise With Us
  • Hire a Developer
  • Developer Jobs
  • Press
  • Legal
  • Privacy Policy
  • Terms of Service
Stack Exchange
Network
  • Technology
  • Life / Arts
  • Culture / Recreation
  • Science
  • Other
  • Stack Overflow
  • Server Fault
  • Super User
  • Web Applications
  • Ask Ubuntu
  • Webmasters
  • Game Development
  • TeX - LaTeX
  • Software Engineering
  • Unix & Linux
  • Ask Different (Apple)
  • WordPress Development
  • Geographic Information Systems
  • Electrical Engineering
  • Android Enthusiasts
  • Information Security
  • Database Administrators
  • Drupal Answers
  • SharePoint
  • User Experience
  • Mathematica
  • Salesforce
  • ExpressionEngine® Answers
  • Stack Overflow em Português
  • Blender
  • Network Engineering
  • Cryptography
  • Code Review
  • Magento
  • Software Recommendations
  • Signal Processing
  • Emacs
  • Raspberry Pi
  • Stack Overflow на русском
  • Code Golf
  • Stack Overflow en español
  • Ethereum
  • Data Science
  • Arduino
  • Bitcoin
  • Software Quality Assurance & Testing
  • Sound Design
  • Windows Phone
  • more (28)
  • Photography
  • Science Fiction & Fantasy
  • Graphic Design
  • Movies & TV
  • Music: Practice & Theory
  • Worldbuilding
  • Video Production
  • Seasoned Advice (cooking)
  • Home Improvement
  • Personal Finance & Money
  • Academia
  • Law
  • Physical Fitness
  • Gardening & Landscaping
  • Parenting
  • more (10)
  • English Language & Usage
  • Skeptics
  • Mi Yodeya (Judaism)
  • Travel
  • Christianity
  • English Language Learners
  • Japanese Language
  • Chinese Language
  • French Language
  • German Language
  • Biblical Hermeneutics
  • History
  • Spanish Language
  • Islam
  • Русский язык
  • Russian Language
  • Arqade (gaming)
  • Bicycles
  • Role-playing Games
  • Anime & Manga
  • Puzzling
  • Motor Vehicle Maintenance & Repair
  • Board & Card Games
  • Bricks
  • Homebrewing
  • Martial Arts
  • The Great Outdoors
  • Poker
  • Chess
  • Sports
  • more (16)
  • MathOverflow
  • Mathematics
  • Cross Validated (stats)
  • Theoretical Computer Science
  • Physics
  • Chemistry
  • Biology
  • Computer Science
  • Philosophy
  • Linguistics
  • Psychology & Neuroscience
  • Computational Science
  • more (10)
  • Meta Stack Exchange
  • Stack Apps
  • API
  • Data
  • Blog
  • Facebook
  • Twitter
  • LinkedIn
  • Instagram

site design / logo © 2021 Stack Exchange Inc; user contributions licensed under cc by-sa. rev 2021.1.18.38333