On the crispness of and arithmetic with a bisimulation in a constructive naive set theory

DOI10.1093/JIGPAL/JZT045zbMath1338.03098OpenAlexW2100728212MaRDI QIDQ5172136

Shunsuke Yatabe

Publication date: 12 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzt045

zbMATH Keywords

bisimulationnaive set theorycontraction-free logiccomprehension principlenon-well founded set theory

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50)

This page was built for publication: On the crispness of   and arithmetic with a bisimulation in a constructive naive set theory