1

The approach towards algebraization of set theory which started to be developed in 1988 by André Joyal and Ieke Moerdijk was presented in their book titled "Algebraic Set Theory" which appeared in 1995. This approach is sometimes called "category-theoretical" since it is based on ideas and terms of category theory. However, I read that other mathematicians (e.g. Alfred Tarski, Dana Scott) also worked on algebraization of set theory and they did not use the language of category theory. Was any of such approaches successful enough to result in formulation of a set theory in terms other than category theoretic terms?

Andrés E. Caicedo
  • 79,201
Ioachim Drugus
  • 656
  • 1
    What do you consider an algebraic approach to set theory, exactly? – Noah Schweber Oct 10 '20 at 22:43
  • I am not sure I know a good answer to the question "What is an algebraic approach to set theory" - possibly this question should be asked and answered separately. My question is different. My question is whether there are approaches to algebraization of set theory, which succeeded on this task (presenting an algebraic set theory), other than category-theoretic approach. – Ioachim Drugus Oct 11 '20 at 09:18

1 Answers1

4

Tarski's ideas about algebraization of set theory (and its underlying logic) were developed in a book co-authored with Steven Givant. The MathSciNet reference is

MR0920815 Tarski, Alfred; Givant, Steven A formalization of set theory without variables. American Mathematical Society Colloquium Publications, 41. American Mathematical Society, Providence, RI, 1987. xxii+318 pp. ISBN: 0-8218-1041-3

Andreas Blass
  • 71,833