Search Results
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 |
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.
0
votes
definition of the set of natural numbers
After some reasoning I put down this one. If you know that $A$ is inductive and that $N_B=\{x\in B:\forall(I)(x\in I)\}$ where $I$ varies over inductive sets, then it follows that $N_B=\{x\in B:x\in A …
2
votes
3
answers
2k
views
definition of the set of natural numbers
How can the set $N$ of natural numbers be defined from the point of view of the ZF axiomatic set theory provided the concept of inductive set? Hrbacek-Jech (page 41) says that $N=\{x\in A:\forall(I)(x …
0
votes
definition of the set of natural numbers
If I understood correctly, one could associate to every set $A$ (no matter if $A$ is inductive or not) the set $N_A=\{x\in A:\forall(I)(x\in I)\}$ where $I$ varies over inductive sets. Then one could …