#
Questions tagged [set-theory]

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.

http://en.wikipedia.org/wiki/Axiom_of_dependent_choice
Is DC sufficient for the understanding of objects that are countable in some suitable sense?
For example, is DC sufficient for the full ...

asked Dec 1 '09 at 3:12

Andre
55955 silver badges1313 bronze badges

How can category theory help my research in set theory?
I rarely use category theory as such in my current work, and one almost never sees any category theory in set-theoretic research papers or at ...

asked Nov 29 '09 at 22:04

Suppose we have a set $P$ (an infinite set), and we have a partition of $P$ into (finitely many) disjoint subsets $P_i$, so that $P = \cup_i P_i$, and $P_i \cap P_j = \emptyset$ for $i \neq j$.
...

A fairly simple question: I've read in multiple sources that Godel proved that if we accept the axiom of constructibility in ZFC, then we can create an explicit formula that well-orders the real ...

asked Nov 23 '09 at 17:37

Does anyone know of good references for nonstandard set theories and their applications to various branches of mathematics like category theory, algebra, geometry, etc.?
Edit: What I mean by "...

asked Nov 23 '09 at 7:55

davidk01
7241010 silver badges2727 bronze badges

What is the relationship between the Hausdorff dimension and cardinality of a set?
Specifically, assuming the Continuum Hypothesis, if a set has Hausdorff dimension greater than zero does, that imply ...

asked Nov 22 '09 at 19:20

Suppose we fix a universe $U$ and a $U$-small category $C$. The regular Yoneda lemma gives us some locally small (not necessarily locally U-small?) functor category $C'=[C^{op},Sets]$ with a fully ...

I am wondering how much set theory is needed to read the basics of category theory, and what (preferrably short) book would be recommended.
Usually I would just use naive set theory without worrying ...

Let us say that a set B admits a rigid binary relation, if there is a binary relation R such that the structure (B,R) has no nontrivial automorphisms.
Under the Axiom of Choice, every set is well-...

asked Nov 20 '09 at 13:25

It seems as though many consider ZF to be the foundational set of axioms for all of mathematics (or at least, a crucial part of the foundations); when a theorem is found to be independent of ZF, it's ...

asked Nov 14 '09 at 16:56

Is it possible to exhibit a (Hamel) basis for the vector space l^infinity, given by the bounded sequences of real numbers?

asked Nov 13 '09 at 2:47

Shake Baby
82611 gold badge99 silver badges2424 bronze badges

Can anyone point out some good reference to understand how Paul Cohen proved that the continuum hypothesis is independent of ZFC? I know he used the so called forcing technique to construct two ...

asked Nov 11 '09 at 22:55

Shake Baby
82611 gold badge99 silver badges2424 bronze badges

This is a question asked out of curiosity, and because I can't understand the Wikipedia page.
I have often been told that PA cannot prove the validity of induction up to $\epsilon_0$, which has been ...

asked Nov 11 '09 at 16:02

David E Speyer
109k1010 gold badges289289 silver badges554554 bronze badges

I have often heard of various statements being independent from the axioms of set theory (typically ZFC). Some examples include
The continuum hypothesis is probably the most famous
The independence ...

asked Nov 10 '09 at 19:05

lwassink
24522 silver badges88 bronze badges

When people work with infinite sets, there are some who (with good reason) don't like to use the Axiom of Choice. This is defensible, since the axiom is independent of the other axioms of ZF set ...

asked Nov 8 '09 at 20:01

Harrison Brown
7,43088 gold badges5353 silver badges9999 bronze badges

Is there a natural measure on the set of statements which are true in the usual model (i.e. $\mathbb{N}$) of Peano arithmetic which enables one to enquire if 'most' true sentences are provable or ...

asked Nov 6 '09 at 22:29

auniket
2,4841818 silver badges3232 bronze badges

What definitions or equivalencies between definitions for standard set theory objects (such as large cardinals) do not hold or do not carry through in the expected manner to the world without choice? ...

