Sergei Tupailo

Available identifiers

zbMath Open tupailo.sergeiMaRDI QIDQ1861329

List of research outcomes

Publication	Date of Publication	Type
On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics	2021-12-03	Paper
Consistency of strictly impredicative NF and a little more \(\dots \)	2011-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3581798	2010-09-02	Paper
Monotone inductive definitions and consistency of New Foundations	2008-04-14	Paper
https://portal.mardi4nfdi.de/entity/Q3590905	2007-09-03	Paper
Characterizing the interpretation of set theory in Martin-Löf type theory	2006-08-16	Paper
On the intuitionistic strength of monotone inductive definitions	2005-08-29	Paper
Epsilon Substitution Method for  11 - CR: a Constructive Termination Proof	2004-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q4453640	2004-03-07	Paper
https://portal.mardi4nfdi.de/entity/Q4807665	2003-05-21	Paper
Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe	2003-03-16	Paper
Realization of analysis into Explicit Mathematics	2002-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2757851	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4941993	2001-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q4944926	2000-12-03	Paper
Epsilon substitution method for elementary analysis	1996-10-15	Paper
https://portal.mardi4nfdi.de/entity/Q4297174	1994-11-24	Paper

Research outcomes over time

This page was built for person: Sergei Tupailo