**1**

vote

**0**answers

21 views

### Application of Fraïssé construction in set theory

As you know Fraïssé limit construction and its generalization, Hrushovski's construction, have many applications in model theory to build models with interesting property.
Now I would like to know ...

**4**

votes

**0**answers

179 views

### Quasi-disjoint subsets of an infinite set and $\neg \mathsf{AC}$

Is it consistent with $\mathsf{ZF}$ (without $\mathsf{AC}$) that there is an infinite set $X$ and a subset $S\subseteq\mathcal P(X)$ of the same cardinality as $\mathcal P(X)$ with the property that ...

**16**

votes

**1**answer

708 views

### Does ZF prove that topological groups are completely regular?

Let $\mathbf{G} = \langle G,\cdot,\mathcal{T}\;\rangle$ be a topological group. Let $\mathbf{e}$ be the identity element of $\langle G,\cdot \rangle$.
Assume $\{\mathbf{e}\}$ is closed in $\langle ...

**11**

votes

**2**answers

1k views

### Do the real numbers “know” that they are countable in a larger model?

(This was first posted to math.stackexchange but had no answers there after several days):
Let ${\mathbb R}$ be the set of real numbers in whatever is your favorite model of $ZFC$. Then (by Levy ...

**8**

votes

**0**answers

131 views

### History of preservation theorems in forcing theory

For my honours thesis, I am studying a general preservation theorem using a framework provided by Shelah. I am mainly concerned about revised countable support iteration of $\dot{S}$-semiproper ...

**6**

votes

**1**answer

405 views

### Adding sets not containing arithmetic progressions of length three by forcing

Consider the following forcing notion: conditions in $\mathbb{P}$ are pairs $(s, N),$ where:
1) $s\in 2^{<\omega}$,
2) $N\in \mathbb{N}$,
3) (by identifying $s$ with a subset of $lh(s)$) $s$ ...

**1**

vote

**1**answer

115 views

### Questions about a possible way of representing construcive ordinal numbers

Let $K$ be the set of all total recursive functions of non-negative integers having only non-negative integers as values. Let $L$ be any well-ordered subset of $K$ in which the ordering $<$ is ...

**6**

votes

**1**answer

463 views

### A question on rank-to-rank embeddings

Consider a non-trivial elementary embedding $j:V_\lambda\to V_\lambda$ and, for each $A\subset V_\lambda$, set $j(A)=\bigcup_{\delta<\lambda}j(A\cap V_\delta)$.
In Implications between strong ...

**5**

votes

**0**answers

145 views

### Tree property and singular strong limit cardinals

I heard that the following theorem is proved recently by Foreman-Magidor, which answers a famous old open question:
Theorem. It is consistent, relative to the existence of large cardinals, that ...

**9**

votes

**2**answers

410 views

### Non-Forcing and Independence

I asked this question about two weeks ago on MSE and haven't gotten an answer, so I thought I would post the question here.
Do there exists sentences which are independent of ZFC, cannot be shown to ...

**2**

votes

**4**answers

355 views

### Topological spaces $(X,\tau)$ where $|\text{Cont}(X,X)| = |X|$

Let $(X,\tau)$ be a topological space. Let $\text{Cont}(X,X)$ denote the set of continuous functions $f:X\to X$.
What can be said about spaces $(X,\tau)$ where $|\text{Cont}(X,X)| = |X|$? For ...

**51**

votes

**12**answers

10k views

### Logic in mathematics and philosophy

What are the relations between logic as an area of (modern) philosophy and mathematical logic.
The world "modern" refers to 20th century and later, and I am curious mainly about the second half of ...

**8**

votes

**1**answer

215 views

### Translates of meager sets

Does there exist a meager set of reals M such that every meager set can be covered by countably many translates of M? This is the category analogue of the following.

**0**

votes

**1**answer

169 views

### Definable surjections in $J$-structures

Recall that a $J$-structure is an amenable structure of the form ($J_{\alpha}^A,B$) where $A$ and $B$ are predicates and $\alpha$ is a limit ordinal. Then if you let $M=J_{\alpha}^A$, there is a ...

**-6**

votes

**0**answers

78 views

### Can you give me some example of each these definition [closed]

I'm learning a partially ordered set.Can you give me some example of each these definition:
1.Upper and Down Bound :
...

**-4**

votes

**0**answers

78 views

### every(ultra)filter on set I is principle if and only if I is finite [closed]

1)the filter generated by{a,b} is not ultra filter?
2)the filters generated by singleton are precisely the principle ultrafilters.
3)every(ultra)filter on set I is principle if and only if I is ...

**14**

votes

**3**answers

810 views

### Questions about $\aleph_1-$closed forcing notions

"Foreman`s maximality principle" states that every non-trivial forcing notion either adds a real or collapses some cardinals. This principle has many consequences including:
1) $GCH$ fails ...

**30**

votes

**2**answers

683 views

### Translates of null sets

