Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 22002

forcing, large cardinals, descriptive set theory, infinite combinatorics, cardinal characteristics, forcing axioms, ultrapowers, measures, reflection, pcf theory, models of set theory, axioms of set theory, independence, axiom of choice, continuum hypothesis, determinacy, Borel equivalence relations, Boolean-valued models, embeddings, orders, relations, transfinite recursion, set theory as a foundation of mathematics, the philosophy of set theory.

18 votes
3 answers
5k views

What notion captures the 'class' of all classes?

In ZFC there is no set that is the set of all sets, for this we introduce the notion of class. But then what is the 'class' of all classes, is it actually a class? Do we apply the same idea again? But …
Mozibur Ullah's user avatar
1 vote
2 answers
661 views

How do we avoid circularity when we build a structure for ZFC? [closed]

when investigating ZFC as a formal language a structure is a set, are we not engaging in circular logic here? Or is 'set' thought of in a more primitive sense?
Mozibur Ullah's user avatar
4 votes
2 answers
744 views

What is the impact on Godels theorem of Paraconsistency?

Russells paradox forced a restriction of the natural abstraction principle (that every predicate determines a set) so that Set Theory could be consistent. The standard one being ZF. However paraconsi …
Mozibur Ullah's user avatar
11 votes
2 answers
2k views

Are grothendieck universes enough for the foundations of category theory?

Grothendieck universes are equivalent to ZFC+a strongly inaccessible cardinal. This is low on the large cardinal axiom list. Is it enough to place category theory on a firm foundational basis, and how …
Mozibur Ullah's user avatar
0 votes

Essential reads in the philosophy of mathematics and set theory

Borges 'The Library of Babel' is a beautiful meditation on all sorts of philosophical positions around the 'idea' of infinity, epistemology, the sociology of science, set theory paradoxes. Its literat …