26,193 reputation
22278
bio website logicmatters.net
location Cambridge, United Kingdom
age
visits member for 2 years, 5 months
seen 5 hours ago

Recently retired from Cambridge Philosophy Faculty, interested in logic and philosophy of maths.

I waste time on twitter @PeterSmith (http://twitter.com/PeterSmith/)

For more about me, and links to my blog and website, see http://www.logicmatters.net/about/


Nov
17
comment Dedekind(?) representation lemma on posets?
Thanks, I'll try there too --- I didn't know about that S.E.!
Nov
17
asked Dedekind(?) representation lemma on posets?
Oct
31
revised Robinson arithmetic and its incompleteness
added 3 characters in body
Oct
31
answered Robinson arithmetic and its incompleteness
Oct
28
asked What's a good motivating example for the concept of a slice category?
Oct
27
answered What is a list of book that i need to read as a prerequisite before start reading “lectures of logic and set theory vol.1 by George Tourlakas”?
Oct
21
comment Introductory example(s) of a functor that is full but not faithful
(1) is particularly nice for giving beginners, thanks!
Oct
21
revised Introductory example(s) of a functor that is full but not faithful
edited body
Oct
21
accepted Introductory example(s) of a functor that is full but not faithful
Oct
20
comment Introductory example(s) of a functor that is full but not faithful
I'm not sure why the downvotes: the deleted plausible-but-wrong answers suggest that the question isn't entirely banal, no?
Oct
20
asked Introductory example(s) of a functor that is full but not faithful
Oct
18
revised Name for introducing negation with quantifiers
added 26 characters in body
Oct
18
answered Name for introducing negation with quantifiers
Oct
18
revised Clarification regarding bound variables and quantifiers
added 227 characters in body
Oct
18
comment Clarification regarding bound variables and quantifiers
In a fixed context, with a standard [single sorted] first-order language, all the variables have the same universe of discourse.
Oct
18
revised Clarification regarding bound variables and quantifiers
added 3 characters in body
Oct
18
answered Clarification regarding bound variables and quantifiers
Oct
17
revised Second order universal quantifier elimination restriction
added 5 characters in body
Oct
13
comment General Strategy for Derivations in Propositional Logic
In just the same sense that Hilbert-Frege style proofs establishing many theorems en route to the target conclusion, a natural deduction derivation establishes many sequents en route to the conclusion. There is no relevant difference.
Oct
9
answered What is the difference between logical and iterative set