Power types in explicit mathematics?

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

[img]
Preview
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:

28 Jul 2020 11:25

Publisher DOI:

10.2307/2275630

BORIS DOI:

10.7892/boris.115954

URI:

https://boris.unibe.ch/id/eprint/115954

Actions (login required)

Edit item Edit item
Provide Feedback