Emanuele Frittaion

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Extensional realizability and choice for dependent types in intuitionistic set theory	2024	Emanuele Frittaion
+	Peano Arithmetic, games and descent recursion	2024	Emanuele Frittaion
+ PDF Chat	Choice and independence of premise rules in intuitionistic set theory	2024	Emanuele Frittaion Takako Nemoto Michael Rathjen
+ PDF Chat	Peano Arithmetic, games and descent recursion	2024	Emanuele Frittaion
+ PDF Chat	Iterating reflection over intuitionistic arithmetic	2024	Emanuele Frittaion
+ PDF Chat	EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY	2022	Emanuele Frittaion
+ PDF Chat	A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC	2022	Emanuele Frittaion
+	A note on fragments of uniform reflection in second order arithmetic	2022	Emanuele Frittaion
+ PDF Chat	Extensional realizability for intuitionistic set theory	2020	Emanuele Frittaion Michael Rathjen
+	Extensional realizability for intuitionistic set theory	2020	Emanuele Frittaion Michael Rathjen
+ PDF Chat	Completeness of the primitive recursive $$\omega $$-rule	2020	Emanuele Frittaion
+	Extensional realizability for intuitionistic set theory	2020	Emanuele Frittaion Michael Rathjen
+ PDF Chat	On Goodman Realizability	2019	Emanuele Frittaion
+ PDF Chat	Reverse Mathematics and Partial Orders, University of Udine, Italy, 2014. Supervised by Alberto Marcone	2018	Emanuele Frittaion
+	The Strength of the SCT Criterion	2017	Emanuele Frittaion Silvia Steila Keita Yokoyama
+	The strength of SCT soundness	2017	Emanuele Frittaion Florian Pelupessy Silvia Steila Keita Yokoyama
+ PDF Chat	Brown’s lemma in second-order arithmetic	2017	Emanuele Frittaion
+	Coloring the rationals in reverse mathematics	2016	Emanuele Frittaion Ludovic Patey
+ PDF Chat	Reverse mathematics, well-quasi-orders, and Noetherian spaces	2016	Emanuele Frittaion Matthew Hendtlass Alberto Marcone Paul Shafer Jeroen Van der Meeren
+	The strength of the SCT criterion	2016	Emanuele Frittaion Silvia Steila Keita Yokoyama
+	Brown's lemma in second-order arithmetic	2015	Emanuele Frittaion
+	Brown's lemma is equivalent to Sigma02-induction	2015	Emanuele Frittaion
+	Coloring the rationals in reverse mathematics	2015	Emanuele Frittaion Ludovic Patey
+	Brown's lemma in second-order arithmetic	2015	Emanuele Frittaion
+	Coloring the rationals in reverse mathematics	2015	Emanuele Frittaion Ludovic Patey
+	Reverse mathematics and initial intervals	2013	Emanuele Frittaion Alberto Marcone
+ PDF Chat	Linear extensions of partial orders and reverse mathematics	2012	Emanuele Frittaion Alberto Marcone

Common Coauthors

