All Questions
20 questions
-2
votes
0
answers
72
views
There is a typo in Stall's textbook on Set Theory: unable to prove the trichotomy of sets (m ∈ n or m = n, or n ∈ m) [migrated]
Here is the textbook, chapter 7, page 300. This lemma seems very of important, and I've spend about 8 hours trying to figure it out, but I'm unable to prove even the weaker version of the lemma (only ...
- 105
11
votes
3
answers
2k
views
What governs our "perception?" about the platonic realm of sets?
Here, I want to delve into what do we exactly feel about what constitutes a platonic existence of a set? Or what makes us think or actually a kind of feel or sense the existence of a set in the ...
- 11.3k
0
votes
0
answers
78
views
'Maximising interpretative power entails maximising consistency strength'?
I'm hoping there is a clear mathematical answer to this question (hence asking it here) rather than anything more exegetical (in which case it's presumably not appropriate for this site).
In his paper ...
- 161
0
votes
1
answer
295
views
Formalizing ontological optimism
Inform speaking ontological optimisms means that everything that possibly exists in the abstract reality actually exists. From this principle we (again informally) get the Axiom of infinity, the Power ...
- 1,648
7
votes
2
answers
1k
views
Explaining the consistency of PRA and ZF from predicative foundations
Recently I got interested in predicative foundations, mostly because of Laura Crosilla's work and because Agda employs a predicative type theory.
From the point of view of a predicative foundation to ...
- 3,312
2
votes
0
answers
305
views
Does this axiomatic system satisfy requirements for founding mathematics?
In this article, the author, F.A.Muller, suggests criteria for a founding theory of mathematics (pp:14-16). The author proposes $ARC$ Class Theory to embody these requirements. The motivation is ...
- 11.3k
5
votes
3
answers
488
views
Counting without one-to-one correspondence? [closed]
Ash and Gross in their wonderful book Fearless Symmetry found it worth mentioning (and thus suggesting) another way of counting for which "we do not even need to know how to count" (in the sense of ...
- 9,720
-2
votes
1
answer
317
views
Is it natural to hold that Ur-elements, small & big sets and proper classes exists? [closed]
The topic of this post was shifted to
https://philosophy.stackexchange.com/questions/49504/is-it-natural-to-hold-that-big-sets-and-proper-classes-exist
Since it was deemed to be a philosophical ...
- 11.3k
9
votes
1
answer
1k
views
How are material set theory and structural set theory related from the point of view of category theory?
In his comments to both cody and Nik Weaver regarding his answer to user7280899's mathoverflow question "What kind of foundation are mathematicians using when proving metatheorems?", Mike Shulman ...
- 6,132
23
votes
3
answers
2k
views
Why would the category of sets be intuitionistic?
This question is probably really naive. And, I hope the title doesn't come off as too combative. I think that topoi of $\mathbf{Set}$-valued sheaves provide an excellent motivation for higher-order ...
- 3,793
55
votes
10
answers
11k
views
How should a "working mathematician" think about sets? (ZFC, category theory, urelements)
Note that "a working mathematician" is probably not the best choice of words, it's supposed to mean "someone who needs the theory for applications rather than for its own sake". Think about it as a ...
- 1,115
0
votes
1
answer
678
views
Why do we try to encode every mathematical object as a set? [closed]
Probably everyone of us has seen set-theoretic encodings of mathematical objects which we wouldn't naturally consider to be sets. May it be the "definition" of a function from $A$ to $B$ as a relation ...
- 27
50
votes
4
answers
6k
views
Do set-theorists use informal set theory as their meta-theory when talking about models of ZFC?
Here, Noah Schweber writes the following:
Most mathematics is not done in ZFC. Most mathematics, in fact, isn't done axiomatically at all: rather, we simply use propositions which seem "intuitively ...
- 509
4
votes
3
answers
915
views
Compactness of existential second order logic and definability of certain quantifiers
It is known (as a slogan) that the "existential fragment of second-order logic (ESO) is compact".
My first question is:
(1) Is ESO compact for:
(a) uncountable languages
(b) languages with ...
- 135
9
votes
1
answer
856
views
Taller models of ZFC
This question is somewhat related to a previous one, where I asked for new forms of infinite beyond the cardinal hierarchy.
Using forcing techniques, at least the ones I know of, one starts from a ...
- 7,853
7
votes
9
answers
7k
views
Ultrainfinitism, or a step beyond the transfinite
Cantor has, in the immortal words of D. Hilbert, given all of us a paradise (or perhaps, I would rather say, a great vacation spot), the TRANSFINITE.
$\aleph_0, \aleph_1,\aleph_2\dots$
the lists ...
- 7,853
2
votes
1
answer
275
views
comprehension and ideal elements
A not uncommon thought in philosophy is that we should distinguish (in philosophy, anyway) between "sparse" ("real", "serious") and "abundant" ("ideal", "superficial") properties/classes and relations....
- 313
14
votes
1
answer
2k
views
Martin's "Philosophical Issues about the Hierarchy of Sets"
Some months ago (October 2010), in the context of the Workshop on Set Theory and the Philosophy of Mathematics, Professor Donald A. Martin gave a talk entitled "Philosophical issues about the ...
- 1,465
74
votes
11
answers
12k
views
Why hasn't mereology succeeded as an alternative to set theory?
I have recently run into this Wikipedia article on mereology. I was surprised I had never heard of it before and indeed it seems to be seldom mentioned in the mathematical literature. Unlike set ...
- 5,902
11
votes
3
answers
2k
views
Kunen's use of Countable Transitive Models
Hi,
I have a doubt concerning Kunen's exposition of forcing in his classical book (arguably $the$ book on forcing). When dealing with Countable Transitive Models to set up the forcing machinery, ...
