#### Degree Type

Dissertation

#### Date of Award

1988

#### Degree Name

Doctor of Philosophy

#### Department

Mathematics

#### First Advisor

Alexander Abian

#### Abstract

A poset (P,≤) with maximum 1 is called compact (C) iff sup W exists and is not 1 for any nonempty well ordered subset W of (P - 1). P is classically compact (CC) iff whenever sup S = 1 for some S ⊆ P, then sup F = 1 for some finite F ⊆ S. The product ∏[superscript] P[subscript] i (ordered coordinatewise) is C (resp., CC) iff the subset of all tuples with finitely many nonunit entries is C (CC). Among other results we show ∏[superscript] P[subscript] i is C(CC) iff each P[subscript] i is C(CC);A poset P is called a T[subscript] i-Topology poset iff P is isomorphic to the open-set lattice of some T[subscript] i-topology. We state necessary and sufficient conditions that a finite poset P must satisfy to be a T[subscript] O, T[subscript] F, T[subscript] Y, T[subscript] DD, T[subscript] FF, or T[subscript]1 topology poset. We show that an infinite poset P is a T[subscript] D-topology poset iff (i) P is a complete distributive lattice (ii) with join-infinite distributivity and (iii) P has a representational witnessed collection [phi] of completely prime filters. [phi] is said to be witnessed iff for any F ϵ [phi] there is an x ϵ F where for any G ϵ [phi] it is the case that x ϵ G iff G is not a proper superset of F;A brief discussion of the set theoretical axioms M and SM is made in order to introduce a method of construction of unramified symmetric models of ZFA + (-AC).

#### DOI

https://doi.org/10.31274/rtd-180813-11304

#### Publisher

Digital Repository @ Iowa State University, http://lib.dr.iastate.edu/

#### Copyright Owner

Andrew deLong Martin

#### Copyright Date

1988

#### Language

en

#### Proquest ID

AAI8825941

#### File Format

application/pdf

#### File Size

115 pages

#### Recommended Citation

Martin, Andrew deLong, "Topology posets and an unramified symmetric model for set theory " (1988). *Retrospective Theses and Dissertations*. 8790.

https://lib.dr.iastate.edu/rtd/8790