Institut Mittag-Leffler The Royal Swedish Academy of Sciences

Reports Institut Mittag-Leffler
ISSN: 1103-467X
ISRN: IML-R

Frame-valued Semantics for Constructive Set Theory
Source file as TeX DVI Data Postscript Document Portable Document Format

Preprint series: Mathematical Logic - 2000/2001, No. 39

MSC 2000

03F50 Metamathematics of constructive systems

03E35 Consistency and independence results

03G10 Lattices and related structures

Keywords: Constructive set theory, frame-valued semantics