@article(abramsky1994domain, author = {Samson Abramsky and Achim Jung}, year = {1994}, title = {Domain theory}, journal = {Handbook of logic in computer science}, volume = {3}, pages = {1--168}, ) @inproceedings(baltag2015topology, author = {Alexandru Baltag and Nina Gierasimczuk and Sonja Smets}, year = {2015}, title = {On the Solvability of Inductive Problems: a study in epistemic topology}, booktitle = {Proceedings of the Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge}, doi = {10.4204/EPTCS.215.7}, ) @book(billingsley, author = {Patrick Billingsley}, year = {1999}, title = {Convergence of Probability Measures}, publisher = {John Wiley \& Sons}, doi = {10.1002/9780470316962}, ) @article(bjorndahl2013subset, author = {Adam Bjorndahl}, year = {2013}, title = {Subset space public announcement logic revisited}, journal = {arXiv preprint arXiv:1302.4009}, ) @article(debrecht2009, author = {Matthew de Brecht and Akihiro Yamamoto}, year = {2009}, title = {Interpreting Learners as Realizers for ${\Sigma}_2^0$-Measurable Functions}, journal = {(Manuscript)}, ) @article(dembo1994topological, author = {Amir Dembo and Yuval Peres}, year = {1994}, title = {A topological criterion for hypothesis testing}, journal = {The Annals of Statistics}, pages = {106--117}, doi = {10.1214/aos/1176325360}, ) @article(ermakov2013distinguishability, author = {Mikhail Ermakov}, year = {2013}, title = {On distinguishability of hypotheses}, journal = {arXiv preprint arXiv:1308.4295}, ) @inproceedings(genin2015choice, author = {Konstantin Genin and Kevin T. Kelly}, year = {2015}, title = {Theory Choice, Theory Change, and Inductive Truth-Conduciveness}, booktitle = {Proceedings of the fifteenth conference on Theoretical Aspects of Rationality and Knowledge}, ) @article(kellygeninSL2016, author = {Konstantin Genin and Kevin T. Kelly}, year = {forthcoming}, title = {Learning, Theory Choice, and Belief Revision}, journal = {Studia Logica}, ) @book(kelly1996logic, author = {Kevin T. Kelly}, year = {1996}, title = {{The Logic of Reliable Inquiry}}, publisher = {Oxford University Press}, ) @article(kulkarni1995general, author = {Sanjeev R Kulkarni and Ofer Zeitouni}, year = {1995}, title = {A general classification rule for probability measures}, journal = {The Annals of Statistics}, pages = {1393--1407}, doi = {10.1214/aos/1176324714}, ) @article(nobel2006hypothesis, author = {Andrew B. Nobel}, year = {2006}, title = {Hypothesis testing for families of ergodic processes}, journal = {Bernoulli}, pages = {251--269}, doi = {10.3150/bj/1145993974}, ) @book(parthasarathy1967probability, author = {Kalyanapuram Rangachari Parthasarathy}, year = {1967}, title = {Probability measures on metric spaces}, volume = {352}, publisher = {American Mathematical Soc.}, ) @phdthesis(ryabko2011learnability, author = {Daniil Ryabko}, year = {2011}, title = {Learnability in Problems of Sequential Inference}, school = {Universit{\'e} des Sciences et Technologie de Lille-Lille I}, ) @article(schulte1996topology, author = {Oliver Schulte and Cory Juhl}, year = {1996}, title = {Topology as epistemology}, journal = {The Monist}, volume = {79}, number = {1}, pages = {141--147}, doi = {10.5840/monist19967916}, ) @book(vickers1996topology, author = {Steven Vickers}, year = {1996}, title = {Topology Via Logic}, publisher = {Cambridge University Press}, ) @incollection(wang2013subset, author = {Y{\`\i} N W{\'a}ng and {\r A}gotnes, Thomas}, year = {2013}, title = {Subset space public announcement logic}, booktitle = {Logic and Its Applications}, publisher = {Springer}, pages = {245--257}, doi = {10.1007/978-3-642-36039-8_22}, ) @article(yamamoto2010topological, author = {Akihiro Yamamoto and Matthew de Brecht}, year = {2010}, title = {Topological Properties of Concept Spaces (full version)}, journal = {Information and Computation}, volume = {208}, number = {4}, pages = {327--340}, doi = {10.1016/j.ic.2009.08.001}, )