A transfer principle for second-order arithmetic, and applications

Merlin Carl, Asgar Jamneshan

Type: Preprint

Publication Date: 2018-01-01

Citations: 1

DOI: https://doi.org/10.48550/arxiv.1804.01573

Similar Works

Action	Title	Year	Authors
+ PDF Chat	A transfer principle for second-order arithmetic, and applications	2018	Merlin Carl Asgar Jamneshan
+ PDF Chat	Intermediate Goodstein Principles	2023	David Fernández–Duque Oriola Gjetaj Andreas Weiermann
+	Arithmetic of probability laws	1976	Leo Livshits И. В. Островскии G. P. Chistyakov
+	The Borel-Cantelli Lemma	2012	Tapas K. Chandra
+	A programmed introduction to the theory of probability	1973	Dieter Stempell
+	Unary Borel functions and second-order arithmetic	1983	Harvey M. Friedman
+	Elementary Probability and Set Theory	2019	Robb Eric S. Moss
+	From finite to countable additivity	1987	Dorothy Maharam
+	Preliminaries	2013	Alexander D. Kolesnik Nikita Ratanov
+	A history of the axiomatic formulation of probability from Borel to Kolmogorov: Part I	1978	Jack Barone Albert Novikoff
+	Axioms for non-Archimedean probability (NAP)	2012	Sylvia Wenmackers Vieri Benci Leon Horsten
+	The Borel hierarchy in intuitionistic mathematics	1999	Wim Veldman
+	Kolmogorov’s Axiomatization and Its Discontents	2017	Aidan Lyon
+ PDF Chat	A measure-free approach to conditioning	1988
+	An extension of borel determinacy	1990	Donald A. Martin
+	One Fundamental Theorem Concerning Inﬁnite Countable Sets	2021	Nhat-Anh Phan
+	A Programmed Introduction to Probability.	1966	Eugene D. Nichols John R. Dixon
+	Preliminaries on Axiomatic Probability Theory	2001	Ivan Kramosil
+	An Introduction to Measure-Theoretic Probability	2014
+	An Introduction to Measure-Theoretic Probability	2014

Action	Title	Year	Authors

Action	Title	Year	Authors