This should be a trivial question for people who know Gödel's 1st incompleteness theorem. I quote the statement the theorem from wikipedia: "Any effectively generated theory capable of expressing ...

asked Nov 5 '09 at 10:51

auniket
2,4841818 silver badges3232 bronze badges

What set-theoretic assumptions are necessary and sufficient to ensure the existence of a nontrivial (i.e. not isomorphic to the identity) endofunctor of the category Set which is logical (i.e. ...

asked Nov 4 '09 at 3:25

Mike Shulman
38.5k44 gold badges8989 silver badges239239 bronze badges

My question is whether there are any characterizations of non-wellfounded models of set theory. A wellfounded model is one that does not have any \epsilon-descending infinite sequences. I'm not asking ...

asked Oct 30 '09 at 18:18

Let U be a Grothendieck universe, and U+ its successor universe (assume Grothendieck's universe axiom).
Everybody agrees that a U-small category is a category whose sets of objects and morphisms are ...

asked Oct 30 '09 at 5:59

Reid Barton
19.5k11 gold badge5252 silver badges111111 bronze badges

Say I start with some a transitive model of a large fragment of ZFC (say enough to run Łoś' Theorem externally) and a specific set x∈M. Now let's say I'm going to pick some M-ultrafilter U on x. ...

asked Oct 29 '09 at 6:19

Richard Dore
3,04255 gold badges2929 silver badges4141 bronze badges

Is there a version of the Löwenheim-Skolem theorem in intuitionistic logic? I'm particularly interested in the "downward" form. The standard proof I know uses the Tarski-Vaught test for ...

asked Oct 28 '09 at 1:36

Mike Shulman
38.5k44 gold badges8989 silver badges239239 bronze badges

Model theorists have a lot to say about so-called definable imaginary elements of a structure. One way to formulate imaginaries is the following: Suppose $\mathcal{M}$ is a structure with universe $M$,...

asked Oct 27 '09 at 20:01

If ℝ# exists then why is cof(θL(ℝ)) = ω? Also I have the same question for the L(Vλ+1) generalization (if it's actually a different proof; I presume it isn't), i.e. if &...

Every now and then, somebody will tell me about a question. When I start thinking about it, they say, "actually, it's undecidable in ZFC."
For example, suppose A is an abelian group such that every ...

I've been reading some "introduction to categories" type materials and have been impressed with the all-encompassing nature, but the skeptic in me wonders: is there any mathematical object that ...

asked Oct 22 '09 at 17:16

Jason Dyer
2,16211 gold badge1818 silver badges2929 bronze badges

I recall being told -- at tea, once upon a time -- that there exist models of the real numbers which have no unmeasurable sets. This seems a bit bizarre; since any two models of the reals are ...

asked Oct 20 '09 at 20:08

userN
3,17911 gold badge2121 silver badges3333 bronze badges

In Bonn, we've been have a discussion on the topic in the title:
Suppose that A and B is are classes and that there are injections from A to B and fom B to A. Does it follow that there is a ...

asked Oct 19 '09 at 1:09

Philipp Lampe
1,64311 gold badge1717 silver badges2929 bronze badges

Additionally, is there any intuitive way to visualize the cardinalities that result?

asked Oct 16 '09 at 14:53

Jason Dyer
2,16211 gold badge1818 silver badges2929 bronze badges

A statement referring to an infinite set can sometimes be logically rephrased using only finite sets/objects. For example, "The set of primes is infinite" <-> "There is no largest prime". ...

asked Oct 15 '09 at 3:21

Andrew Critch
6,85411 gold badge3636 silver badges6464 bronze badges

Three problems from G.Rosenstein "Linear orderings" (from the end of Chapter 2 and beginning of Chapter 4):
1) Is there a nondecreasing function from irrationals onto reals?
2) Is there a ...

asked Oct 11 '09 at 13:33

sdcvvc
63877 silver badges1717 bronze badges