Sergei Tupailo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics The Legacy of Kurt Schütte	2021-12-03	Paper
Consistency of strictly impredicative NF and a little more \(\dots \) Journal of Symbolic Logic	2011-01-12	Paper
scientific article; zbMATH DE number 5778061 (Why is no real title available?)	2010-09-02	Paper
Monotone inductive definitions and consistency of New Foundations	2008-04-14	Paper
scientific article; zbMATH DE number 5186437 (Why is no real title available?)	2007-09-03	Paper
Characterizing the interpretation of set theory in Martin-Löf type theory Annals of Pure and Applied Logic	2006-08-16	Paper
On the intuitionistic strength of monotone inductive definitions Journal of Symbolic Logic	2005-08-29	Paper
Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof Logic Journal of the IGPL	2004-03-08	Paper
scientific article; zbMATH DE number 2051384 (Why is no real title available?)	2004-03-07	Paper
scientific article; zbMATH DE number 1914184 (Why is no real title available?)	2003-05-21	Paper
Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe Annals of Pure and Applied Logic	2003-03-16	Paper
Realization of analysis into Explicit Mathematics Journal of Symbolic Logic	2002-09-25	Paper
scientific article; zbMATH DE number 1678397 (Why is no real title available?)	2001-12-04	Paper
scientific article; zbMATH DE number 1418438 (Why is no real title available?)	2001-02-05	Paper
scientific article; zbMATH DE number 1420858 (Why is no real title available?)	2000-12-03	Paper
Epsilon substitution method for elementary analysis Archive for Mathematical Logic	1996-10-15	Paper
scientific article; zbMATH DE number 598799 (Why is no real title available?)	1994-11-24	Paper

Research outcomes over time

This page was built for person: Sergei Tupailo