User Ur Ya'ar - Mathematics Stack Exchange

Ur Ya'ar

Member for 10 years, 9 months
Last seen more than a week ago

Jerusalem, ישראל

20 Questions

Score Activity Newest Views

17 votes

2 answers

788 views

Does ZFC decide every question about finitely generated groups?

asked Mar 17, 2016 at 11:05

5 votes

1 answer

626 views

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

asked Jul 30, 2016 at 7:44

4 votes

2 answers

968 views

Why does any transitive model satisfy extensionality?

asked Feb 24, 2013 at 10:38

4 votes

1 answer

115 views

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

asked May 16, 2017 at 11:12

4 votes

1 answer

82 views

Models having the same standard system

asked May 25, 2017 at 19:26

4 votes

1 answer

145 views

Definition of nonstandard $\omega$

asked May 26, 2017 at 12:04

4 votes

1 answer

177 views

Understanding sets added by a forcing notion

asked Apr 3, 2016 at 14:35

4 votes

1 answer

154 views

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

asked Apr 14, 2016 at 11:11

4 votes

0 answers

249 views

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

asked Jun 7, 2016 at 17:43

4 votes

0 answers

159 views

A poset oriented proof for the intermediate model theorem.

asked Jun 18, 2016 at 14:39

4 votes

3 answers

142 views

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

asked Apr 14, 2018 at 15:03

3 votes

0 answers

124 views

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

asked Dec 11, 2016 at 11:02

2 votes

1 answer

96 views

Forcing with a "shrinked" poset

asked Jun 24, 2016 at 14:40

1 vote

1 answer

359 views

Matrix equivalence via orthogonal matrices

asked Jul 24, 2016 at 15:39

1 vote

0 answers

183 views

Enlarging the continuum with $\sigma$-centered forcing

asked May 1, 2016 at 9:16

1 vote

0 answers

64 views

Supremum of an antichain in countably closed poset

asked Feb 12, 2017 at 20:52

1 vote

0 answers

72 views

Downward Lowenheim-Skolem-Tarski theorem for Cofinality logic

asked Mar 8, 2018 at 15:27

1 vote

1 answer

133 views

Can elementary embeddings make ordinals jump over strongly inaccessible cardinals?

asked Jan 16, 2019 at 13:00

1 vote

1 answer

435 views

Non-compact manifolds with everywhere positive curvature

asked Feb 15, 2021 at 19:12

0 votes

1 answer

143 views

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

asked Feb 15, 2016 at 13:21