Jäger, Gerhard (1997). Power types in explicit mathematics? The journal of symbolic logic, 62(4), pp. 1142-1146. Cambridge University Press 10.2307/2275630
|
Text
S0022481200015620.pdf - Published Version Available under License Publisher holds Copyright. Download (315kB) | Preview |
In this note it is shown that in explicit mathematics the strong power type axiom is inconsistent with (uniform) elementary comprehension and discuss some general aspects of power types in explicit mathematics.
Item Type: |
Journal Article (Original Article) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
Jäger, Gerhard Max |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
0022-4812 |
Publisher: |
Cambridge University Press |
Language: |
English |
Submitter: |
Marceline Brodmann |
Date Deposited: |
28 Jul 2020 11:25 |
Last Modified: |
05 Dec 2022 15:13 |
Publisher DOI: |
10.2307/2275630 |
BORIS DOI: |
10.7892/boris.115954 |
URI: |
https://boris.unibe.ch/id/eprint/115954 |
Actions (login required)
 |
Edit item |