Jäger, Gerhard; Steila, Silvia (2019). From Mathesis Universalis to fixed points and related set-theoretic concepts. In: Centrone, Stefania; Negri, Sara; Sarikaya, Deniz; Schuster, Peter M. (eds.) Mathesis Universalis, Computability and Proof, Synthese Library. Studies in Epistemology, Logic, Methodology, and Philosophy of Science: Vol. 412 (pp. 113-129). Cham: Springer 10.1007/978-3-030-20447-1_9
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
Mathesis-Universalis.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (376kB) |
Official URL: https://link.springer.com/book/10.1007/978-3-030-2...
This article is about fixed point axioms and related principles in Kripke-Platekenvironments. We begin with surveying some principles and results of and turn tomore recent developments afterwards.
Item Type: |
Book Section (Book Chapter) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG) 08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
Jäger, Gerhard Max, Steila, Silvia |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISBN: |
978-3-030-20446-4 |
Series: |
Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
Publisher: |
Springer |
Language: |
English |
Submitter: |
Atefeh Rohani |
Date Deposited: |
18 Jun 2021 12:15 |
Last Modified: |
05 Dec 2022 15:51 |
Publisher DOI: |
10.1007/978-3-030-20447-1_9 |
BORIS DOI: |
10.48350/156073 |
URI: |
https://boris.unibe.ch/id/eprint/156073 |
Actions (login required)
 |
Edit item |