Boris Čulina, Logic of paradoxes in classical set theories, Synthese, Vol. 190, No. 3 (February 2013), pp. 525-547 ...

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

The aim of the course is to help students of philosophy become familiar with naive set theory, classical logic, and modal logic. From set theory, the course covers both ‘working’ set theory as a tool ...

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 fascinating kind are determined algebraically. The method is ...

Bear with me. This logic is illuminating. In set theory, a union of a collection of sets is defined as the set of all members of the collection.

Memristors, a type of circuit element based on magnetic flux, were first proposed back in 1971, but remained limited to the realm of theory until 2008. That's when some researchers from HP Labs ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics.

The aim of the course is to familiarize students of philosophy with the essentials of naive set theory and formal logic. From set theory, the course covers (i) what is needed for use in formal ...