Finitely Supported Mathematics An Introduction

Finitely Supported Mathematics An Introduction / by Andrei Alexandru, Gabriel Ciobanu.

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 (...

Full description

Saved in:

Bibliographic Details
Main Authors:	Alexandru, Andrei (Author), Ciobanu, Gabriel (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2016.
Edition:	1st ed. 2016.
Series:	Springer eBook Collection.
Subjects:	Computers. Computer science—Mathematics. Mathematical logic. Algebra. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Similar Items

Finitely supported mathematics : an introduction
by: Alexandru, Andrei
Published: (2016)

Function Algebras on Finite Sets Basic Course on Many-Valued Logic and Clone Theory
by: Lau, Dietlinde
Published: (2006)

Towards Mathematical Philosophy Papers from the Studia Logica conference Trends in Logic IV
Published: (2009)

Finiteness and Regularity in Semigroups and Formal Languages
by: Luca, Aldo de, et al.
Published: (1999)

Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings
Published: (2009)

Concise Computer Mathematics Tutorials on Theory and Problems
by: Bagdasar, Ovidiu
Published: (2013)

Algebraic Informatics Second International Conference, CAI 2007, Thessalonkik, Greece, May 21-25, 2007, Revised Selected and Invited Papers
Published: (2007)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Published: (2003)

Mathematical Lives Protagonists of the Twentieth Century From Hilbert to Wiles
Published: (2011)

Algebraic Foundations of Many-Valued Reasoning
by: Cignoli, R.L, et al.
Published: (2000)

Directed Algebraic Topology and Concurrency
by: Fajstrup, Lisbeth, et al.
Published: (2016)

Power Algebras over Semirings With Applications in Mathematics and Computer Science
by: Golan, Jonathan S.
Published: (1999)

Relational Topology
by: Schmidt, Gunther, et al.
Published: (2018)

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011, Proceedings
Published: (2011)

Inconsistent Mathematics
by: Mortensen, C.E
Published: (1995)

Cut Elimination in Categories
by: Dosen, K.
Published: (1999)

Mechanical Theorem Proving in Geometries Basic Principles
by: Wu, Wen-tsün
Published: (1994)

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
by: O'Regan, Gerard
Published: (2016)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
by: Pagliani, Piero, et al.
Published: (2008)

Finite Fields Normal Bases and Completely Free Elements
by: Hachenberger, Dirk
Published: (1997)

A Beginner’s Guide to Finite Mathematics For Business, Management, and the Social Sciences
by: Wallis, W.D
Published: (2004)

Finite Automata, Formal Logic, and Circuit Complexity
by: Straubing, Howard
Published: (1994)

Mathematical Problems from Applied Logic I Logics for the XXIst Century
Published: (2006)

CAAP'86 11th Colloquium on Trees in Algebra and Programming, Nice, France, March 24-26, 1986. Proceedings
Published: (1986)

Finite and Infinite Combinatorics in Sets and Logic
Published: (1993)

Fuzzy Mathematics An Introduction for Engineers and Scientists
by: Mordeson, John N., et al.
Published: (2001)

Quantifier Elimination and Cylindrical Algebraic Decomposition
Published: (1998)

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
by: O’Regan, Gerard
Published: (2013)

An Algebraic Introduction to Mathematical Logic
by: Barnes, D.W, et al.
Published: (1975)

Mathematical Foundations of Computer Science 1990 Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
Published: (1990)

Algebraic Methodology and Software Technology 9th International Conference, AMAST 2002, Saint-Gilles-les- Bains, Reunion Island, France, September 9-13, 2002. Proceedings
Published: (2002)

Mathematical Foundations of Computer Science 1989 Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Published: (1989)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune
Published: (2013)

The q-theory of Finite Semigroups
by: Rhodes, John, et al.
Published: (2009)

Finite Fields and Applications Proceedings of The Fifth International Conference on Finite Fields and Applications Fq 5, held at the University of Augsburg, Germany, August 2–6, 1999
Published: (2001)

Petri Net Algebra
by: Best, Eike, et al.
Published: (2001)

Introduction to Process Algebra
by: Fokkink, Wan
Published: (2000)

Algebraic Methodology and Software Technology 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings
Published: (2000)

Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings
Published: (2009)

Mathematics of Discrete Structures for Computer Science
by: Pace, Gordon J.
Published: (2012)