Ed Dean

1,317

Reputation

1073 views

Registered User

Name	Ed Dean
Member for	2 years
Seen	19 mins ago
Website	andrew.cmu.edu/user/edean
Location	Pittsburgh, PA
Age

logic grad student, Carnegie Mellon

stats recent reputation favorites

0

Questions

23

Answers

votes newest views recent

Elementary+Short+Useful (2)

Higher categories in logic

Irreversible chess

Completion of ZFC

Is the space of continuous functions from a compact metric space into a Polish space Polish?

Set-Theoretic Issues/Categories

Axiomatic Set Theory

Essential reads in the philosophy of mathematics and set theory

An undergraduate’s guide to the foundational theorems of logic

How much of ZFC does Quine’s New Foundations prove?

History of Logic Development

Does model-complete in a language with a constant symbol imply EQ?

Mathematical “urban legends”

Independence of P = NP?

Is there any literature about inner-replacement rule?

A Game of Knights and Queens

Why does the Kleene Hierarchy not collapse?

Modal logic - satisfiability

Reference Request: Non-Standard Models of PA

effective/constructive/algorithmic probability theory

FTA in first order setting

Is it correct to state that basic primitive recursive functions are in fact combinators?

Limiting set theory using symmetry

413

Votes

405

8

31

Tags

18

Badges

● Nice Answer× 4
● Yearling× 2
● Citizen Patrol

● Disciplined
● Editor
● Fanatic

● Civic Duty
● Organizer
● Commentator

● Critic
● Supporter
● Teacher

● Enthusiast
● Autobiographer