Stack Exchange

Mark Kamsma

University of East Anglia (Norwich), Norwich, Verenigd Koninkrijk

PhD student at the University of East Anglia, primarily interested in category theory and model theory.

top accounts reputation activity favorites subscriptions

Top Questions

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

logic model-theory asked Apr 18 '19 at 22:28

math.stackexchange.com

Top Answers

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

math.stackexchange.com

Semigroups with no morphisms between them

math.stackexchange.com

Is every set a filtered colimit of finite sets?

math.stackexchange.com

Power sets : Do the relations between P(A) and P(B) always mirror the relations between the sets A and B?

math.stackexchange.com

Show that Yoneda embedding preserves exponentials

math.stackexchange.com

Monomorphism into separated presheaf

math.stackexchange.com

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

math.stackexchange.com

On the link between elementary equivalence and isomorphism in first-order logic

math.stackexchange.com

Axiomatization of equivalence relations having finite equivalence classes

math.stackexchange.com

Filtered colimit of integral domains is an integral domain

math.stackexchange.com

Why can a subpresheaf of a representable functor be seen as a set of arrows closed under precomposition?

math.stackexchange.com

Intersection of an element and a set containing that element.

math.stackexchange.com

Forgetful functor from Pos to Set does not have a right adjoint

math.stackexchange.com

Why constant symbols in a language?

math.stackexchange.com

Equivalence Between Law of Excluded Middle and Self-Implication

math.stackexchange.com

UMP of product functor

math.stackexchange.com