default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sam Sanders
@article{DBLP:journals/computability/Sanders24,
author = {Sam Sanders},
title = {Exploring the abyss in Kleene's computability theory},
journal = {Comput.},
volume = {13},
number = {2},
pages = {113--134},
year = {2024},
url = {https://doi.org/10.3233/COM-230475},
doi = {10.3233/COM-230475},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Sanders24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders24,
author = {Sam Sanders},
editor = {Ludovic Levy Patey and
Elaine Pimentel and
Lorenzo Galeotti and
Florin Manea},
title = {On the Computational Properties of Weak Continuity Notions},
booktitle = {Twenty Years of Theoretical and Practical Synergies - 20th Conference
on Computability in Europe, CiE 2024, Amsterdam, The Netherlands,
July 8-12, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14773},
pages = {113--125},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-64309-5\_10},
doi = {10.1007/978-3-031-64309-5\_10},
timestamp = {Sat, 20 Jul 2024 12:56:19 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sanders24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-09053,
author = {Dag Normann and
Sam Sanders},
title = {On some computational properties of open sets},
journal = {CoRR},
volume = {abs/2401.09053},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.09053},
doi = {10.48550/ARXIV.2401.09053},
eprinttype = {arXiv},
eprint = {2401.09053},
timestamp = {Wed, 07 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-09053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders23,
author = {Sam Sanders},
editor = {Gianluca Della Vedova and
Besik Dundua and
Steffen Lempp and
Florin Manea},
title = {The Non-normal Abyss in Kleene's Computability Theory},
booktitle = {Unity of Logic and Computation - 19th Conference on Computability
in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13967},
pages = {37--49},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-36978-0\_4},
doi = {10.1007/978-3-031-36978-0\_4},
timestamp = {Wed, 26 Jul 2023 08:43:10 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sanders23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-07066,
author = {Sam Sanders},
title = {The non-normal abyss in Kleene's computability theory},
journal = {CoRR},
volume = {abs/2302.07066},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.07066},
doi = {10.48550/ARXIV.2302.07066},
eprinttype = {arXiv},
eprint = {2302.07066},
timestamp = {Mon, 20 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-07066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07438,
author = {Sam Sanders},
title = {Exploring the abyss in Kleene's computability theory},
journal = {CoRR},
volume = {abs/2308.07438},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.07438},
doi = {10.48550/ARXIV.2308.07438},
eprinttype = {arXiv},
eprint = {2308.07438},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-07438.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Sanders22,
author = {Sam Sanders},
title = {Countable sets versus sets that are countable in reverse mathematics},
journal = {Comput.},
volume = {11},
number = {1},
pages = {9--39},
year = {2022},
url = {https://doi.org/10.3233/COM-210313},
doi = {10.3233/COM-210313},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Sanders22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Sanders22,
author = {Sam Sanders},
title = {Lifting proofs from countable to uncountable mathematics},
journal = {Inf. Comput.},
volume = {287},
pages = {104762},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104762},
doi = {10.1016/J.IC.2021.104762},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Sanders22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NormannS22,
author = {Dag Normann and
Sam Sanders},
title = {On the Uncountability of {\(\mathbb{R}\)} {R}},
journal = {J. Symb. Log.},
volume = {87},
number = {4},
pages = {1474--1521},
year = {2022},
url = {https://doi.org/10.1017/jsl.2022.27},
doi = {10.1017/JSL.2022.27},
timestamp = {Thu, 23 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/NormannS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NormannS22,
author = {Dag Normann and
Sam Sanders},
title = {On the computational properties of basic mathematical notions},
journal = {J. Log. Comput.},
volume = {32},
number = {8},
pages = {1747--1795},
year = {2022},
url = {https://doi.org/10.1093/logcom/exac075},
doi = {10.1093/LOGCOM/EXAC075},
timestamp = {Wed, 04 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/NormannS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders22,
author = {Sam Sanders},
editor = {Ulrich Berger and
Johanna N. Y. Franklin and
Florin Manea and
Arno Pauly},
title = {Reverse Mathematics of the Uncountability of {\(\mathbb{R}\)}},
booktitle = {Revolutions and Revelations in Computability - 18th Conference on
Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13359},
pages = {272--286},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08740-0\_23},
doi = {10.1007/978-3-031-08740-0\_23},
timestamp = {Mon, 04 Jul 2022 17:06:22 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sanders22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/NormannS22,
author = {Dag Normann and
Sam Sanders},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Betwixt Turing and Kleene},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {236--252},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_15},
doi = {10.1007/978-3-030-93100-1\_15},
timestamp = {Tue, 28 Dec 2021 15:24:58 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/NormannS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sanders22,
author = {Sam Sanders},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Between Turing and Kleene},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13137},
pages = {281--300},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-93100-1\_18},
doi = {10.1007/978-3-030-93100-1\_18},
timestamp = {Tue, 28 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Sanders22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Sanders22,
author = {Sam Sanders},
editor = {Agata Ciabattoni and
Elaine Pimentel and
Ruy J. G. B. de Queiroz},
title = {On the Computational Properties of the Uncountability of the Real
Numbers},
booktitle = {Logic, Language, Information, and Computation - 28th International
Workshop, WoLLIC 2022, Ia{\c{s}}i, Romania, September 20-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13468},
pages = {362--377},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15298-6\_23},
doi = {10.1007/978-3-031-15298-6\_23},
timestamp = {Mon, 19 Sep 2022 18:41:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Sanders22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-05250,
author = {Dag Normann and
Sam Sanders},
title = {On the computational properties of basic mathematical notions},
journal = {CoRR},
volume = {abs/2203.05250},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.05250},
doi = {10.48550/ARXIV.2203.05250},
eprinttype = {arXiv},
eprint = {2203.05250},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-05250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-12721,
author = {Sam Sanders},
title = {On the computational properties of the uncountability of the real
numbers},
journal = {CoRR},
volume = {abs/2206.12721},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.12721},
doi = {10.48550/ARXIV.2206.12721},
eprinttype = {arXiv},
eprint = {2206.12721},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-12721.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Sanders21,
author = {Sam Sanders},
title = {Nets and reverse mathematics},
journal = {Comput.},
volume = {10},
number = {1},
pages = {31--62},
year = {2021},
url = {https://doi.org/10.3233/COM-190265},
doi = {10.3233/COM-190265},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computability/Sanders21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NormannS21,
author = {Dag Normann and
Sam Sanders},
title = {The Axiom of Choice in computability theory and Reverse Mathematics
with a cameo for the Continuum Hypothesis},
journal = {J. Log. Comput.},
volume = {31},
number = {1},
pages = {297--325},
year = {2021},
url = {https://doi.org/10.1093/logcom/exaa080},
doi = {10.1093/LOGCOM/EXAA080},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/NormannS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders21,
author = {Sam Sanders},
editor = {Liesbeth De Mol and
Andreas Weiermann and
Florin Manea and
David Fern{\'{a}}ndez{-}Duque},
title = {Splittings and Robustness for the Heine-Borel Theorem},
booktitle = {Connecting with Computability - 17th Conference on Computability in
Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12813},
pages = {395--406},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80049-9\_39},
doi = {10.1007/978-3-030-80049-9\_39},
timestamp = {Tue, 20 Jul 2021 15:29:21 +0200},
biburl = {https://dblp.org/rec/conf/cie/Sanders21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-01352,
author = {Dag Normann and
Sam Sanders},
title = {Betwixt Turing and Kleene},
journal = {CoRR},
volume = {abs/2109.01352},
year = {2021},
url = {https://arxiv.org/abs/2109.01352},
eprinttype = {arXiv},
eprint = {2109.01352},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-01352.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NormannS20,
author = {Dag Normann and
Sam Sanders},
title = {Pincherle's theorem in reverse mathematics and computability theory},
journal = {Ann. Pure Appl. Log.},
volume = {171},
number = {5},
pages = {102788},
year = {2020},
url = {https://doi.org/10.1016/j.apal.2020.102788},
doi = {10.1016/J.APAL.2020.102788},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/NormannS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Sanders20,
author = {Sam Sanders},
title = {The unreasonable effectiveness of Nonstandard Analysis},
journal = {J. Log. Comput.},
volume = {30},
number = {1},
pages = {459--524},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa019},
doi = {10.1093/LOGCOM/EXAA019},
timestamp = {Fri, 04 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Sanders20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/NormannS20,
author = {Dag Normann and
Sam Sanders},
title = {Open sets in computability theory and reverse mathematics},
journal = {J. Log. Comput.},
volume = {30},
number = {8},
pages = {1639--1679},
year = {2020},
url = {https://doi.org/10.1093/logcom/exaa049},
doi = {10.1093/LOGCOM/EXAA049},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/NormannS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sanders20,
author = {Sam Sanders},
title = {Splittings and Disjunctions in Reverse Mathematics},
journal = {Notre Dame J. Formal Log.},
volume = {61},
number = {1},
pages = {51--74},
year = {2020},
url = {https://doi.org/10.1215/00294527-2019-0032},
doi = {10.1215/00294527-2019-0032},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sanders20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Sanders20,
author = {Sam Sanders},
title = {Reverse formalism 16},
journal = {Synth.},
volume = {197},
number = {2},
pages = {497--544},
year = {2020},
url = {https://doi.org/10.1007/s11229-017-1322-2},
doi = {10.1007/S11229-017-1322-2},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Sanders20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sanders20,
author = {Sam Sanders},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Lifting Recursive Counterexamples to Higher-Order Arithmetic},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11972},
pages = {249--267},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-36755-8\_16},
doi = {10.1007/978-3-030-36755-8\_16},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lfcs/Sanders20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BergS19,
author = {Benno van den Berg and
Sam Sanders},
title = {Reverse Mathematics and parameter-free Transfer},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {3},
pages = {273--296},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2018.10.003},
doi = {10.1016/J.APAL.2018.10.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BergS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sanders19,
author = {Sam Sanders},
title = {A note on non-classical nonstandard arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {4},
pages = {427--445},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2018.11.001},
doi = {10.1016/J.APAL.2018.11.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Sanders19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/NormannS19,
author = {Dag Normann and
Sam Sanders},
title = {The strength of compactness in Computability Theory and Nonstandard
Analysis},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {11},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.05.007},
doi = {10.1016/J.APAL.2019.05.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/NormannS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jml/NormannS19,
author = {Dag Normann and
Sam Sanders},
title = {On the mathematical and foundational significance of the uncountable},
journal = {J. Math. Log.},
volume = {19},
number = {1},
pages = {1950001:1--1950001:40},
year = {2019},
url = {https://doi.org/10.1142/S0219061319500016},
doi = {10.1142/S0219061319500016},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jml/NormannS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/NormannS19,
author = {Dag Normann and
Sam Sanders},
title = {Computability Theory, Nonstandard Analysis, and their Connections},
journal = {J. Symb. Log.},
volume = {84},
number = {4},
pages = {1422--1465},
year = {2019},
url = {https://doi.org/10.1017/jsl.2019.69},
doi = {10.1017/JSL.2019.69},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/NormannS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders19,
author = {Sam Sanders},
editor = {Florin Manea and
Barnaby Martin and
Dani{\"{e}}l Paulusma and
Giuseppe Primiero},
title = {Nets and Reverse Mathematics - Some Initial Results},
booktitle = {Computing with Foresight and Industry - 15th Conference on Computability
in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11558},
pages = {253--264},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22996-2\_22},
doi = {10.1007/978-3-030-22996-2\_22},
timestamp = {Sun, 25 Oct 2020 22:53:05 +0100},
biburl = {https://dblp.org/rec/conf/cie/Sanders19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Sanders19,
author = {Sam Sanders},
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Reverse Mathematics and Computability Theory of Domain Theory},
booktitle = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
pages = {550--568},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6\_33},
doi = {10.1007/978-3-662-59533-6\_33},
timestamp = {Tue, 25 Jun 2019 13:36:56 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Sanders19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-04058,
author = {Sam Sanders},
title = {Nets and Reverse Mathematics, a pilot study},
journal = {CoRR},
volume = {abs/1905.04058},
year = {2019},
url = {http://arxiv.org/abs/1905.04058},
eprinttype = {arXiv},
eprint = {1905.04058},
timestamp = {Wed, 29 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-04058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-05677,
author = {Sam Sanders},
title = {Lifting recursive counterexamples to higher-order arithmetic},
journal = {CoRR},
volume = {abs/1908.05677},
year = {2019},
url = {http://arxiv.org/abs/1908.05677},
eprinttype = {arXiv},
eprint = {1908.05677},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-05677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/Sanders18,
author = {Sam Sanders},
title = {The Gandy-Hyland functional and a computational aspect of Nonstandard
Analysis},
journal = {Comput.},
volume = {7},
number = {1},
pages = {7--43},
year = {2018},
url = {https://doi.org/10.3233/COM-170074},
doi = {10.3233/COM-170074},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/Sanders18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Sanders18,
author = {Sam Sanders},
title = {Refining the Taming of the Reverse Mathematics Zoo},
journal = {Notre Dame J. Formal Log.},
volume = {59},
number = {4},
pages = {579--597},
year = {2018},
url = {https://doi.org/10.1215/00294527-2018-0015},
doi = {10.1215/00294527-2018-0015},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Sanders18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Sanders18,
author = {Sam Sanders},
editor = {Florin Manea and
Russell G. Miller and
Dirk Nowotka},
title = {Some Nonstandard Equivalences in Reverse Mathematics},
booktitle = {Sailing Routes in the World of Computation - 14th Conference on Computability
in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10936},
pages = {365--375},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94418-0\_37},
doi = {10.1007/978-3-319-94418-0\_37},
timestamp = {Wed, 16 Nov 2022 11:08:36 +0100},
biburl = {https://dblp.org/rec/conf/cie/Sanders18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfcs/Sanders18,
author = {Sam Sanders},
editor = {Sergei N. Art{\"{e}}mov and
Anil Nerode},
title = {Metastability and Higher-Order Computability},
booktitle = {Logical Foundations of Computer Science - International Symposium,
{LFCS} 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10703},
pages = {309--330},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72056-2\_19},
doi = {10.1007/978-3-319-72056-2\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/lfcs/Sanders18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Sanders17,
author = {Sam Sanders},
title = {Grilliot's trick in Nonstandard Analysis},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:23)2017},
doi = {10.23638/LMCS-13(4:23)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Sanders17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/SandersBMR17,
author = {Sam Sanders and
Chris Barrick and
Frederick W. Maier and
Khaled Rasheed},
editor = {Xuewen Chen and
Bo Luo and
Feng Luo and
Vasile Palade and
M. Arif Wani},
title = {Solar Radiation Prediction Improvement Using Weather Forecasts},
booktitle = {16th {IEEE} International Conference on Machine Learning and Applications,
{ICMLA} 2017, Cancun, Mexico, December 18-21, 2017},
pages = {499--504},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/ICMLA.2017.0-112},
doi = {10.1109/ICMLA.2017.0-112},
timestamp = {Tue, 20 Aug 2024 07:54:44 +0200},
biburl = {https://dblp.org/rec/conf/icmla/SandersBMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Sanders17,
author = {Sam Sanders},
editor = {T. V. Gopal and
Gerhard J{\"{a}}ger and
Silvia Steila},
title = {From Nonstandard Analysis to Various Flavours of Computability Theory},
booktitle = {Theory and Applications of Models of Computation - 14th Annual Conference,
{TAMC} 2017, Bern, Switzerland, April 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10185},
pages = {556--570},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-55911-7\_40},
doi = {10.1007/978-3-319-55911-7\_40},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Sanders17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Sanders17,
author = {Sam Sanders},
title = {Grilliot's trick in Nonstandard Analysis},
journal = {CoRR},
volume = {abs/1706.06663},
year = {2017},
url = {http://arxiv.org/abs/1706.06663},
eprinttype = {arXiv},
eprint = {1706.06663},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Sanders17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/LiefkeS16,
author = {Kristina Liefke and
Sam Sanders},
editor = {Maxime Amblard and
Philippe de Groote and
Sylvain Pogodalla and
Christian Retor{\'{e}}},
title = {A Computable Solution to Partee's Temperature Puzzle},
booktitle = {Logical Aspects of Computational Linguistics. Celebrating 20 Years
of {LACL} {(1996-2016)} - 9th International Conference, {LACL} 2016,
Nancy, France, December 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10054},
pages = {175--190},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53826-5\_11},
doi = {10.1007/978-3-662-53826-5\_11},
timestamp = {Thu, 05 Jan 2023 17:08:55 +0100},
biburl = {https://dblp.org/rec/conf/lacl/LiefkeS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Sanders16,
author = {Sam Sanders},
editor = {Ulrich Kohlenbach and
Steffen van Bakel and
Stefano Berardi},
title = {The computational content of Nonstandard Analysis},
booktitle = {Proceedings Sixth International Workshop on Classical Logic and Computation,
CL{\&}C 2016, Porto, Portugal , 23th June 2016},
series = {{EPTCS}},
volume = {213},
pages = {24--40},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.213.3},
doi = {10.4204/EPTCS.213.3},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/Sanders16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sanders13,
author = {Sam Sanders},
title = {Reverse-engineering Reverse Mathematics},
journal = {Ann. Pure Appl. Log.},
volume = {164},
number = {5},
pages = {528--541},
year = {2013},
url = {https://doi.org/10.1016/j.apal.2012.11.006},
doi = {10.1016/J.APAL.2012.11.006},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Sanders13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/SandersY12,
author = {Sam Sanders and
Keita Yokoyama},
title = {The Dirac delta function in two settings of Reverse Mathematics},
journal = {Arch. Math. Log.},
volume = {51},
number = {1-2},
pages = {99--121},
year = {2012},
url = {https://doi.org/10.1007/s00153-011-0256-5},
doi = {10.1007/S00153-011-0256-5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/SandersY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Sanders14,
author = {Sam Sanders},
editor = {Benedikt L{\"{o}}we and
Glynn Winskel},
title = {Algorithm and proof as {\(\Omega\)}-invariance and transfer: {A} new
model of computation in nonstandard analysis},
booktitle = {Proceedings 8th International Workshop on Developments in Computational
Models, {DCM} 2012, Cambridge, United Kingdom, 17 June 2012},
series = {{EPTCS}},
volume = {143},
pages = {97--109},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.143.9},
doi = {10.4204/EPTCS.143.9},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/Sanders14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sanders11,
author = {Sam Sanders},
title = {{ERNA} and Friedman's Reverse Mathematics},
journal = {J. Symb. Log.},
volume = {76},
number = {2},
pages = {637--664},
year = {2011},
url = {https://doi.org/10.2178/jsl/1305810768},
doi = {10.2178/JSL/1305810768},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sanders11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Sanders10,
author = {Sam Sanders},
title = {More infinity for a better finitism},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {12},
pages = {1525--1540},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2010.06.003},
doi = {10.1016/J.APAL.2010.06.003},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Sanders10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Sanders10,
author = {Sam Sanders},
title = {Relative arithmetic},
journal = {Math. Log. Q.},
volume = {56},
number = {6},
pages = {564--572},
year = {2010},
url = {https://doi.org/10.1002/malq.200910110},
doi = {10.1002/MALQ.200910110},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Sanders10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ImpensS08,
author = {Chris Impens and
Sam Sanders},
title = {Transfer and a supremum principle for {ERNA}},
journal = {J. Symb. Log.},
volume = {73},
number = {2},
pages = {689--710},
year = {2008},
url = {https://doi.org/10.2178/jsl/1208359067},
doi = {10.2178/JSL/1208359067},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ImpensS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-21 21:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
