784 reputation
19
bio website
location London, United Kingdom
age 43
visits member for 1 year, 2 months
seen Apr 24 at 4:21
stats profile views 109

Education: Mathematics BA, Theoretical Physics MSc

Interested in the Eastern & continental philosophy.


Apr
24
answered How to introduce advanced set-theoretical objects to philosophy students?
Mar
28
asked What is the cohomological explanation for the Condorcets voting paradox?
Mar
27
asked Are all large cardinal axioms expressible in terms of elementary embeddings?
Mar
14
revised What is the (propositional) logic associated with an orthomodular lattice?
deleted 5 characters in body
Mar
14
asked What is the (propositional) logic associated with an orthomodular lattice?
Mar
12
accepted Is there an interesting topology on the transfinite cardinals?
Mar
12
comment Is there an interesting topology on the transfinite cardinals?
@Karaglia - this was the reason for focusing on cardinals. But I'm not overly familiar with this area which explains both the caution and broadness.
Mar
12
comment Is there an interesting topology on the transfinite cardinals?
@Brandenburg: Yes I do, but it's not in this question. I'm more curious as to what other natural topologies are available if GCH is either asserted or denied.
Mar
12
asked Is there an interesting topology on the transfinite cardinals?
Mar
10
accepted Can Arithmetic recreate the transinfinite hierarchy of Set Theory?
Mar
10
answered Proving the snake lemma without a diagram chase
Mar
10
accepted Which categories correspond to the untyped and typed lambda calculus?
Mar
9
revised Which categories correspond to the untyped and typed lambda calculus?
edited body
Mar
9
asked Which categories correspond to the untyped and typed lambda calculus?
Mar
8
revised Are there real world applications of finite group theory?
added 1155 characters in body
Mar
8
revised Are there real world applications of finite group theory?
deleted 2 characters in body
Mar
8
comment Can Arithmetic recreate the transinfinite hierarchy of Set Theory?
I can see that interpretation would lead to violations of incompleteness; so encoding the whole of ZFC in PA can't work. But certainly one can encode some fragment of ZFC - specifically that part of ZFC that specifically gives you PA!
Mar
8
comment Is there a useful Galois connection between Languages and Grammars?
@Lin: The Language bit is easy. Its the Grammar bit that I'm not sure of. I thought there may be some prior work somewhere.
Mar
8
revised Are there real world applications of finite group theory?
deleted 11 characters in body
Mar
8
comment Are there real world applications of finite group theory?
@Yuan: thanks for the clarification