Ed Dean

1,446

Reputation

1245 views

Registered User

Name	Ed Dean
Member for	3 years
Seen	5 hours ago
Website	andrew.cmu.edu/user/edean
Location	Pittsburgh, PA
Age

logic grad student, Carnegie Mellon

stats recent reputation favorites

0

Questions

25

Answers

votes newest views recent

Elementary+Short+Useful (2)

Higher categories in logic

Axiomatic Set Theory

Irreversible chess

Completion of ZFC

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

Essential reads in the philosophy of mathematics and set theory

Set-Theoretic Issues/Categories

A question about Quine’s set theory NF.

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

Is there a general theory of models that has as instances classical FOL, classical propositional logic, etc.?

FTA in first order setting

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

Limiting set theory using symmetry

431

Votes

421

10

31

Tags

20

Badges

● Yearling× 3
● Nice Answer× 5
● Citizen Patrol

● Disciplined
● Editor
● Fanatic

● Civic Duty
● Organizer
● Commentator

● Critic
● Supporter
● Teacher

● Enthusiast
● Autobiographer