Adam

1,970
Reputation
1026 views
Is this your account?

Registered User 

Name Adam
Member for 3 years
Seen May 21 2012 at 20:59
Website
Location UC Berkeley
Age
I'm a grad student at UC Berkeley. No, I'm not a member of the Logic group.
21

Questions
votes newest views recent
6

6

3

6

 

2

1

 

2
4
votes
4
answers
1k
views

first-order definability transitive closure operator

mar 16 at 20:35 François G. Dorais♦ 22.4k●2●48●113

4

1 2 3 next

 

28

Answers
votes newest views recent
21
What programming languages do mathematicians use?
15
In set theories where Continuum Hypothesis is false, what are the new sets?
11
Russell and Whitehead’s types: ramified and unramified
10
Difference between turnstile and implication
10
What are κappa-categories?
6
Consequences of technically proving anything in Coq (on at least Linux) exploiting a bug?
6
Models of ZFC Set Theory - Getting Started
5
Logical problems in category theory
4
Categorical foundations without set theory
4
Theory mainly concerned with $\lambda$-calculus?
4
What are your favorite instructional counterexamples?
4
How do they verify a verifier of formalized proofs?
3
‘Closure’ of CFLs under complementation and intersection
3
Machine model for primitive recursion?
3
How would one even begin to try to prove that a simple number-theoretic statement is undecidable?
3
What are interesting families of subsets of a given set?
2
Is functional programming a branch of mathematics?
2
Can dependent sums be encoded as dependent products?
2
Proper classes and their consequences
2
Provable(P) ⇒ provable(provable(P))?
2
Computer Science for Mathematicians
1
What do I call type theory without Curry-Howard?
1
Generalizations of PA and its standard and non-standard models
1
Context free grammar + functions = ?
1
How to think like a set (or a model) theorist.
1
What category without initial object do you care about?
0
What is the manner of inconsistency of Girard’s paradox in Martin Lof type theory
0
How much of the current logic is about syntax?

 

205

Votes
139
66

 

42

Tags
× 22
× 15
× 10
× 8
× 4
× 4
× 3
× 3
× 3
× 3
 × 3
× 2
× 2
× 2
× 2
× 2
× 2
× 2
× 2
× 2
 × 2











 

24

Badges
● Popular Question× 2
● Yearling× 3
● Nice Answer× 5
● Nice Question× 3
 ● Organizer
● Enlightened
● Fanatic
● Enthusiast
 ● Commentator
● Editor
● Critic
● Supporter
 ● Teacher
● Scholar
● Student