Provability, Computability and Reflection.
The classical theory of analytic sets has already been extensively generalized. The present author generalizes these generalizations, from a broad point of view. In keeping with this spirit, the use of separation axioms is minimized, and largely avoided altogether; but for simpl…
This work is a systematic study of ideals over uncountable sets. In particular, we investigate the role of various properties of ideals in arithmetic of cardinal numbers. We also study consequences of existence of precipitous ideals for the generalized continuum hypothesis and t…
"Design education, research, and practice have recently seen considerable evolution as university programs, researchers, journals, and conferences systematize design as a discipline and science. Nam P. Suh's book Axiomatic Design: Advances and Applications contributes to this sy…
The main results of this work can be formulated in such a way that they will attract a broad spectrum of mathematical interest, but the main audience includes combinatorialists, set-theorists, and topologists. This paper explores a central question: Suppose one is given an at mo…
This Computer Algebra Handbook gives a comprehensive snapshot of this field at the intersection of mathematics and computer science with applications in physics, engineering and education. It contains both theory, systems and practice of the discipline of symbolic computation an…
"This Computer Algebra Handbook gives a comprehensive snapshot of this field at the intersection of mathematics and computer science with applications in physics, engineering and education. It contains both theory, systems and practice of the discipline of symbolic computation a…
This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory.
The core model, K, is a generalization of Gödel's constructible universe of set theory; K is used to produce 'fine structural' results of a less restrictive kind. This book aims to introduce the core model to those with a basic knowledge of axiomatic set theory. The covering lem…