The following pages link to Sergei Tupailo (Q1861329):
Displaying 17 items.
- Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe (Q1861330) (← links)
- Epsilon substitution method for elementary analysis (Q1908821) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- (Q2757851) (← links)
- Consistency of strictly impredicative NF and a little more … (Q3066796) (← links)
- (Q3581798) (← links)
- (Q3590905) (← links)
- (Q4297174) (← links)
- Realization of analysis into Explicit Mathematics (Q4328839) (← links)
- (Q4453640) (← links)
- Epsilon Substitution Method for 11 - CR: a Constructive Termination Proof (Q4454301) (← links)
- (Q4807665) (← links)
- (Q4941993) (← links)
- (Q4944926) (← links)
- On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics (Q5013911) (← links)
- On the intuitionistic strength of monotone inductive definitions (Q5311753) (← links)
- (Q5457391) (← links)