output
20072026
most citedA Comparison of Different Methods to Adjust Survival Curves for Confounders

174 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing math.LOShow all

6 papers · 1 filter

math.LO2025

From real analysis to the sorites paradox via Reverse Mathematics

Walter Dean, Sam Sanders

This paper presents a reverse mathematical analysis of several forms of the sorites paradox. We first illustrate how traditional formulations are reliant on Hölder's Representation…

math.LO2024★ 1 cited

Coding is hard

Sam Sanders

A central topic in mathematical logic is the classification of theorems from mathematics in hierarchies according to their logical strength. Ideally, the place of a theorem in a hi…

math.LO2024★ 1 cited

A note on continuous functions on metric spaces

Sam Sanders

Continuous functions on the unit interval are relatively tame from the logical and computational point of view. A similar behaviour is exhibited by continuous functions on compact…

math.LO2023★ 1 cited

Approximation theorems throughout Reverse Mathematics

Sam Sanders

Reverse Mathematics (RM for short) is a program in the foundations of mathematics where the aim is to find the minimal axioms needed to prove a given theorem of ordinary mathematic…

math.LO2022★ 13 cited

On the computational properties of basic mathematical notions

Dag Normann, Sam Sanders

We investigate the computational properties of basic mathematical notions pertaining to -functions and subsets of , like finiteness, c…

math.LO2017

Justification announcements in discrete time. Part II: Frame definability results

Grigory K. Olkhovikov

In Part I of this paper, we presented a Hilbert-style system axiomatizing of stit logic of justification announcements (JA-STIT) interpreted over models with discrete time st…