Free algebras in Von Neumann-Bernays-Gӧdel set theory and positive elementary inductions in reasonable structures
This thesis consists of two independent chapters. The first chapter deals with universal algebra. It is shown, in von Neumann-Bernays-Gӧdel set theory, that free images of partial algebras exist in arbitrary varieties. It follows from this, as set-complete Boolean algebras form a variety, that there...
Internet
https://thesis.library.caltech.edu/8901/1/Rubin_a_1978.pdfRubin, Arthur (1978) Free algebras in Von Neumann-Bernays-Gӧdel set theory and positive elementary inductions in reasonable structures. Dissertation (Ph.D.), California Institute of Technology. doi:10.7907/62t8-9b85. https://resolver.caltech.edu/CaltechTHESIS:05282015-144505104 <https://resolver.caltech.edu/CaltechTHESIS:05282015-144505104>