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
The entanglement of logic and set theory, constructively
Laura Crosilla
Philosophy, Theology and Religion
Research output
:
Contribution to journal
›
Article
›
peer-review
251
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The entanglement of logic and set theory, constructively'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Intuitionistic
100%
Logical Theory
100%
Entanglement
100%
Set-theoretic
100%
Type Theory
100%
Set Theory
100%
Infinite Domain
100%
Classical Logic
66%
Predicativity
66%
Motivation
33%
Interdependence
33%
Traditional View
33%
First-order Logic
33%
Zermelo-Fraenkel Set Theory
33%
Intuitionist
33%
Constructive Set Theory
33%
Arts and Humanities
Entanglement
100%
Set Theory
100%
Classical Logic
66%
predicativity
66%
Interdependence
33%
First-order logic
33%
intuitionist
33%
Zermelo
33%
Mathematics
Type Theory
100%
Infinite Domain
100%
Classical Logic
66%
Concludes
33%
Computer Science
Set Theory
100%
Lf Type Theory
66%
Interdependence
33%