Mathematics
Mark Kamsma's user avatar
Mark Kamsma's user avatar
Mark Kamsma's user avatar
Mark Kamsma
  • Member for 3 years, 10 months
  • Last seen this week
Profile Activity
Stats
11,698
reputation
44k
reached
304
answers
2
questions
Communities
About

I am a Teaching Fellow at Imperial College. My research interests lie in model theory, in particular in:

  • independence relations;
  • generalisations to other logics: positive logic, continuous logic and categorical logic.
Badges
View all badges
1
gold badge
8
silver badges
33
bronze badges
Top tags
View all tags
313
Score
103
Posts
34
Posts %
223
Score
76
Posts
25
Posts %
207
Score
79
Posts
26
Posts %
104
Score
37
Posts
12
Posts %
101
Score
50
Posts
16
Posts %
61
Score
20
Posts
7
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
19
Can Russell's paradox, Halting problem and Godel's Incompleteness theorem be generalized?
Feb 9, 2020
answer
14
Semigroups with no morphisms between them
Apr 19, 2019
answer
10
Is every set a filtered colimit of finite sets?
Apr 8, 2019
answer
9
Showing $P \land (P \lor Q) = P$ using only laws of propositions.
Aug 29, 2019
answer
9
Show that the Yoneda embedding preserves exponential objects
Jan 16, 2020
answer
9
What does it mean that terminal object have morphism to other object?
Jul 23, 2021
answer
7
Is there a canonical way to go back from $\hat{\mathbb{C}}$ (presheaves) to $\mathbb{C}$
Nov 20, 2019
answer
7
Equivalence Between Law of Excluded Middle and Self-Implication
May 23, 2019
answer
7
What (if anything) can we infer about a first order theory from its category of models?
Jan 4, 2021
answer
7
Does the forgetful functor $U: \mathbf{Gph} \to \mathbf{Set}$ have a left adjoint?
Mar 14, 2020

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.