Sergei Tupailo

Available identifiers

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 …	2011-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3581798	2010-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q5457391	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sergei Tupailo