Sam Sanders

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 45

Top Topics

Computer Algebra

Propositional Theories

Computational Properties

Top Venues

Ann. Pure Appl. Log.

J. Log. Comput.

Publications

Dag Normann, Sam Sanders
On some computational properties of open sets. CoRR (2024)
Sam Sanders
On the Computational Properties of Weak Continuity Notions. CiE (2024)
Sam Sanders
Exploring the abyss in Kleene's computability theory. Comput. 13 (2) (2024)
Sam Sanders
Exploring the abyss in Kleene's computability theory. CoRR (2023)
Sam Sanders
The non-normal abyss in Kleene's computability theory. CoRR (2023)
Sam Sanders
The Non-normal Abyss in Kleene's Computability Theory. CiE (2023)
Sam Sanders
On the computational properties of the uncountability of the real numbers. CoRR (2022)
Dag Normann, Sam Sanders
On the Uncountability of ℝ R. J. Symb. Log. 87 (4) (2022)
Sam Sanders
Between Turing and Kleene. LFCS (2022)
Dag Normann, Sam Sanders
On the computational properties of basic mathematical notions. J. Log. Comput. 32 (8) (2022)
Dag Normann, Sam Sanders
Betwixt Turing and Kleene. LFCS (2022)
Sam Sanders
Countable sets versus sets that are countable in reverse mathematics. Comput. 11 (1) (2022)
Sam Sanders
Reverse Mathematics of the Uncountability of ℝ. CiE (2022)
Sam Sanders
Lifting proofs from countable to uncountable mathematics. Inf. Comput. 287 (2022)
Sam Sanders
On the Computational Properties of the Uncountability of the Real Numbers. WoLLIC (2022)
Dag Normann, Sam Sanders
On the computational properties of basic mathematical notions. CoRR (2022)
Dag Normann, Sam Sanders
Betwixt Turing and Kleene. CoRR (2021)
Dag Normann, Sam Sanders
The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis. J. Log. Comput. 31 (1) (2021)
Sam Sanders
Nets and reverse mathematics. Comput. 10 (1) (2021)
Sam Sanders
Splittings and Robustness for the Heine-Borel Theorem. CiE (2021)
Sam Sanders
The unreasonable effectiveness of Nonstandard Analysis. J. Log. Comput. 30 (1) (2020)
Sam Sanders
Lifting Recursive Counterexamples to Higher-Order Arithmetic. LFCS (2020)
Dag Normann, Sam Sanders
Pincherle's theorem in reverse mathematics and computability theory. Ann. Pure Appl. Log. 171 (5) (2020)
Dag Normann, Sam Sanders
Open sets in computability theory and reverse mathematics. J. Log. Comput. 30 (8) (2020)
Sam Sanders
Reverse formalism 16. Synth. 197 (2) (2020)
Sam Sanders
Splittings and Disjunctions in Reverse Mathematics. Notre Dame J. Formal Log. 61 (1) (2020)
Sam Sanders
Lifting recursive counterexamples to higher-order arithmetic. CoRR (2019)
Dag Normann, Sam Sanders
The strength of compactness in Computability Theory and Nonstandard Analysis. Ann. Pure Appl. Log. 170 (11) (2019)
Sam Sanders
Reverse Mathematics and Computability Theory of Domain Theory. WoLLIC (2019)
Sam Sanders
A note on non-classical nonstandard arithmetic. Ann. Pure Appl. Log. 170 (4) (2019)
Sam Sanders
Nets and Reverse Mathematics - Some Initial Results. CiE (2019)
Sam Sanders
Nets and Reverse Mathematics, a pilot study. CoRR (2019)
Dag Normann, Sam Sanders
Computability Theory, Nonstandard Analysis, and their Connections. J. Symb. Log. 84 (4) (2019)
Benno van den Berg, Sam Sanders
Reverse Mathematics and parameter-free Transfer. Ann. Pure Appl. Log. 170 (3) (2019)
Dag Normann, Sam Sanders
On the mathematical and foundational significance of the uncountable. J. Math. Log. 19 (1) (2019)
Sam Sanders
Metastability and Higher-Order Computability. LFCS (2018)
Sam Sanders
Refining the Taming of the Reverse Mathematics Zoo. Notre Dame J. Formal Log. 59 (4) (2018)
Sam Sanders
Some Nonstandard Equivalences in Reverse Mathematics. CiE (2018)
Sam Sanders
The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis. Comput. 7 (1) (2018)
Sam Sanders
From Nonstandard Analysis to Various Flavours of Computability Theory. TAMC (2017)
Sam Sanders
Grilliot's trick in Nonstandard Analysis. Log. Methods Comput. Sci. 13 (4) (2017)
Sam Sanders, Chris Barrick, Frederick W. Maier, Khaled Rasheed
Solar Radiation Prediction Improvement Using Weather Forecasts. ICMLA (2017)
Sam Sanders
Grilliot's trick in Nonstandard Analysis. CoRR (2017)
Kristina Liefke, Sam Sanders
A Computable Solution to Partee's Temperature Puzzle. LACL (2016)
Sam Sanders
The computational content of Nonstandard Analysis. CL&C (2016)
Sam Sanders
Reverse-engineering Reverse Mathematics. Ann. Pure Appl. Log. 164 (5) (2013)
Sam Sanders
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. DCM (2012)
Sam Sanders, Keita Yokoyama
The Dirac delta function in two settings of Reverse Mathematics. Arch. Math. Log. 51 (1-2) (2012)
Sam Sanders
ERNA and Friedman's Reverse Mathematics. J. Symb. Log. 76 (2) (2011)
Sam Sanders
Relative arithmetic. Math. Log. Q. 56 (6) (2010)
Sam Sanders
More infinity for a better finitism. Ann. Pure Appl. Log. 161 (12) (2010)
Chris Impens, Sam Sanders
Transfer and a supremum principle for ERNA. J. Symb. Log. 73 (2) (2008)