| Autor: |
Iemhoff, Rosalie, Passmann, Robert |
| Předmět: |
|
| Zdroj: |
Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences; 5/29/2023, Vol. 381 Issue 2248, p1-17, 17p |
| Abstrakt: |
We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide examples of a number of set theories that are extensible. This article is part of the theme issue 'Modern perspectives in Proof Theory'. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
