Some topics in set theory
This thesis is divided into two parts. In the first of these we consider Ackermann-type set theories and many of our results concern natural models. We prove a number of results about the existence of natural models of Ackermann's set theory, A, and applications of this work are shown to answer...
Main Author: | Lake, John |
---|---|
Published: |
Royal Holloway, University of London
1973
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.704257 |
Similar Items
-
Automorphisms of Boolean-value models of set-theory
by: Hernandez Manfredini, Enrique German
Published: (1983) -
Some properties of inaccessible numbers in the theory of sets-philosophic considerations
by: Faillace, Philip J.
Published: (1972) -
Realizability interpretations for intuitionistic set theories
by: Dihoum, Eman Emhemed
Published: (2016) -
Executing Gödel's programme in set theory
by: Barton, Neil
Published: (2017) -
Some uses of cut elimination
by: Vizcaíno, Pedro Francisco Valencia
Published: (2013)