From Mathesis Universalis to fixed points and related set-theoretic concepts

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] Text
Mathesis-Universalis.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (376kB) | Request a copy

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 and 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:

18 Jun 2021 12:15

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 Edit item
Provide Feedback