Christoph-Simon Senjak

302

Reputation

194 views

Registered User

Name	Christoph-Simon Senjak
Member for	3 years
Seen	May 22 at 17:52
Website	blog.uxul.de
Location	munich
Age

stats recent reputation favorites

5

Questions

votes newest views recent

1

4

votes

4

answers

2k

views

Examples of inductive proofs that can be generalized by transfinite induction

set-theory co.combinatorics lo.logic

mar 16 10 at 20:43 Dan Ramras 3,741●2●17●26

4

votes

1

answer

244

views

Is the chromatic number of the real plane invariant under the norm?

graph-colorings graph-theory

jan 3 11 at 19:58 Anthony Quas 6,260●1●12●28

4

votes

1

answer

345

views

What fails when using call/cc as realizer of the Peirce formula

lo.logic computer-science type-theory

jan 17 11 at 14:47 Finn Lawler 2,361●1●5●11

1

2

votes

0

answers

198

views

Non-Computational classical subterms

lo.logic reverse-math constructive-mathematics

jan 7 12 at 23:03 Andrej Bauer 12.5k●27●69

2

votes

0

answers

218

views

What follows from assuming not Con(ZF)?

set-theory lo.logic model-theory

mar 15 at 8:24 Jirka Hanika 156●6

13

Answers

votes newest views recent

When are two proofs of the same theorem really different proofs

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

Independence of P = NP?

Most ‘unintuitive’ application of the Axiom of Choice?

Theory mainly concerned with $\lambda$-calculus?

What is the general opinion on the Generalized Continuum Hypothesis?

Why can’t proofs have infinitely many steps?

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?

Does the axiom of specification prevent writing any proof?

Naturally definable sets of natural numbers

Impredicativity

Which classes are sets?

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

32

Votes

31

1

20

Tags

9

Badges

● Editor
● Popular Question

● Enthusiast
● Yearling

● Critic
● Scholar

● Student
● Supporter