Mark Kamsma

Member for 4 years, 8 months
Last seen this week

markkamsma.nl
Queen Mary University of London, London, United Kingdom

Summary

Reputation

12,695

12.7k
8.3k
3.9k

2020
2021
2022
2023

Top tag

category-theory

Next privilege

15,000 Rep.

Protect questions

Badges

1

9

33

Newest

Yearling

Next badge

488/600

Electorate

Answers

View all 320 answers

Score Activity Newest

22

Can Russell's paradox, Halting problem and Godel's Incompleteness theorem be generalized?

Feb 9, 2020

14

Semigroups with no morphisms between them

Apr 19, 2019

10

Is every set a filtered colimit of finite sets?

Apr 8, 2019

9

Show that the Yoneda embedding preserves exponential objects

Jan 16, 2020

9

Showing $P \land (P \lor Q) = P$ using only laws of propositions.

Aug 29, 2019

Questions

Score Activity Newest Views

6

Real exponential field with restricted analytic functions: $\mathbb R_{an,\exp,\log}$ has quantifier elimination, but $\mathbb R_{an,\exp}$ does not.

Apr 18, 2019

4

What large cardinals are limits of Ramsey cardinals?

Apr 24, 2020

4

Is a Boolean algebra with quasi-compact top element finite?

Oct 13

Tags

View all 115 tags

category-theory

337

Score

105

posts

model-theory

253

Score

84

posts

logic

223

Score

85

posts

first-order-logic

112

Score

40

posts

elementary-set-theory

110

Score

53

posts

Reputation

+10

Is there a formula in FOL that is only satisfiable in an infinite domain

+10

Compilation of (exercises on) examples of forking, dividing, and independence

+10

Poset to total order via Zorn's lemma?

+15

Does non-existence of surjection imply the existence of injection?

Badges

View all badges

1

gold badge

Fanatic

Jul 14, 2019

9

silver badges

Civic Duty

Apr 1, 2020
Constituent

× 2

Nov 15, 2021
Enthusiast

May 5, 2019

33

bronze badges

first-order-logic

Dec 2, 2022
model-theory

Apr 27, 2020
category-theory

Nov 17, 2019

Accounts

12.7k
1
9
33

101
1
2
5

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

815

upvotes

104

downvotes

488

question votes

431

answer votes

6

this month

6

this week