Research Statement Emanuele Frittaion 2016

First Page		Document Content
Date: 2016-06-04 05:36:00 Mathematics Order theory Abstraction Structure Wellfoundedness Proof theory Computability theory Linear extension Reverse mathematics Well-quasi-ordering Antichain Countable set		Research Statement Emanuele Frittaion 2016 Add to Reading List Source URL: www.math.tohoku.ac.jp Download Document from Source Website File Size: 183,02 KB Share Document on Facebook

	Jan Foniok – List of publications Journal papers [1] J. F, J. N , and C. T. Generalised dualities and maximal ﬁnite antichains in the homomorphism order of relational s DocID: 1pGGT - View Document
	Research Statement Emanuele Frittaion 2016 DocID: 1nzk7 - View Document
	An Algorithm for AnAntichain Antichain Algorithm DocID: 1mhCE - View Document
	PRIMITIVE RECURSION AND THE CHAIN ANTICHAIN PRINCIPLE ALEXANDER P. KREUZER Abstract. Let the chain antichain principle (CAC) be the statement that each partial order on N possesses an infinite chain or an infinite antich DocID: 1gXsY - View Document
	JMLR: Workshop and Conference Proceedings 34:33–48, 2014 Proceedings of the 12th ICGI A Canonical Semi-Deterministic Transducer Achilles Beros DocID: 19qPk - View Document