Does there exist a null set of reals $N$ such that every null set is covered by countably many translations of $N$?

**-2**

votes

**1**answer

170 views

### Forcing and $\mathbb{P}$-name [closed]

If $\mathbb{P}$ be a poset, $\dot{Q}$ a $\mathbb{P}$-name and $\mu$ an infinite cardinal such that $\Vdash 0<|\dot{Q}|\leq\mu$.
$(a)$ Exist names $\langle \dot{q}_\alpha\rangle_{\alpha<\mu}$ ...

**13**

votes

**3**answers

515 views

### Products of Cohen forcings

Let $\lambda$ be an infinite cardinal. Does the full support product of $\lambda$ copies of $Add(\omega, 1)$ collapse $2^\lambda$ to $\aleph_0$?
For $\lambda = \omega$, it is known to be true (it is ...

**1**

vote

**1**answer

207 views

### Confusion with proof about a fact $\mathbb{P}$-name [closed]

Let $\mathbb{P}$ be poset.
Let $B$ be a set. We say that a $\mathbb{P}$-name $\dot{b}$ is a nice name for member of $B$ if there is a maximal antichain $A\subseteq\mathbb{P}$ and a function ...

**7**

votes

**1**answer

215 views

### Foundation scheme for $\Sigma_{n+1}$-formulas

I have trouble working out a proof in the second part of
Jean-Pierre Ressayre and Alex Wilkie. Modèles non standard en arithmétique et théorie des ensembles. Publications ...

**2**

votes

**2**answers

222 views

### Zorn's lemma via Zermelo theorem [closed]

Is there a way to deduce Zorn's lemma from Zermelo theorem (that any set may be well ordered), which is essentially shorter then deduction of Zorn's lemma from the usual form of Axiom of Choice?

**6**

votes

**1**answer

269 views

### Axiom of choice and the equality between second-order constructible universe and HOD

I try to prove $L_{SO}=\mathrm{HOD}$, where $L_{SO}$ is second-order constructible universe which has similar definition with $L$ but it uses second-order definability rather than the first-order ...

**0**

votes

**1**answer

130 views

### Ore's theorem for countable graphs

Ore's theorem states that in a finite graph $G$ with $|V(G)|=n$, there is a Hamiltonian path, provided that the sums of the degrees of 2 distinct, non-adjacent vertices is $\geq n$.
For countable ...

**11**

votes

**1**answer

402 views

### Analogues of Primitive Recursive Functions

Let $\mathbf{A}$ be an admissible set (possibly with urelements). I am wondering if there is some good notion of "primitive recursive arithmetic" relative to $\mathbf{A}$. More precisely, I would like ...

**16**

votes

**1**answer

1k views

### Gödel's Constructible Universe in Infinitary Logics (A Possible Approach to HOD Problem)

Gödel's constructible universe ($L$) is defined using definable power set operator in first order logic ($\mathcal{L}_{\omega ,\omega}$). One can produce such a universe in infinitary logics in ...

**8**

votes

**1**answer

182 views

### $\kappa$-dense ideals on successor $\kappa$

Woodin gave a consistency proof of a normal $\omega_1$-dense ideal on $\omega_1$ from an almost-huge cardinal. He never published this argument, but it is written up by Foreman in the Handbook of Set ...

**3**

votes

**1**answer

150 views

### Disjoint refinements in $P(\kappa)/J$

The following is a theorem of Baumgartner, Hajnal, and Mate:
Suppose $J$ is a normal ideal on $\omega_1$ which is nowhere $\omega_1$-dense. Then for any sequence $\langle A_\alpha : \alpha < ...

**14**

votes

**3**answers

534 views

### Singularizing forcing of “small” cardinality?

Can there be a large cardinal $\kappa$ and a forcing of size $\kappa$ that makes $\kappa$ a singular cardinal? The motivation is that the standard Prikry forcing does not have a dense set of size ...

**9**

votes

**2**answers

390 views

### Completeness of the club filter without AC

Let $\kappa$ be a regular cardinal. If I understand correctly, the proof that the intersection of $<\kappa$ many club subsets of $\kappa$ is a club does not require AC. However, the proof that the ...

**4**

votes

**1**answer

246 views

### stationary tower forcing

It is known that if $\delta$ is a Woodin cardinal and $\kappa < \delta$, then the stationary tower forcing $\mathbb Q^\kappa_{<\delta}$ preserves cardinals up to $\kappa$ and forces $\delta = ...

**11**

votes

**1**answer

294 views

### cardinals below the critical point of a generic embedding

This may be an easy question. Are the cardinals below the critical point of a precipitous ideal embedding always absolute between the generic ultrapower and the generic extension?
To focus on the ...

**7**

votes

**2**answers

415 views

### collapsing successor of singular

Let $\lambda$ be a singular cardinal. Is it consistent that there is a forcing of size $\lambda^+$ that collapses $\lambda^+$ while preserving all cardinals below $\lambda$?
(Note that even without ...

**4**

votes

**1**answer

130 views

### presaturated ideals

In this paper, Gitik and Shelah make the following claim (part of Proposition 1.5):
Claim (Gitik-Shelah): Suppose $\kappa < \lambda$ are regular, $2^\lambda = \lambda^+$, and $D$ is a normal ...

**5**

votes

**2**answers

418 views

### A specific Model of ZFC

In his paper "Some Second Order Set Theory", Joel Hamkins asked whether there is a model of set theory $V$ that is elementary equivalent to $V[G]$, Whenever $G$ is $V$-generic for the collapse of a ...

**13**

votes

**3**answers

652 views

### Can Suslin (or Aronszajn) lines ever be orderings of abelian groups?

I am interested in realizing linear orders as orderings of abelian groups. In particular, can Suslin lines (and other classes of line) be realised in this way?
Let $\mathcal{C}$ be a class of ...

**4**

votes

**2**answers

192 views

### Proving results about complete Boolean algebras in ZFC using Boolean valued models

I want to know what non-trivial ZFC theorems (not consistency results) about complete Boolean algebras (or more generally of partially ordered sets) one can prove using forcing.
I am mainly ...

**1**

vote

**0**answers

102 views

### Closed subsets of Souslin orders [migrated]

A total order without end-points is Souslin if it is complete, non-separable and ccc. Such orders may or may not exist but when they do, there can be a vast zoo of them.
Can we get consistent ...

**5**

votes

**1**answer

192 views

### $\text{Cont}(X,X)$ and $\neg\mathsf{GCH}$

For a topological space $(X,\tau)$ let $\text{Cont}(X,X)$ denote the set of continuous functions $f:X\to X$. Is it consistent that there a space $(X,\tau)$ such that $$|X| < |\text{Cont}(X,X)| < ...

**3**

votes

**1**answer

84 views

### The GCH in a reverse Easton support iteration

I am trying to understand the proof that the GCH can first fail at a weakly compact cardinal. We assume the GCH and that there exists a weakly compact cardinal $\kappa$, and we construct a reverse ...

**6**

votes

**1**answer

219 views

### Is there a simple combinatorial characterization for when a direct limit of ultrapowers of $V$ is well-founded?

I want to know if there are fairly simple combinatorial necessary conditions for when a direct limit of ultrapowers of $V$ is well-founded similar to $\sigma$-completeness. By combinatorial, I mean ...

**5**

votes

**1**answer

434 views

### Consequences of ZF+“all subsets of reals are Lebesgue measurable”

(I'm not sure if this is entirely suitable here so feel free to close it if it's not.) The statement "there is a Lebesgue measure on $\mathbb{R}$($2^\omega$)" means: there is a total $\sigma$-additive ...

**10**

votes

**2**answers

300 views

### Is there a compendium of the consistency strength between the most important formal theories?

Preliminar Notions:
A formal system is a tuple $(\Sigma,G,A,R)$ where $\Sigma$ is an alphabet (set of symbols), $G$ is a formal grammar on $\Sigma$ that generates a formal language $L$ (set of well ...

**7**

votes

**1**answer

142 views

### $2$-uniformization versus $\omega$-uniformization of ladder systems

Let $S \subseteq \omega_1$ be a stationary set of limit ordinals and let $L = \langle L_\alpha \;|\; \alpha\in S\rangle$ be a ladder system. We say that $L$ has $\kappa$-uniformization if for every ...

**7**

votes

**1**answer

452 views

### Is there a suitably generalized Baire property for topological spaces of arbitrary cardinalities?

Is there some suitable generalization to the notion of Baire property for topological spaces of arbitrary cardinalities which satisfies the following condition:
The meager sets are sets which are ...

**6**

votes

**0**answers

156 views

### Singular Jonsson cardinals

Is the consistency of the following well-known:
$(*)$: There exists a singular cardinal $\kappa$ such that :
(1) $\kappa$ is a Jonsson cardinal,
(2) $\kappa$ is not a fixed point of the ...

**12**

votes

**1**answer

513 views

### Ordinary mathematics in Chang's model

This question is prompted by a paper by Andre Kornell that just appeared on the arXiv. A large portion of the paper is devoted to showing that a surprising amount of ordinary mathematics can be ...

**17**

votes

**1**answer

604 views

### Relative consistency of ETCS over the theory of a well-pointed topos with NNO

EDIT: I'm bumping this, because I'm still curious, and because I have a relative consistency result over the theory of a well-pointed topos with NNO, and I am wondering how much baggage I save by not ...

**5**

votes

**1**answer

141 views

### Pseudo-Prikry sequences vs Prikry sequences

Definition: Let $V\subseteq W$ be two transitive models of $ZFC$. A pseudo-Prikry sequence, $s$, at a cardinal $\kappa$ for $(V, W)$ is an $\omega$-sequence, cofinal at $\kappa$ such that for every ...