New answers tagged

0 votes

On the intersection of finitely many ultrafilters

There is a category theoretic characterization of the filters that can be written as intersections of finitely many ultrafilters. I claim that a filter $Y$ on $G$ is the intersection of finitely many ...
Joseph Van Name's user avatar
3 votes

On the intersection of finitely many ultrafilters

Let me try to provide a helpful elementary answer. Suppose that $F$ is a filter on a set $X$ arising as the intersection of finitely many ultrafilters $$F=\mu_1\cap\cdots\cap\mu_n.$$ We may assume ...
Joel David Hamkins's user avatar
3 votes

Is every sigma-algebra the Borel algebra of a topology?

If $\Sigma$ is countably generated -- and any sigma-algebra of practical interest will be [Edit: or will be the completion of such an algebra] -- then I believe the answer is yes. Here is the argument....
Kevin S. Van Horn's user avatar
5 votes
Accepted

Strength of Borel determinacy

I don't know why you would want to work with $\mathrm{ZC}^{-}$, this is not a theory I would recommend to do math in. But as long as you only care about second order number theory, there is really no ...
Andreas Lietz's user avatar
5 votes

Can set theory be interpreted in infinite arithmetic?

Without considering your system of arithmetic too closely, let me mention that ZFC is interpretable in Peano arithmetic, if one augments PA with the assertion that ZFC is consistent. That is, ZFC is ...
Joel David Hamkins's user avatar
3 votes

I have a problem about elementary submodels of ZFC

You have to distinguish between $A$ (which is in $M$ and might be uncountable) and $A\cap M$ (which is always countable but might not be in $M$). Let's look at $A=\omega_1$ for concreteness. Since $\...
Noah Schweber's user avatar
7 votes
Accepted

The Parity Principle and $\mathbf{C}_2$ (choice for $2$-sets)

Over ZFA, the Parity Principle is strictly weaker. We'll show it follows from Multiple Choice, the assertion that for any family of nonempty sets $\mathcal{F},$ there is $g: \mathcal{F} \rightarrow [\...
Elliot Glazer's user avatar
16 votes
Accepted

(Very) Large numbers, Chaitin's incompletness theorem and a specific upper bound

One way to provide an explict bound on $L$ is as follows, using the idea of the universal algorithm. Namely, for any computably axiomatizable theory $T$ in question, consider the algorithm $p$ that ...
Joel David Hamkins's user avatar
21 votes

What notable theorems cannot be automatically proven without choice using Shoenfield absoluteness?

$\text{ZF}+ \text{AC}_{\omega}$ is not $\Sigma^1_4$-conservative over ZF and ZF + DC is not $\Sigma^1_4$-conservative over $\text{ZF}+ \text{AC}_{\omega}.$ An example of the former: the sentence $\...
Elliot Glazer's user avatar
10 votes

What notable theorems cannot be automatically proven without choice using Shoenfield absoluteness?

This is sort of an anti-answer, which I've accordingly made CW, but here goes: Whether $\mathsf{ZFC}$ is projectively conservative over $\mathsf{ZF}$ seems open; see Joel's answer from a while ago (...
6 votes
Accepted

What is lost in General Relativity without Hahn-Banach axiom in the ZF+HB set theory?

As Ryan Budney mentioned in a comment, there is some ambiguity about what exactly you mean by "general relativity." General relativity is primarily a physical theory rather than a ...
Timothy Chow's user avatar
  • 75.9k
6 votes

Is the set of permissible numbers of models of various cardinalities computable?

This is really an addendum to Alex's answer. I wrote a program in SageMath (using GAP) that computes these numbers, so I was able to expand Alex's lists considerably. Each of these lists should be ...
James Hanson's user avatar
  • 9,139
10 votes
Accepted

Progress on determining which partial orders embed into the rationals

The following simple counterexample to Question 1 can be found on p. 473 of the Milner–Pouzet paper cited below. Let $P=\omega_1\times\omega_1$ with the strict partial order $$(x,y)\lt(x',y')\iff x\lt ...
bof's user avatar
  • 10.1k
11 votes

What is lost in General Relativity without Hahn-Banach axiom in the ZF+HB set theory?

This is perhaps more of an extended comment than a real answer, but I do think it goes a long way towards answering these kinds of questions. The set-theoretic result referred to as Shoenfield ...
James Hanson's user avatar
  • 9,139
7 votes
Accepted

Thick Canadian trees

$\newcommand{\Add}{\operatorname{Add}}$Start with a model $V$ satisfying $GCH$ (or just $2^{\omega}=\omega_1$ and $2^{\omega_1}=\omega_2$). Force over $V$ with the product $\Add(\omega,\omega_2)\times ...
Hannes Jakob's user avatar
  • 1,058
13 votes
Accepted

Is the set of permissible numbers of models of various cardinalities computable?

Let $T$ be a complete countable first-order theory. I will write $I(T,\kappa)$ for the number of models of $T$ of cardinality $\kappa$ up to isomorphism. The function $I(T,-)$ is called the spectrum ...
Alex Kruckman's user avatar
0 votes

Set theories without "junk" theorems?

Junk theorems like this are avoided in Type Theory (not just HoTT). This is because I cannot talk about the representation of objects like the natural numbers. This is exploited in Homotopy Type ...
Thorsten Altenkirch's user avatar
6 votes

End-extension which Mostowski collapses a fake well ordering

In Chapter 3 of his PhD thesis, Harvey Friedman showed that there is a recursive linear ordering $\prec$ which has no hyperarithmetic infinite descending sequence and which does not support a jump ...
Theodore Slaman's user avatar
21 votes
Accepted

Parity and the Axiom of Choice

The Parity Principle follows from the axiom $\mathbf C_2$ (defined below) which is weaker than the Axiom of Choice. I don't know whether the Parity Principle implies $\mathbf C_2$, but that's another ...
bof's user avatar
  • 10.1k

Top 50 recent answers are included