Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Constructive decidability of classical continuity
Martín Escardó
Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Constructive decidability of classical continuity'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Decidability
74%
Natural number
34%
Excluded third
27%
Existential quantifier
26%
Constructive Mathematics
25%
Uniform Continuity
24%
Cantor
19%
Quantifiers
19%
Compactification
18%
Engineering & Materials Science
Computability and decidability
100%