Books in category Mathematics – Set Theory

Set Theoretical LogicThe Algebra of Models
This is an introduction to mathematical logic in which all the usual topics are presented: compactness and axiomatizability of semantical consequence, LöwenheimSkolemTarski theorems, prenex and other normal forms, and characterizations …

Introduction to the Numerical Modeling of Groundwater and Geothermal Systems
The book also presents the form in which specific useful models can be generated and solved. The text is introductory in the sense that it explains basic themes of the systems mentioned in three areas: engineering, physics and mathematics.

Lectures on Infinitedimensional Lie Algebra
There are three excellent books on it, written by Victor G Kac. This book begins with a survey and review of the material treated in Kac's books. In particular, modular invariance and conformal invariance and are explained in more detail.

The book is divided into four parts: hyperarithmetic sets, metarecursion, αrecursion, and Erecursion. This text is essential reading for all researchers in the field.

The Structure of KCStransitive Cyclefree Partial Orders, Issue 614
In this work, the class of cyclefree partial orders (CFPOs) is defined, and the CFPOs fulfilling a natural transitivity assumption, called $k$connected set transitivity ($k$$CS$transitivity), are analyzed in some detail.

Abstract Sets and Finite Ordinals
This text unites the logical and philosophical aspects of set theory in a manner intelligible both to mathematicians without training in formal logic and to logicians without a mathematical background.

This book is the first to assemble the scattered literature into a coherent and elegant presentation of what is known and proven about selectors–and what remains to be found.

Loeb Measures in Practice: Recent Advances
This expanded version of the 1997 European Mathematical Society Lectures given by the author in Helsinki, begins with a selfcontained introduction to nonstandard analysis (NSA) and the construction of Loeb Measures, which are rich measures …

RecursionTheoretic Hierarchies
Both are concerned with notions of definability and with the classification of mathematical objects according to their complexity. These are the common themes which run through the topics discussed here.

Fine Structure and Iteration Trees
This work is what results when fine structure meets iteration trees.