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 |
Results tagged with foundations
Search options not deleted
user 1946
Mathematical logic, Set theory, Peano arithmetic, Model theory, Proof theory, Recursion theory, Computability theory, Univalent foundations, Reverse mathematics, Frege foundation of arithmetic, Goedel's incompleteness and Mathematics, Structural set theory, Category theory, Type theory.
17
votes
CH in non-set theoretic foundations
One consideration will be that the CH statement can become ambiguous in weaker foundations, since statements that are equivalent in ZFC are not always equivalent in weaker theories. …
17
votes
Are there substantive differences between the different approaches to "size issues" in categ...
Although people often talk as though it just doesn't matter which approach you use — perhaps all universes are alike? Let me prove that in a strict sense this is not true. The nature of the mathematic …
19
votes
Accepted
What governs our "perception?" about the platonic realm of sets?
I see NF as arising by a process of formal manipulation of the axioms, rather than a mathematical idea, and in my view this is not a sound method of finding robust meaningful principles in the foundations …
12
votes
Accepted
The "first-order theory of the second-order theory of $\mathrm{ZFC}$"
I understand your theory to be the set of all sentences in the first-order language of set theory that are true in every model of $\newcommand{\ZFC}{\text{ZFC}}\ZFC_2$. This is a perfectly sensible no …
9
votes
Accepted
Why not $\sf ZFC+[V=HOD]$?
What does it mean to be a "standard" theory?
By any account, the theory ZFC + V=HOD already is one of the "standard" theories. The axiom V=HOD is intensely studied by set theorists; it appears as a hy …
8
votes
Accepted
What is the proof of consistency of anterior reflection?
This is a consequence of ZF as follows.
Assume that all quantifiers of $\varphi$ appear at the front as in the normal forms. Suppose that $\varphi(\vec v)$ has complexity at most $\Sigma_n$ for some l …
5
votes
Accepted
Is this form of replacement suitable for ZF - Powerset + well-ordering principle?
The answer is no.
Your version of replacement is a weakening of ordinary replacement. To see this assume that replacement holds (but perhaps not power set or collection), and then observe that for any …
8
votes
Accepted
Bounded alternatives to powerset that interpret ZFC
The answer is Yes. The simple fact is that it is much easier to interpret ZFC from low-complexity assertions than one might expect. For example, even PA+Con(ZFC) can already interpret ZFC, since one c …
21
votes
Lists as a foundation of mathematics
Peter Koepke and Martin Koerwien developed the theory of sets of ordinals as a foundation of mathematics, showing senses in which it is equivalent to ZFC as a foundation.
Peter Koeopke and Martin Koe …
16
votes
Accepted
Propositional calculus, first order theories, models, completeness
Unfortunately I don't quite agree with your summary.
First, in the context of propositional logic, the relevant notion of model is simply a row of the truth table, a propositional world, a valuation a …
32
votes
Accepted
How much of the axiom of choice do you need in mathematics?
Your hypothesis is in a sense stronger than just assuming ZFC outright.
Namely, if we have $\lambda$-DC for some inaccessible cardinal $\lambda$, and ZF in the background, then in particular, we will …
23
votes
Accepted
Are the categories of sets, abelian groups, and commutative rings unique?
Introduction to pluralism
A version of this question lies at the heart of the ongoing dispute on pluralism in the philosophy of mathematics. Is there at bottom just one mathematical reality? Does ever …
4
votes
Accepted
What do you call the generalisation of the direct image?
This idea is commonly used in set theory with atoms. I'm not sure whether it has a standard name, but I would be inclined to call it the natural extension of $f$ to sets.
There is no need to stop the …
4
votes
Resource request on "$\in$-homomorphisms" in Set Theory
I believe that you may have misstated the definition of what it means to be an $\in$-homomorphism. (I couldn't find your notion in Jech at your links — have I missed it?)
For example, with your defini …
17
votes
Accepted
Does foundation/regularity have any categorical/structural consequences, in ZF?
Yes, the axiom of foundation has structuralist consequences.
Let $\phi$ be the assertion, "if every well-founded set is well-orderable, then every set is well-orderable."
This statement, I claim, …