• LOGIN
    Login with username and password
Repository logo

BORIS Portal

Bern Open Repository and Information System

  • Publications
  • Theses
  • Research Data
  • Projects
  • Organizations
  • Researchers
  • More
  • Collections
  • Statistics
  • LOGIN
    Login with username and password
Repository logo
Unibern.ch
  1. Home
  2. Publications
  3. From Mathesis Universalis to fixed points and related set-theoretic concepts
 

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

Options
  • Details
  • Files
BORIS DOI
10.48350/156073
Official URL
https://link.springer.com/book/10.1007/978-3-030-20447-1#toc
Publisher DOI
10.1007/978-3-030-20447-1_9
Description
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.
Date of Publication
2019
Publication Type
Book Section
Subject(s)
000 Computer science, knowledge & systems
500 Science > 510 Mathematics
Language(s)
en
Contributor(s)
Jäger, Gerhard Max
Institut für Informatik (INF)
Steila, Silvia
Institut für Informatik (INF)
Editor(s)
Centrone, Stefania
Negri, Sara
Sarikaya, Deniz
Schuster, Peter M.
Additional Credits
Institut für Informatik (INF)
Series
Studies in Epistemology, Logic, Methodology, and Philosophy of Science
Publisher
Springer
ISBN
978-3-030-20446-4
Book Title
Mathesis Universalis, Computability and Proof, Synthese Library
Access(Rights)
restricted
Show full item
BORIS Portal
Bern Open Repository and Information System
Build: dd892c [ 9.04. 8:30]
Explore
  • Projects
  • Funding
  • Publications
  • Research Data
  • Organizations
  • Researchers
  • Audiovisual Material
  • Software & other digital items
  • Events
More
  • About BORIS Portal
  • Send Feedback
  • Cookie settings
  • Service Policy
Follow us on
  • Mastodon
  • YouTube
  • LinkedIn
UniBe logo