Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

This is a preview. Log in through your library . Abstract This brief article is intended to introduce the reader to the field of algebraic set theory, in which model of set theory of a new and ...

Mathematics often helps us to think about issues that don’t seem mathematical. One area that has surprisingly far-reaching applications is the theory of sets. Sets are one of the most basic objects in ...

The Journal of Philosophical Logic provides a forum for work at the crossroads of philosophy and logic, old and new, with contributions ranging from conceptual to technical. Accordingly, the Journal ...