A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS

DOI10.1017/JSL.2015.21zbMath1357.03090arXiv1403.2813OpenAlexW2402236888MaRDI QIDQ3450813

Farida Kachapova

Publication date: 9 November 2015

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

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

zbMATH Keywords

consistencytruth predicateintuitionistic theorylawless sequencecreating subjectKripke schemaBeth model

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Related Items (1)

The creating subject, the Brouwer-Kripke schema, and infinite proofs

Cites Work

• Unnamed Item
• The inconsistency of Bernini's very strong intuitionistic theory
• A note on my paper A very strong intuitionistic theory
• A very strong intuitionistic theory
• Set theoretic foundations for constructive analysis
• An interpretation of intuitionistic analysis

This page was built for publication: A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS