golem.ph.utexas.edu

Axiomatic Set Theory 1: Introduction

I’m teaching Edinburgh’s undergraduate Axiomatic Set Theory course, and the axioms we’re using are Lawvere’s Elementary Theory of the Category of Sets — with the twist that everything’s going to be ...
University of Gothenburg

Introduction to set theory

The University's international coordinators can help you if you have questions about courses for exchange students. The course treats Zermelo-Fraenkel's set theory, ZF, formulated in first-order logic ...
JSTOR Daily

A VARIANT OF CHURCH'S SET THEORY WITH A UNIVERSAL SET IN WHICH THE SINGLETON FUNCTION IS A SET

A Platonistic set theory with a universal set, CUSɩ, in the spirit of Alonzo Church's "Set Theory with a Universal Set," is presented; this theory uses a different sequence of restricted equivalence ...
JSTOR Daily

Set Theory, Type Theory, and Absolute Generality

In light of the close connection between the ontological hierarchy of set theory and the ideological hierarchy of type theory, Øystein Linnebo and Agustín Rayo have recently offered an argument in ...