Finitely Supported Mathematics An Introduction /

Mostrar otras versiones (1)

In this book the authors present an alternative set theory dealing with a more relaxed notion of infiniteness, called finitely supported mathematics (FSM). It has strong connections to the Fraenkel-Mostowski (FM) permutative model of Zermelo-Fraenkel (ZF) set theory with atoms and to the theory of (...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Alexandru, Andrei (Autor), Ciobanu, Gabriel (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Temas:
Computer science.
Computer science-Mathematics.
Mathematical logic.
Algebra.
Theory of Computation.
Mathematics of Computing.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Introduction
  • Fraenkel-Mostowski Set Theory: A Framework for Finitely Supported Mathematics
  • Algebraic Structures in Finitely Supported Mathematics
  • Extended Fraenkel-Mostowski Set Theory
  • Process Calculi in Finitely Supported Mathematics
  • References. .

Ejemplares similares