Sam Sanders

Darmstadt, Germany

https://sasander.wixsite.com/academic

I am a mathematician currently affiliated with the Department of Mathematics of TU Darmstadt.

My research is in higher-order Reverse Mathematics and Computability Theory, working closely with Dag Normann (University of Oslo).

The following paper provides a good example of our research:

https://arxiv.org/abs/2007.07560

top accounts reputation activity subscriptions

When more is less in logic

lo.logic reverse-math asked Dec 13, 2022 at 15:04

mathoverflow.net

13 votes

"At most one" versus "at most finitely many"

lo.logic reverse-math asked Nov 20, 2022 at 11:12

mathoverflow.net

10 votes

Connection between second-order arithmetic and Hilbert-Bernays' Grundlagen

lo.logic reverse-math asked Sep 27, 2020 at 20:57

mathoverflow.net

9 votes

Coding third-order objects via second-order ones

lo.logic computability-theory reverse-math computable-analysis asked Jul 7, 2021 at 7:51

mathoverflow.net

9 votes

Reverse Mathematics strength of fixed radius covering theorem

lo.logic reverse-math asked Mar 25, 2022 at 10:38

mathoverflow.net

7 votes

Between real analysis and mathematical logic

real-analysis lo.logic asked Mar 22, 2023 at 10:33

mathoverflow.net

7 votes

Proving finiteness in Reverse Mathematics

lo.logic computability-theory reverse-math asked Nov 25, 2023 at 14:44

mathoverflow.net

6 votes

Attainment of maximum

real-analysis asked Jan 22 at 9:20

mathoverflow.net

6 votes

Measurable functions from logical formulas

lo.logic descriptive-set-theory asked Jul 22 at 13:52

mathoverflow.net

6 votes

Sequential continuity and the Axiom of Choice

real-analysis set-theory axiom-of-choice asked yesterday

mathoverflow.net

Top Answers

Can you do math without knowing how to count?

mathoverflow.net

Reverse mathematics of Cousin's lemma

mathoverflow.net

Can nonstandard analysis be used to prove results in constructive or computable analysis?

mathoverflow.net

SPOT as a conservative extension of Zermelo–Fraenkel

mathoverflow.net

Interpreting Conway's remark about using the surreals for non-standard analysis

mathoverflow.net

Set-theoretical reverse mathematics of the reals

mathoverflow.net

Interview of Connes, Caramello, and L. Lafforgue about topos theory

mathoverflow.net

What can be preserved in mathematics if all constructions are carried out in ZF?

mathoverflow.net

Simpler proofs using the axiom of choice

mathoverflow.net

Church–Turing thesis for higher order functions

mathoverflow.net

Uniqueness results that follow from CH

mathoverflow.net

Is there a semantics for intuitionistic logic that is meta-theoretically "self-hosting"?

mathoverflow.net

Is there a purely constructive presentation of the HK integral?

mathoverflow.net

Is there a constructive version of internal set theory?

mathoverflow.net

How much of mathematical General Relativity depends on the Axiom of Choice?

mathoverflow.net

Lists as a foundation of mathematics

mathoverflow.net

Did Edward Nelson accept the incompleteness theorems?

mathoverflow.net

Is there a completeness proof of intuitionistic predicate calculus using Heyting algebra semantics that is inuitionistically valid?

mathoverflow.net

Does anyone still seriously doubt the consistency of $ZFC$?

mathoverflow.net

New research on coding in reverse mathematics?

mathoverflow.net

Comprehension axiom that helps in the opposite direction

mathoverflow.net

Trading Choice for Comprehension (or Replacement)

mathoverflow.net

Halmos and the Axiom of Choice: attitudes in 1960

math.stackexchange.com