A very strong intuitionistic theory
type: Item
instance of: scholarly article
title: A very strong intuitionistic theory
zbMATH Open document ID: 0348.02029
DOI: 10.1007/BF02123404
author: Sergio Bernini
published in: Studia Logica
publication date: 1976-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03F99
zbMATH DE Number: 3542411
MaRDI profile type: Publication
cites work: Q4126322
cites work: Q5343325
cites work: Q5539743
cites work: Informal theory of choice sequences
cites work: Points and Spaces
cites work: Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
cites work: Extensional Gödel functional interpretation. A consistency proof of classical analysis
description: scientific article; zbMATH DE number 3542411