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

DOI10.1093/JIGPAL/JZT045zbMATH Open1338.03098OpenAlexW2100728212MaRDI QIDQ5172136FDOQ5172136

Authors: Shunsuke Yatabe 

Publication date: 12 February 2015

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

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

Recommendations

• scientific article; zbMATH DE number 2051384
• Rudimentary and arithmetical constructive set theory
• Intuitionistic fixed point theories over set theories
• Curry's paradox in contractionless constructive logic
• An intuitionistic fixed point theory

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5172136)