Sam Sanders - RankMe

61 papers C 10Misc 4Journal 44Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On sequential theorems in Reverse Mathematics. Arch. Math. Log. Dag Normann, Sam Sanders
2025	J	`jnl`	Big in Reverse Mathematics: Measure and Category. J. Symb. Log. Sam Sanders
2025	J	`jnl`	From Real Analysis to the Sorites Paradox via Reverse Mathematics. Rev. Symb. Log. Walter Dean, Sam Sanders
2025	J	`jnl`	On some computational properties of open sets. J. Log. Comput. Dag Normann, Sam Sanders
2025	J	`jnl`	On the computational properties of the Baire category theorem. Comput. Sam Sanders
2025	J	`jnl`	On the logical and computational properties of the Vitali covering theorem. Ann. Pure Appl. Log. Dag Normann, Sam Sanders
2025	J	`jnl`	The Biggest Five of Reverse Mathematics. J. Math. Log. Dag Normann, Sam Sanders
2024	J	`jnl`	A note on continuous Functions on Metric Spaces. Bull. Symb. Log. Sam Sanders
2024	J	`jnl`	Exploring the abyss in Kleene's computability theory. Comput. Sam Sanders
2024	J	`jnl`	On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor. J. Symb. Log. Dag Normann, Sam Sanders
2024	J	`jnl`	On some computational properties of open sets. CoRR Dag Normann, Sam Sanders
2024	C	`conf`	On the Computational Properties of Weak Continuity Notions. CiE Sam Sanders
2023	J	`jnl`	Exploring the abyss in Kleene's computability theory. CoRR Sam Sanders
2023	C	`conf`	The Non-normal Abyss in Kleene's Computability Theory. CiE Sam Sanders
2023	J	`jnl`	The non-normal abyss in Kleene's computability theory. CoRR Sam Sanders
2022	Misc	`conf`	Between Turing and Kleene. LFCS Sam Sanders
2022	Misc	`conf`	Betwixt Turing and Kleene. LFCS Dag Normann, Sam Sanders
2022	J	`jnl`	Countable sets versus sets that are countable in reverse mathematics. Comput. Sam Sanders
2022	J	`jnl`	Lifting proofs from countable to uncountable mathematics. Inf. Comput. Sam Sanders
2022	C	`conf`	On the Computational Properties of the Uncountability of the Real Numbers. WoLLIC Sam Sanders
2022	J	`jnl`	On the Uncountability of ℝ R. J. Symb. Log. Dag Normann, Sam Sanders
2022	J	`jnl`	On the computational properties of basic mathematical notions. CoRR Dag Normann, Sam Sanders
2022	J	`jnl`	On the computational properties of basic mathematical notions. J. Log. Comput. Dag Normann, Sam Sanders
2022	J	`jnl`	On the computational properties of the uncountability of the real numbers. CoRR Sam Sanders
2022	C	`conf`	Reverse Mathematics of the Uncountability of ℝ. CiE Sam Sanders
2021	J	`jnl`	Betwixt Turing and Kleene. CoRR Dag Normann, Sam Sanders
2021	J	`jnl`	Nets and reverse mathematics. Comput. Sam Sanders
2021	C	`conf`	Splittings and Robustness for the Heine-Borel Theorem. CiE Sam Sanders
2021	J	`jnl`	The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis. J. Log. Comput. Dag Normann, Sam Sanders
2020	Misc	`conf`	Lifting Recursive Counterexamples to Higher-Order Arithmetic. LFCS Sam Sanders
2020	J	`jnl`	Open sets in computability theory and reverse mathematics. J. Log. Comput. Dag Normann, Sam Sanders
2020	J	`jnl`	Pincherle's theorem in reverse mathematics and computability theory. Ann. Pure Appl. Log. Dag Normann, Sam Sanders
2020	J	`jnl`	Reverse formalism 16. Synth. Sam Sanders
2020	J	`jnl`	Splittings and Disjunctions in Reverse Mathematics. Notre Dame J. Formal Log. Sam Sanders
2020	J	`jnl`	The unreasonable effectiveness of Nonstandard Analysis. J. Log. Comput. Sam Sanders
2019	J	`jnl`	A note on non-classical nonstandard arithmetic. Ann. Pure Appl. Log. Sam Sanders
2019	J	`jnl`	Computability Theory, Nonstandard Analysis, and their Connections. J. Symb. Log. Dag Normann, Sam Sanders
2019	J	`jnl`	Lifting recursive counterexamples to higher-order arithmetic. CoRR Sam Sanders
2019	C	`conf`	Nets and Reverse Mathematics - Some Initial Results. CiE Sam Sanders
2019	J	`jnl`	Nets and Reverse Mathematics, a pilot study. CoRR Sam Sanders
2019	J	`jnl`	On the mathematical and foundational significance of the uncountable. J. Math. Log. Dag Normann, Sam Sanders
2019	C	`conf`	Reverse Mathematics and Computability Theory of Domain Theory. WoLLIC Sam Sanders
2019	J	`jnl`	Reverse Mathematics and parameter-free Transfer. Ann. Pure Appl. Log. Benno van den Berg, Sam Sanders
2019	J	`jnl`	The strength of compactness in Computability Theory and Nonstandard Analysis. Ann. Pure Appl. Log. Dag Normann, Sam Sanders
2018	Misc	`conf`	Metastability and Higher-Order Computability. LFCS Sam Sanders
2018	J	`jnl`	Refining the Taming of the Reverse Mathematics Zoo. Notre Dame J. Formal Log. Sam Sanders
2018	C	`conf`	Some Nonstandard Equivalences in Reverse Mathematics. CiE Sam Sanders
2018	J	`jnl`	The Gandy-Hyland functional and a computational aspect of Nonstandard Analysis. Comput. Sam Sanders
2017	C	`conf`	From Nonstandard Analysis to Various Flavours of Computability Theory. TAMC Sam Sanders
2017	J	`jnl`	Grilliot's trick in Nonstandard Analysis. CoRR Sam Sanders
2017	J	`jnl`	Grilliot's trick in Nonstandard Analysis. Log. Methods Comput. Sci. Sam Sanders
2017	C	`conf`	Solar Radiation Prediction Improvement Using Weather Forecasts. ICMLA Sam Sanders, Chris Barrick, Frederick W. Maier, Khaled Rasheed
2016	—	`conf`	A Computable Solution to Partee's Temperature Puzzle. LACL Kristina Liefke, Sam Sanders
2016	—	`conf`	The computational content of Nonstandard Analysis. CL&C Sam Sanders
2013	J	`jnl`	Reverse-engineering Reverse Mathematics. Ann. Pure Appl. Log. Sam Sanders
2012	—	`conf`	Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis. DCM Sam Sanders
2012	J	`jnl`	The Dirac delta function in two settings of Reverse Mathematics. Arch. Math. Log. Sam Sanders, Keita Yokoyama
2011	J	`jnl`	ERNA and Friedman's Reverse Mathematics. J. Symb. Log. Sam Sanders
2010	J	`jnl`	More infinity for a better finitism. Ann. Pure Appl. Log. Sam Sanders
2010	J	`jnl`	Relative arithmetic. Math. Log. Q. Sam Sanders
2008	J	`jnl`	Transfer and a supremum principle for ERNA. J. Symb. Log. Chris Impens, Sam Sanders