Quantifying over the reals
type: Item
instance of: scholarly article
title: Quantifying over the reals
zbMATH Open document ID: 0813.03003
author: Philip Hugly
author: Charles Sayward
published in: Synthese
publication date: 1995-02-09T00:00:00Z
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 720697
zbMATH Keywords: substitutional construal of quantification
zbMATH Keywords: quantification over the real numbers
zbMATH Keywords: intuitionism
MaRDI profile type: MaRDI publication profile
Recommended article: Q3004034
Recommended article: Q4884983
Recommended article: Quantifiers and approximation
Recommended article: Theories of real numbers and interpretability
Recommended article: Quantitatively hyper-positive real functions
Recommended article: Q4696890
Recommended article: Reals by abstraction
Recommended article: Counting problems over the reals
description: scientific article; zbMATH DE number 720697