Finite sets and natural numbers in intuitionistic TT without extensionality

DOI10.1023/A:1005022208588zbMath0964.03060OpenAlexW1501677455MaRDI QIDQ1580650

Daniel Dzierzgowski

Publication date: 16 July 2001

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005022208588

zbMATH Keywords

Heyting arithmeticintuitionistic set theoryRussell's Simple Theory of Types

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

This page was built for publication: Finite sets and natural numbers in intuitionistic TT without extensionality