The intensional side of algebraic-topological representation theorems
Bibliographic Data
| ID | 10806331 |
|---|---|
| Authors | Sara Negri (0000-0001-6687-741X, University of Helsinki, corresponding author) |
| Year | 2021 |
| Volume | 198 |
| Issue | S5 |
| Pages | 1121-1143 |
| Publication date | 2021-03-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-017-1331-1 |
| OpenAlex | W2588584025 |
| Language | EN |
| References cited | 40 |
Algebra over a field · Algebraic number · Constructive · Constructive proof · Discrete mathematics · Embedding · Epistemology · Intuitionistic logic · Mathematical proof · Metaphysics · Modal · Philosophy of language · Philosophy of science · Programming language · Propositional calculus · Pure mathematics · Representation (politics) · Artificial Intelligence · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Philosophy
| Citation velocity | historical |
|---|---|
| Highly cited | No |