@inproceedings(evenbellen,
 author       = "J. L. Bell",
 year         = "2010",
 title        = "Continuity and Infinitesimals",
 editor       = "Edward N. Zalta",
 booktitle    = "The Stanford Encyclopedia of Philosophy",
 url          = "http://plato.stanford.edu/entries/continuity/",
)
@book(bish1,
 author       = "Errett Bishop",
 year         = "1967",
 title        = "Foundations of constructive analysis",
 publisher    = "McGraw-Hill Book Co.",
)
@book(bridge1,
 author       = "Errett Bishop and Douglas S. Bridges",
 year         = "1985",
 title        = "Constructive analysis",
 series       = "Grundlehren der Mathematischen Wissenschaften",
 volume       = "279",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-61667-9",
)
@inproceedings(schizo,
 author       = "Errett A. Bishop",
 year         = "1985",
 title        = "Schizophrenia in contemporary mathematics",
 editor       = "Murray Rosenblatt",
 booktitle    = "Errett Bishop: reflections on him and his research. Proceedings of the memorial meeting for Errett Bishop held at the University of California, San Diego, Calif., September 24, 1983",
 series       = "Contemporary Mathematics",
 volume       = "39",
 publisher    = "American Mathematical Society",
 pages        = "1--32",
 doi          = "10.1090/conm/039/788163",
)
@inproceedings(brats,
 author       = "Vasco Brattka and Peter Hertling and Klaus Weihrauch",
 year         = "2008",
 title        = "A tutorial on computable analysis",
 editor       = "S. Barry Cooper and Benedikt L\"owe and Andrea Sorbi",
 booktitle    = "New computational paradigms",
 publisher    = "Springer",
 pages        = "425--491",
 doi          = "10.1007/978-0-387-68546-5\_18",
)
@book(bridges1,
 author       = "Douglas S. Bridges and Lumini{\c {t}}a Simona V{\^{\i }}{\c {t}}{\u {a}}",
 year         = "2006",
 title        = "Techniques of constructive analysis",
 series       = "Universitext",
 publisher    = "Springer",
 doi          = "10.1002/9781118033357",
)
@inproceedings(buss,
 author       = "Samuel R. Buss",
 year         = "1998",
 title        = "An introduction to proof theory",
 editor       = "Samuel R. Buss",
 booktitle    = "Handbook of proof theory",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "137",
 publisher    = "North-Holland",
 address      = "Amsterdam",
 pages        = "1--78",
 doi          = "10.1016/S0049-237X(98)80016-5",
)
@article(tochurchonsunday,
 author       = "Alonzo Church",
 year         = "1936",
 title        = "A note on the Entscheidungsproblem",
 journal      = "Journal of Symbolic Logic",
 volume       = "1",
 pages        = "40--41",
 doi          = "10.2307/2269049",
)
@book(cross,
 editor       = "Laura Crosilla and Peter Schuster",
 year         = "2005",
 title        = "From sets and types to topology and analysis",
 series       = "Oxford Logic Guides",
 volume       = "48",
 publisher    = "Oxford University Press",
)
@inproceedings(fried,
 author       = "Harvey Friedman",
 year         = "1975",
 title        = "Some systems of second order arithmetic and their use",
 booktitle    = "Proceedings of the International Congress of Mathematicians. Volume 1. Held in Vancouver, B. C., August 21–29, 1974",
 publisher    = "Canadian Mathematical Congress",
 pages        = "235--242",
)
@article(fried2,
 author       = "Harvey Friedman",
 year         = "1976",
 title        = "Systems of second order arithmetic with restricted induction, I \& II (Abstracts)",
 journal      = "Journal of Symbolic Logic",
 volume       = "41",
 pages        = "557--559",
)
@book(vajuju,
 author       = "Jean van Heijenoort",
 year         = "1967",
 title        = "From Frege to G\"odel. A source book in mathematical logic, 1879--1931",
 publisher    = "Harvard University Press",
)
@article(hrbacek2,
 author       = "Karel Hrbacek",
 year         = "1978",
 title        = "Axiomatic foundations for nonstandard analysis",
 journal      = "Fundamenta Mathematicae",
 volume       = "98",
 number       = "1",
 pages        = "1--19",
)
@inproceedings(aveirohrbacek,
 author       = "Karel Hrbacek",
 year         = "2007",
 title        = "Stratified analysis?",
 editor       = "Imme van den Berg and V\'{\i }tor Neves",
 booktitle    = "The strength of nonstandard analysis",
 publisher    = "Springer",
 pages        = "47--63",
 doi          = "10.1007/978-3-211-49905-4\_4",
)
@article(ishi1,
 author       = "Hajime Ishihara",
 year         = "2006",
 title        = "Reverse mathematics in Bishop's constructive mathematics",
 journal      = "Philosophia Scientiae",
 volume       = "CS 6",
 pages        = "43--59",
 doi          = "10.4000/philosophiascientiae.406",
)
@article(keisler1,
 author       = "H. Jerome Keisler",
 year         = "2006",
 title        = "Nonstandard arithmetic and reverse mathematics",
 journal      = "Bulletin of Symbolic Logic",
 volume       = "12",
 number       = "1",
 pages        = "100--125",
 doi          = "10.2178/bsl/1140640945",
)
@article(keisler2,
 author       = "H. Jerome Keisler",
 year         = "2010",
 title        = "Nonstandard arithmetic and recursive comprehension",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "161",
 number       = "8",
 pages        = "1047--1062",
 doi          = "10.1016/j.apal.2010.01.001",
)
@article(palmdijk,
 author       = "Ieke Moerdijk and Erik Palmgren",
 year         = "1997",
 title        = "Minimal models of Heyting arithmetic",
 journal      = "Journal of Symbolic Logic",
 volume       = "62",
 number       = "4",
 pages        = "1448--1460",
 doi          = "10.2307/2275651",
)
@misc(palmboominvenetie,
 author       = "Erik Palmgren",
 year         = "2001",
 title        = "Unifying constructive and nonstandard analysis",
 doi          = "10.1007/978-94-015-9757-9\_15",
 note         = "In: \cite [pp.\ 167--183]{venice}",
)
@article(peraire1,
 author       = "Yves P{\'e}raire",
 year         = "1992",
 title        = "Th\'eorie relative des ensembles internes",
 journal      = "Osaka Journal of Mathematics",
 volume       = "29",
 number       = "2",
 pages        = "267--297",
)
@book(robinson1,
 author       = "Abraham Robinson",
 year         = "1966",
 title        = "Non-standard analysis",
 publisher    = "North-Holland Publishing Co.",
)
@article(aloneatlast1,
 author       = "Sam Sanders",
 year         = "2010",
 title        = "More infinity for a better finitism",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "161",
 pages        = "1525--1540",
 doi          = "10.1016/j.apal.2010.06.003",
)
@article(aloneatlast2,
 author       = "Sam Sanders",
 year         = "2010",
 title        = "Relative Arithmetic",
 journal      = "Mathematical Logic Quarterly",
 volume       = "56",
 pages        = "564 --572",
 doi          = "10.1002/malq.200910110",
)
@misc(tale,
 author       = "Sam Sanders",
 year         = "2011",
 title        = "A tale of three Reverse Mathematics",
 note         = "Submitted",
)
@article(aloneatlast3,
 author       = "Sam Sanders",
 year         = "2011",
 title        = "\textup {ERNA} and {F}riedman's {R}everse {M}athematics",
 journal      = "Journal of Symbolic Logic",
 volume       = "76",
 pages        = "637--664",
 doi          = "10.2178/jsl/1305810768",
)
@book(venice,
 editor       = "Peter Schuster and Ulrich Berger and Horst Osswald",
 year         = "2001",
 title        = "Reuniting the antipodes---constructive and nonstandard views of the continuum. Proceedings of the symposium held in Venice, May 16--22, 1999",
 series       = "Synthese Library",
 volume       = "306",
 publisher    = "Kluwer Academic Publishers",
)
@book(simpson2,
 author       = "Stephen G. Simpson",
 year         = "2009",
 title        = "Subsystems of second order arithmetic",
 edition      = "2nd",
 series       = "Perspectives in Logic",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511581007",
)
@article(kei1,
 author       = "Stephen G. Simpson and Keita Yokoyama",
 year         = "2011",
 title        = "A nonstandard counterpart of WWKL",
 journal      = "Notre Dame Journal of Formal Logic",
 volume       = "52",
 number       = "3",
 pages        = "229--243",
 doi          = "10.1215/00294527-1435429",
)
@book(zweer,
 author       = "Robert I. Soare",
 year         = "1987",
 title        = "Recursively enumerable sets and degrees",
 series       = "Perspectives in Mathematical Logic",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-662-02460-7",
)
@article(turing37,
 author       = "Alan Turing",
 year         = "1937",
 title        = "On computable numbers, with an application to the Entscheidungsproblem",
 journal      = "Proceedings of the London Mathematical Society",
 volume       = "42",
 pages        = "230--265",
 doi          = "10.1112/plms/s2-42.1.230",
)
@article(jaap1,
 author       = "Jaap Van Oosten",
 year         = "2006",
 title        = "Review of \cite {cross}",
 journal      = "Bulletin of Symbolic Logic",
 volume       = "12",
 number       = "4",
 pages        = "611--612",
 doi          = "10.1017/S107989860000250X",
)
@book(weikeei,
 author       = "Klaus Weihrauch",
 year         = "2000",
 title        = "Computable analysis",
 series       = "Texts in Theoretical Computer Science. An EATCS Series",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-642-56999-9",
 note         = "An introduction",
)
@book(kei4,
 author       = "Keita Yokoyama",
 year         = "2009",
 title        = "Standard and non-standard analysis in second order arithmetic",
 series       = "Tohoku Mathematical Publications",
 volume       = "34",
 publisher    = "Tohoku University Mathematical Institute",
)
@article(kei3,
 author       = "Keita Yokoyama",
 year         = "2010",
 title        = "Formalizing non-standard arguments in second-order arithmetic",
 journal      = "Journal of Symbolic Logic",
 volume       = "75",
 number       = "4",
 pages        = "1199--1210",
 doi          = "10.2178/jsl/1286198143",
)
@inproceedings(kei2,
 author       = "Keita Yokoyama",
 year         = "2010",
 title        = "On $\Pi _1^1$ conservativity for $\Pi _2^1$ theories in second order arithmetic",
 editor       = "T. Arai and J. Brendle and H. Kikyo and C.T. Chong and R. Downey and Q. Feng and H. Ono",
 booktitle    = "10th Asian Logic Conference. Proceedings of the conference held at Kobe University, Kobe, September 1–6, 2008",
 publisher    = "World Scientific",
 pages        = "375--386",
 doi          = "10.1142/9789814293020\_0016",
)