M Carl

281
Reputation
116 views
Is this your account?

Registered User 

Name M Carl
Member for 1 year
Seen Feb 20 at 15:48
Website
Location Konstanz
Age 31
7

Questions
votes newest views recent
3

 
4
votes
1
answer
209
views

Sequences of projecta in the constructible hierarchy.

nov 17 11 at 14:23 François G. Dorais♦ 22.7k●2●48●113

1

 
3
votes
1
answer
141
views

Is there an $E_1$-definition of primality?

sep 5 at 12:05 Emil Jeřábek 10.7k●1●24●41

1

 
3
votes
1
answer
82
views

Transfinitely iterated limit computability

nov 9 at 14:58 Joel David Hamkins 75.3k●7●187●343

 
1
vote
2
answers
241
views

“Ill-founded Recursion” without Fund

may 15 12 at 6:56 Andreas Blass 32.9k●4●54●109

 

1

Answers
1
Equivalent Forms of AC

 

7

Votes
7

 

11

Tags
× 7
× 3
× 3
× 2

 

5

Badges
● Teacher
● Editor
 ● Scholar
● Supporter
 ● Student