12 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Centre for Artificial Intelligence and RoboticsIN1 paper
- City University of New YorkUS1 paper
- European University CyprusCY1 paper
- Foundation for Research and Technology HellasGR1 paper
- Goddard Space Flight CenterUS1 paper
- Google DeepMind (United Kingdom)GB1 paper
- In-Q-TelUS1 paper
- Korea Institute for Advanced StudyKR1 paper
- Los Alamos National LaboratoryUS1 paper
- Northern Arizona UniversityUS1 paper
- The University of Texas at AustinUS1 paper
- University of California, Santa BarbaraUS1 paper
Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Hyperreal differentiation with an idempotent ultrafilter
Samuel Allen Alexander, Bryan Dawson
In the hyperreals constructed using a free ultrafilter on R, where [f] is the hyperreal represented by f:R->R, it is tempting to define a derivative operator by [f]'=[f'], but unfo…
math.LO2023
Strengthening Consistency Results in Modal Logic
Samuel Allen Alexander, Arthur Paul Pedersen
A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of backgro…