arXiv Open Access 2020

Logics of Intuitionistic Kripke-Platek Set Theory

Rosalie Iemhoff Robert Passmann

Lihat Sumber

Abstrak

We investigate the logical structure of intuitionistic Kripke-Platek set theory IKP, and show that the first-order logic of IKP is intuitionistic first-order logic IQC.

Topik & Kata Kunci

math.LO

Penulis (2)

Rosalie Iemhoff

Robert Passmann

Format Sitasi

APA MLA BibTeX

Iemhoff, R., Passmann, R. (2020). Logics of Intuitionistic Kripke-Platek Set Theory. https://arxiv.org/abs/2007.05450

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2020
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