Colin McLarty

1,879
Reputation
719 views
Is this your account?

Registered User 

Name Colin McLarty
Member for 1 year
Seen May 19 at 23:09
Website
Location Case Western Reserve University
Age 61
25

Questions
votes newest views recent
9

5
14
votes
0
answers
325
views

Authorship of Grothendieck universes

dec 29 at 14:32 Colin McLarty 1,879●2●14

1

 
10
votes
1
answer
338
views

Does any lower bound on proofs of FLT improve Shepherdson 1965?

apr 16 at 15:37 Ryan Reich 3,951●1●9●25

1

1
7
votes
1
answer
357
views

What is the status of Cantor-Schroder-Bernstein in Reverse Math?

dec 19 at 20:26 François G. Dorais♦ 22.7k●2●48●113

 
7
votes
0
answers
225
views

Can second order arithmetic make $\aleph_1^L$ countable?

nov 5 at 2:40 Colin McLarty 1,879●2●14

1
7
votes
1
answer
194
views

Extremals versus minima for variational problems

apr 11 12 at 13:37 Robert Bryant 21.8k●3●75●97

 
7
votes
1
answer
314
views

Does ZF bound countable unions of countable sets?

oct 15 at 9:21 Asaf Karagila 7,243●1●14●44

1
6
votes
1
answer
269
views

Generalizing Feferman - Levy

oct 15 at 19:10 Andres Caicedo 14.4k●1●42●79

1 2 3 next

 

5

Answers
votes newest views recent
8
When must it be sets rather than proper classes, or vice-versa, outside of foundational mathematics?
7
product operation: name and notation
3
Finite order arithmetic and ETCS
3
Show that $A$ cartesian closed need not imply $A^J$ is cartesian closed.
3
Ideals of etale structure sheaves

 

97

Votes
92
5

 

22

Tags
× 13
× 11
× 8
× 5
× 4
× 4
× 3
× 2











 

16

Badges
● Popular Question
● Nice Question× 4
● Good Question
 ● Mortarboard
● Yearling
● Self-Learner
 ● Commentator
● Critic
● Editor
 ● Supporter
● Teacher
● Scholar
 ● Student