Christoph-Simon Senjak's user avatar
Christoph-Simon Senjak's user avatar
Christoph-Simon Senjak's user avatar
Christoph-Simon Senjak
  • Member for 14 years, 2 months
  • Last seen more than 6 years ago
17 votes

Function extensionality: does it make a difference? why would one keep it out of the axioms?

5 votes

Why can't proofs have infinitely many steps?

5 votes

Most 'unintuitive' application of the Axiom of Choice?

5 votes

When are two proofs of the same theorem really different proofs

4 votes

Non-constructive proofs of decidability?

3 votes

Does the existence of the von Neumann hierarchy in models of Zermelo set theory with foundation imply that every set has ordinal rank?

3 votes

Independence of P = NP?

3 votes

Can SAT be solved in time n^k, for a specific k?

2 votes

Theory mainly concerned with $\lambda$-calculus?

2 votes

What is the general opinion on the Generalized Continuum Hypothesis?

1 vote

Impredicativity

0 votes

Which classes are sets?

0 votes

Can transfinite induction be defined as axiom scheme in FOL on bin-tree structures?

0 votes

Does the axiom of specification prevent writing any proof?

0 votes

Naturally definable sets of natural numbers

0 votes

Is there a natural example of a second order proof that does not reduce to a first order proof in a straight forward way, if all variables are filled in?

-2 votes

Axioms of Choice in constructive mathematics