# Tag Info

### Finite verification for theorems due to Busy Beaver numbers

Many years ago I was at a party in Berkeley and found myself standing in a group of fellow graduate students listening to Hendrik Lenstra, the famous number theorist, holding court. Someone asked ...

### Finite verification for theorems due to Busy Beaver numbers

Yes, this can be proven directly. Suppose all even numbers greater than two are a sum of two primes. Then $N=2$ works, so the statement is true. Suppose not all even numbers greater than two are a sum ...
• 141k
Accepted

### Finite verification for theorems due to Busy Beaver numbers

I would like to elaborate on an idea at the end of one of Z. A. K.'s comments above. The following quote is from Scott Aaronson's "The Busy Beaver Frontier" (2020): As we’ll see in Section ...
• 1,726

### If every definable class admits a group structure, must global choice hold?

ZFC proves that $V$ admits a definable group structure (and actually ZF does too). First note that the Schröder–Bernstein theorem still holds in the context of definable classes (i.e., for any ...
• 10.9k

### Are there any non-conjugation "extendible automorphisms" in the category of finite groups?

Finite-extensible automorphisms of finite groups are inner. The proof is rather non-trivial. For the classes of finite nilpotent and finite soluble groups, this is proved in a paper of Pettet, "...
• 14.3k

### Situation with Artemov's paper?

I appreciate your interest in this work. The paper Serial properties, selector proofs and the provability of consistency passed a rigorous refereeing and has been accepted to JLC. I have just approved ...
Accepted

### Had this attempt to salvage naïve comprehension been studied before?

Here is a model of your theory. Start with a countably infinite set of objects $X=\bigsqcup_n X_n$, partitioned into infinitely many infinite sections. We inductively define $\in_n$. Consider the ...
Accepted

### If every definable class admits a group structure, must global choice hold?

Yes. By the argument in the answer you linked, for any class $A$, either $\text{Ord}$ injects into $A$, or $A$ is well-orderable. If $A$ is well-orderable and a proper class, then $\text{Ord}$ injects ...
• 1,681

### Whether an isotone bijection from a power set lattice to another sends singletons to singletons

Yes, such a mapping necessarily sends singletons to singletons. Let $f\colon\mathcal P(S)\to\mathcal P(T)$ be a monotone bijection (or more generally, a surjective strictly monotone function). By ...
• 45.8k
Accepted

### Uniqueness results that follow from CH

Assuming $\textsf{CH}$, a lot of natural fourth-order functionals are computationally equivalent (Kleene's S1-S9) to $\exists^3$. These equivalences do not seem to go through without the former. ([...
Accepted

### Large almost disjoint family on $\mathbb{N}$ with property $\mathbf{B}$

One of the standard examples of an almost disjoint family of cardinality $\mathfrak c$ is the set of paths through the complete binary tree $2^{<\omega}$ (identified with $\omega$ via your favorite ...
• 72.5k
Accepted

### Image-catching families in $\omega$

Original partial answer: Here is some information: An easy diagonalization shows that every image-catching family is uncountable. And more generally, MA implies that every image-catching family has ...
• 9,272

### An infinite hat puzzle variation—if we don't know our place, can we still be almost all correct?

This solution, for an unknown position in an $\omega$-sequence with an arbitrary palette of colors for the hats, is apparently due to F. Galvin, American Mathematical Monthly Problem 5348, 1965. ...
• 12.9k
Accepted

### $L(\mathbb{R})$-absoluteness from a proper class of Woodins: source?

You can find this result as theorem 3.1.12 of Larson's The Stationary Tower monograph or theorem 7.22 of Steel's Outline of Inner Model Theory. More generally, Larson's book and Steel's exposition on ...
• 214

### Situation with Artemov's paper?

I have waited for Noah Schweber to correct his above presentation of my work after we had a meaningful exchange in which Noah seemed to understand (does not mean to accept) my definitions and ...
Accepted

### Can we see quantifier elimination by comparing semirings?

No, for example consider $T=\mathsf{Th}(\mathbb{N};=,0,1,+)$, i.e. Presburger arithmetic in non-extended signature. Quantifier elimination does not hold for this $T$: this would require to extend the ...
• 5,801

### Uniqueness results that follow from CH

In line with Joel’s answer, we have all sorts of uniqueness of ultrapower results that follow form CH and whose negations are known to be consistent with ZFC. Since classical model theory is not my ...
Accepted

### Natural functions outside $\sf PA$?

Sure, but this is really a fact about structures rather than theories. For example, $\mathsf{ZFC}$ can define the function sending $n$ to the least natural number not definable in the language of ...
• 20.7k

### How big can function spaces get without extensionality?

$\newcommand{Pot}{\mathsf{Pot}} \newcommand{Act}{\mathsf{Act}} \newcommand{Id}{\mathsf{Id}} \newcommand{refl}{\mathsf{refl}}$ I'm happy to defer to someone more knowledgeable on the topic. However, I'...
• 424