Marios Koulakis

128

Reputation

171 views

Registered User

Name	Marios Koulakis
Member for	2 years
Seen	Feb 12 at 22:59
Website
Location
Age	28

stats recent reputation favorites

1

Questions

2

8

votes

6

answers

829

views

(Non?)-linearity of the consistency strength ordering in ZF

lo.logic set-theory big-picture foundations

nov 17 11 at 15:43 Joost Lambregts 1

1

Answers

No complexity class contains all recursive languages

7

Votes

7

5

Tags

set-theory
lo.logic
foundations
computational-complexity
big-picture

4

Badges