Cover Image
QR Code

A STRONG MULTI-TYPED INTUITIONISTIC THEORY OF FUNCTIONALS.

In this paper we describe an intuitionistic theory SLP. It is a relatively strong theory containing intuitionistic principles for functionals of many types, in particular, the theory of the “creating subject”, axioms for lawless functionals and some versions of choice axioms. We construct a Beth mod...

Full description

Published in:Journal of Symbolic Logic Vol. 80; no. 3; pp. 1035 - 1066
Main Author: KACHAPOVA, FARIDA
Format: Article
Published: Cambridge University Press Sep2015
Subjects:
Intuitionistic mathematics
Constructive mathematics
Functionals
Function spaces
Functional analysis
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost