Ur Ya'ar's user avatar
Ur Ya'ar's user avatar
Ur Ya'ar's user avatar
Ur Ya'ar
  • Member for 11 years
  • Last seen more than a month ago
  • Jerusalem, ישראל
17 votes
2 answers
792 views

Does ZFC decide every question about finitely generated groups?

5 votes
1 answer
652 views

Zeroes of $z^4+e^z$ in the unit disk

4 votes
2 answers
978 views

Why does any transitive model satisfy extensionality?

4 votes
1 answer
117 views

Is $\lambda \in E_{\lambda}^{\kappa}$?

4 votes
1 answer
82 views

Models having the same standard system

4 votes
1 answer
149 views

Definition of nonstandard $\omega$

4 votes
1 answer
177 views

Understanding sets added by a forcing notion

4 votes
1 answer
155 views

Do the notations for relative constructible universe and for forcing extention coincide?

4 votes
0 answers
260 views

Reference about $\sigma$-linked posets and related notions

4 votes
0 answers
165 views

A poset oriented proof for the intermediate model theorem.

4 votes
3 answers
143 views

Simplest set that requires Replacement but cannot be achieved using Power-Set

3 votes
0 answers
124 views

$\kappa < \mathfrak{p}$ implies $MA_{\mathbb{P}}(\kappa)$ for $\mathbb{P}$ $\sigma$-centered

2 votes
1 answer
98 views

Forcing with a "shrinked" poset

1 vote
1 answer
374 views

Matrix equivalence via orthogonal matrices

1 vote
0 answers
198 views

Enlarging the continuum with $\sigma$-centered forcing

1 vote
0 answers
65 views

Supremum of an antichain in countably closed poset

1 vote
0 answers
78 views

Downward Lowenheim-Skolem-Tarski theorem for Cofinality logic

1 vote
1 answer
135 views

Can elementary embeddings make ordinals jump over strongly inaccessible cardinals?

1 vote
1 answer
493 views

Non-compact manifolds with everywhere positive curvature

0 votes
1 answer
146 views

Interpretation of relations in varying-domain models of F.O. modal logic