Coauthor	Papers Together
Michael Rathjen	4
Alberto Marcone	3
Ludovic Patey	3
Silvia Steila	3
Keita Yokoyama	3
Matthew Hendtlass	1
Jeroen Van der Meeren	1
Florian Pelupessy	1
Paul Shafer	1
Takako Nemoto	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Arithmetical conservation results	2017	Benno van den Berg Lotte van Slooten	4
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson	4
+ PDF Chat	The maximal linear extension theorem in second order arithmetic	2011	Alberto Marcone Richard A. Shore	3
+	Über die Bausteine der mathematischen Logik	1924	M. Schönfinkel	3
+ PDF Chat	On the strength of Ramsey's theorem for pairs	2001	Peter Cholak Carl G. Jockusch Theodore A. Slaman	3
+	Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie	1950	Kurt Schütte	2
+	REALIZABILITY FOR CONSTRUCTIVE ZERMELO-FRAENKEL SET THEORY	2006	Michael Rathjen	2
+ PDF Chat	Linear extensions of partial orders and reverse mathematics	2012	Emanuele Frittaion Alberto Marcone	2
+ PDF Chat	On Goodman Realizability	2019	Emanuele Frittaion	2
+	Transfinite recursive progressions of axiomatic theories	1962	Solomon Feferman	2
+	CZF does not have the existence property	2014	Andrew Swan	2
+	Combinatorial principles weaker than Ramsey's Theorem for pairs	2007	Denis R. Hirschfeldt Richard A. Shore	2
+	Metamathematics of First-Order Arithmetic	1993	Petr Hájek Pavel Pudlák	2
+ PDF Chat	Reverse mathematics and the equivalence of definitions for well and better quasi-orders	2004	Peter Cholak Alberto Marcone Reed Solomon	2
+ PDF Chat	Axiom of choice and complementation	1975	Radu Diaconescu	1
+ PDF Chat	Sur les prémeilleurordres	1972	Maurice Pouzet	1
+ PDF Chat	On the Strength of Ramsey's Theorem	1995	David Seetapun Theodore A. Slaman	1
+ PDF Chat	Filters on Computable Posets	2006	Steffen Lempp Carl Mummert	1
+	Hierarchies of number-theoretic functions II	1970	M. Lob Stanley S. Wainer	1
+ PDF Chat	SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS	2013	Manuel Lerman Reed Solomon Henry Towsner	1
+	Computability-theoretic and proof-theoretic aspects of partial and linear orderings	2003	Rodney G. Downey Denis R. Hirschfeldt Steffen Lempp Reed Solomon	1
+	A logical analysis of the generalized Banach contractions principle	2012	Alexander Kreuzer	1
+ PDF Chat	Reverse mathematics and a Ramsey-type König's Lemma	2012	Stephen Flood	1
+	Primitive recursive bounds for van der Waerden numbers	1988	Saharon Shelah	1
+ PDF Chat	An interesting combinatorial method in the theory of locally finite semigroups	1971	Thomas K. Brown	1
+	On Applications of Van Der Waerden's Theorem	1975	John Rabung	1
+	On Degrees of Unsolvability	1959	J. R. Shoenfield	1
+	Reverse mathematics and Ramsey's property for trees	2010	Jared Corduan Marcia J. Groszek Joseph R. Mileti	1
+ PDF Chat	Topological aspects of Poset spaces	2010	Carl Mummert Frank Stephan	1
+ PDF Chat	Ordinal numbers and the Hilbert basis theorem	1988	Stephen G. Simpson	1
+ PDF Chat	Reverse mathematics, computability, and partitions of trees	2009	Jennifer Chubb Jeffry L. Hirst Timothy H. McNicholl	1
+ PDF Chat	Metrics on tiling spaces, local isomorphism and an application of Brown’s lemma	2013	Rui Pacheco Helder Vilarinho	1
+	Extended bar induction in applicative theories	1990	Gerard R. Renardel de Lavalette	1
+	Weak comparability of well orderings and reverse mathematics	1990	Harvey M. Friedman Jeffry L. Hirst	1
+	Reverse mathematics and initial intervals	2013	Emanuele Frittaion Alberto Marcone	1
+	Borel quasi-orderings in subsystems of second-order arithmetic	1991	Alberto Marcone	1
+	On a Problem of Formal Logic	1930	Frank Plumpton Ramsey	1
+ PDF Chat	Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma	2011	Diego Figueira Santiago Figueira Sylvain Schmitz Philippe Schnoebelen	1
+	WQO and BQO theory in subsystems of second order arithmetic	2017	Alberto Marcone	1
+	REVERSE MATHEMATICS OF MF SPACES	2006	Carl Mummert	1
+	Ramsey's theorem and recursion theory	1972	Carl G. Jockusch	1
+	The Galvin-Prikry theorem and set existen axioms	1989	Kazuyuki Tanaka	1
+	On better-quasi-ordering transfinite sequences	1968	C. St. J. A. Nash‐Williams	1
+	Weak axioms of determinacy and subsystems of analysis I: δ games	1990	Kazuyuki Tanaka	1
+	Comparing WO$(\omega^\omega)$ with $\Sigma^0_2$ induction	2015	Stephen G. Simpson	1
+	On Fraisse's Order Type Conjecture	1971	Richard Laver	1
+	A New Proof of Szemer�di's Theorem for Arithmetic Progressions of Length Four	1998	W. T. Gowers	1
+	The Strength of the SCT Criterion	2017	Emanuele Frittaion Silvia Steila Keita Yokoyama	1
+	The strength of Ramsey's theorem for pairs and arbitrarily many colors	2017	Theodore A. Slaman Keita Yokoyama	1
+	An Intuitionistic Analysis of Size-change Termination.	2014	Silvia Steila	1