Stack Exchange

Stefan

Ph.D. student in the 'Westfälische Wilhelms-Universität Münster' (or simply WWU Münster) under supervision of Prof. Dr. Ralf Schindler. I'm mainly interested in Inner Model Theory, especially 'Inner Model Theoretic Geology' (see Fuchs, Schindler. Inner Model Theoretic Geology and Sargsyan, Schindler. Varsovian Models I).

You can reach me at my email: (my username) (dot) m (at) wwu (dot) de

I support free software

top accounts reputation activity subscriptions
Top Questions
115 votes

Function chaining in Python

python function python-3.x asked Aug 19, 2016 at 11:48
stackoverflow.com

74 votes

Machine Learning Golf: Multiplication

arithmetic atomic-code-golf neural-networks asked Jul 2, 2019 at 11:38
codegolf.stackexchange.com

19 votes

Line is not perfectly horizontal in Commutative Diagram in Tikz

tikz-pgf commutative-diagrams asked Mar 14, 2016 at 10:37
tex.stackexchange.com

11 votes

Does $0^{\#}$ imply the failure of upward directedness in the set generic universe over $L$?

set-theory forcing large-cardinals inner-model-theory asked Jul 4, 2018 at 13:43
mathoverflow.net

7 votes

Dragon curve floating on freshly brewed coffee

aeropress asked Dec 9, 2016 at 11:56
coffee.stackexchange.com

7 votes

Simple bijection $\mathbb N_0 \times \mathbb N_0 \to \mathbb N_0$

elementary-number-theory elementary-set-theory soft-question asked Oct 18, 2017 at 11:09
math.stackexchange.com

6 votes

Cofinal $\Sigma_0$-embeddings between transitive models of $\mathrm{ZFC}^-$

set-theory asked Jan 5, 2018 at 1:16
math.stackexchange.com

6 votes

In $ZF+ \neg C$ can we always find a bijection from a given set $A$ to a transitive set?

set-theory axiom-of-choice asked Sep 10, 2015 at 21:36
math.stackexchange.com

6 votes

Does $0^{\#}$ imply that $L$'s set generic multiverse has irreconcilable theories?

set-theory lo.logic forcing inner-model-theory asked Jul 22, 2018 at 16:06
mathoverflow.net

6 votes

$M$-amenable ultrafilters on $\kappa$ are $\kappa$-powerset preserving

set-theory filters large-cardinals asked Nov 25, 2015 at 16:30
math.stackexchange.com

1 2

Top Answers
74
How do we prove that something is unprovable?
math.stackexchange.com

31
Can any infinite set be written as the union of finite sets?
math.stackexchange.com

24
Is it possible to obtain a non-skewed coin from a skewed coin?
math.stackexchange.com

20
Is the axiom of choice necessary here?
math.stackexchange.com

15
Machine Learning Golf: Multiplication
codegolf.stackexchange.com

15
Show that a complete metric space without isolated points is uncountable
math.stackexchange.com

14
Are older mathematics textbooks still "valid"?
math.stackexchange.com

12
definition of ordered vector space
math.stackexchange.com

12
Real numbers as element of a universe
math.stackexchange.com

11
Chance on throwing last number of full house with two die
math.stackexchange.com

11
What does it even mean to say 'preserve structure'?
math.stackexchange.com

11
"If $f$ is a linear function of the form $f(x)=mx+b$, then $f(u+v)=f(u)+f(v).$" True or false?
math.stackexchange.com

10
How should one picture a topology/ topological space?
math.stackexchange.com

10
Example for a commutative subring of a non-commutative ring
math.stackexchange.com

9
Is it known whether or not $\aleph_\alpha=\beth_\alpha$ can be proven by ZFC?
mathoverflow.net

9
Does $V = \textit{Ultimate }L$ imply GCH?
mathoverflow.net

9
Completeness and Incompleteness
math.stackexchange.com

9
Taking away infinitely many elements infinitely many times
math.stackexchange.com

8
How to identify limit ordinals?
math.stackexchange.com

8
Cardinality of the set of functions commuting with $f:X\to X$
mathoverflow.net

8
If $\sum a_{2k}$ exists then $\sum a_m$ exists?
math.stackexchange.com

7
Rust regex pattern - unrecognized escape pattern
stackoverflow.com

7
Distributivity of ordinal arithmetic
math.stackexchange.com

7
Proof that the empty set is a relation
math.stackexchange.com

7
Are all countable metric spaces discrete?
math.stackexchange.com

7
Construction of exponentiation of the integers, rationals, and reals?
math.stackexchange.com

7
Why is $\{\aleph_{i}: i\in\omega\}$ only a subset of $\aleph_{\omega}$
math.stackexchange.com

6
How to show that the $\max(P(A),P(B)) \leq P(A\cup B)$
math.stackexchange.com

6
Should I be concerned if I cannot solve most exercises in my textbook?
math.stackexchange.com

6
Diamond in Subtle Cardinals
math.stackexchange.com

1 2