A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY

DOI10.1017/bsl.2018.4OpenAlexW2962715763MaRDI QIDQ4637943

Erik Palmgren

Publication date: 3 May 2018

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1704.06812

zbMATH Keywords

intuitionistic logicramified type theoryreducibility axiom

Mathematics Subject Classification ID

Related Items (1)

From type theory to setoids and back

Cites Work

• A modern elaboration of the ramified theory of types
• Types in Logic and Mathematics before 1940
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A CONSTRUCTIVE EXAMINATION OF A RUSSELL-STYLE RAMIFIED TYPE THEORY