Preliminary Program
11th Summer Conference on General Topology and Applications
August 10 - 13, 1995
University of Southern Maine
Gorham, Maine
Wednesday, August 9
- Conference Check-in....6:00pm--9:00pm
Presidential Dining Rm, Gorham Dining Center
- Welcome Reception....6:00pm--9:00pm
Faculty Dining Rm, Gorham Dining Center
Thursday, August 10
- Introduction....8:15---8:30
Dick Stebbins,Dean of the College of Arts and Sciences....Bailey 10
- Plenary Lecture:Some Topological Methods in General Relativity and
Multivariate Statistical Analysis....8:30---9:25
Stephen Watson (York University)....Bailey 10
- Set Theoretic Topology Workshop....9:30--10:15
Alan Dow (York University)....Bailey 10
- Parallel Sessions....9:30--10:00
- Session I....Bailey 104
- Directions in Digital Topology....9:30
Azriel Rosenfeld (University of Maryland)
- Break, Bailey Back Lobby....10:00--
- Parallel Sessions....10:30--12:00
- Session I....Bailey 104
- Jordan Graphs....10:30
Gabor T. Herman (University of Pennsylvania)
- Path-connected sets in digital spaces....11:00
Gerhard Ritter (University of Florida)
- A property of simple voxels in 3-d binary images....11:30
Yung Kong (Queens College)
- Session II....Bailey 105
- Singular hereditary
characters of points in countably tight
compact spaces....11:30
Piotr Koszmider (Auburn University)
- Session III....Bailey 215
- Monotone normality and compactness....10:30
Mary Ellen Rudin (University of Wisconsin)
- Normality and countable pair compactness....11:00
William Fleissner (University of Kansas)
- Metrizable spaces and the Axiom of Choice....11:30
Chris Good (Wadham College, Oxford)
- Session IV....Bailey 312
- Partially Ordered Families of Laminated Nearrings of $N(R)$....10:30
P. Misra (University of Staten Island)
- Largest proper ideals of transformation semigroups....11:00
K.D. Magill, Jr. (SUNY at Buffalo)
- Transmision of continuity to the Bohr topology....11:30
Jorge Galindo Pastor (Univesidad Jaume I)
- Lunch....12:00--1:30
- Parallel Sessions....1:30--2:55
- Session I....Bailey 104
- Many-valued functions and fixed points in digital topology....1:30
Mike Smyth (Imperial College)
- Digitally Continuous Homotopy....2:00
Laurence Boxer (Niagara University)
- Session II....Bailey 105
- Extensions of Functions and $\omega_\mu$-metrizability....1:30
Ian S. Stares (University of N. Carolina at Greensboro)
- Tychonoff Poset Structures....2:00
Bob Flagg (University of Southern Maine)
- Generalized Ultrametric Spaces:
completion, topology, and powerdomains....2:30
Jan Rutten (CWI, Amsterdam)
- Session III....Bailey 215
- Embeddings of Cohen Algebras....1:30
Jindrich Zapletal (Penn St Univ)
- A Reflection Theorem for regular spaces of point-countable type....2:00
Renata Grunberg (Univ. of Toronto)
- Forcing and Normality....2:30
Lucia R. Junqueira (Univ. of Toronto)
- Session IV....Bailey 312
- The space of wedges in ${\bf R}^n$....1:30
Eric Partridge
- Geometric Topology, Computer Aided Geometric
Design and Software Engineering Education....2:00
Thomas J. Peters (University of Connecticut)
- Tameness and Movability in proper shape theory....2:30
Zvonko \v Cerin (University of Zagreb)
- Break, Bailey Back Lobby....2:55--
- Workshop: Topology in Computer Science....3:15--4:00
Mike Mislove (Tulane University)....Bailey 10
- Parallel Sessions....3:30--3:55
- Session II....Bailey 105
- Companions to the Double Sequence Theorem of Nagata....3:30
H.H. Hung (Concordia University)
- Session III....Bailey 215
- Homogeneous families over omega....3:30
Menachem Kojman (CMU)
- Session IV....Bailey 312
- Bi-Neighborhood Lattices....3:30
Frank Prokop (University of Wollongong)
- Plenary Lecture: Programming Second and Third Order
Properties of Topological Spaces....4:00---5:00
Zoltan Balogh (Miami University)....Bailey 10
- LobsterBake....6:30--
North End, Gorham Dining Center
Friday, August 11
- Plenary Lecture:
The interface between topology and domain theory....8:30---9:25
Jimmie Lawson (Louisiana State University)....Bailey 10
- Set Theoretic Topology Workshop....9:30--10:15
Alan Dow (York University)....Bailey 10
- Break, Bailey Back Lobby....10:00--
- Parallel Sessions....10:30--12:00
- Session I....Bailey 104
- A new model construction for higher type systems....10:30
Dieter Spreen (Universitaet Siegen)
- Some Observations on Frames and Observations Frames....11:00
M.M. Bonsangue (Vrije Universiteit Amsterdam)
- Information Systems and Complete Lattices....11:30
Michael Bukatin (Brandeis)
- Session II....Bailey 105
- On the Theory of Ultrametric Spaces....10:30
Sibylla Priess-Crampe (Univ. Muenchen)
- The role of completions in modern valuation theory....11:00
Franz-Viktor Kuhlmann (Univ. Heidelberg)
- Injective Ultrametric Spaces....11:30
Ulrich Heckmanns (Mathematisches Institut der Universitaet Muenchen)
- Session III....Bailey 215
- CWH in first countable, countably paracompact spaces....10:30
Dennis Burke (Miami University)
- Some Additional Properties of
monotonically $T_2$ and $m_i$-spaces....11:00
Robert E. Buck (Slippery Rock University)
- IP* sets in Product Spaces....11:30
Neil Hindman
(Howard University)
- Session IV....Bailey 312
- Locally compact groups satisfying Chu
duality respect compactness....10:30
F. Javier Trigos-Arrieta (California State University Bakersfield)
- More on the Wallace Problem....11:00
Artur Hideyuki Tomita (York University)
- Transmision of continuity to the Bohr topology....11:30
Luis Miguel Villegas Silva (Univ. Autonoma Metropolitana Iztapalapa)
- Lunch....12:00--1:30
- Parallel Sessions....1:30--2:55
- Session I....Bailey 104
- Hyperuniverses....1:30
F. Honsell (Universita' di Udine)
- Topology and Complexity....2:00
Michel Schellekens (CMU)
- On the Duality of Compact vs. Open....2:00
Philipp S\"underhauf (Darmstadt) (CMU)
- Session II....Bailey 105
- History of generalized metrizable spaces....1:30
Dick Hodel (Duke University)
- On some isocompactness properties....2:00
Howard Wicke (Ohio University)
- Connectifications of metrizable spaces....2:30
Gary Gruenhage (Auburn University)
- Session III....Bailey 215
- On $C_{\alpha}$-compact subsets....2:30
Salvador Garcia-Ferreira (Univ. Nacional Autonoma de Mexico)
- On weaker connected topologies....2:00
Richard G. Wilson (Universidad Autonoma Metrpolitana)
- Weak p-points and cancellation in $\beta S$....1:30
Mahmoud Filali (University of Oulu)
- Session IV....Bailey 312
- ``Locally compact" paratopological groups....1:30
Ralph Kopperman (City College of CUNY)
- Left and right uniformities restricted
to subspaces of a topological group....2:00
Michael G. Tkachenko (Univ. Autonoma Metropolitana)
- Long Chains of Topological Group Topologies---A Continuation ....2:30
W. Wistar Comfort (WESLEYAN University)
- Break, Bailey Back Lobby....2:55--
- Workshop: Topology in Computer Science....3:15--4:00
Mike Mislove (Tulane University)....Bailey 10
- Parallel Sessions....3:30--3:55
- Session II....Bailey 105
- Galois-Tuckey
equivalence of convergent series and matrix summability....3:30
Winfried Just (Ohio U.)
- Session III....Bailey 215
- Hereditary Lindel\"of number
is preserved by $l$-equivalence....3:30
Vladimir Tkachuk (UAM-Iztapalapa)
- Session IV....Bailey 312
- Cardinal numbers associated with
dense pseudocompact groups....3:30
Gerry Itzkowitz (Queens College/CUNY)
- Plenary Lecture: Maximal almost periodic groups and a theorem of Glicksberg....4:00---5:00
Ta-Sun Wu (Case Western Reserve University)....Bailey 10
- Technology Presentation: The topology
eprint system at the University of Florida....8:00---8:45
Beverly L. Brechner (University of Florida)....???
Saturday, August 12
- Plenary Lecture:Compactness and the axiom of choice....8:30---9:25
Horst Herrlich (Univ. Bremen )....Bailey 10
- Set Theoretic Topology Workshop....9:30--10:15
Alan Dow (York University)....Bailey 10
- Parallel Sessions....9:30--10:00
- Session I....Bailey 104
- A Theory of Metric Labelled Transition Systems....9:30
F. van Breugel (McGill University)
- Break, Bailey Back Lobby....10:00--
- Parallel Sessions....10:30--12:00
- Session I....Bailey 104
- Metric Methods in Logic Programming....10:30
Melvin Fitting (City University of New York)
- Power Spaces of Valuations....11:00
Reinhold Heckmann (Universitaet des Saarlandes)
- Measure and Integration in Toplogical Order....11:30
Abbas Edalat (Imperial College)
- Session II....Bailey 105
- Embeddings of perfect GO-spaces into perfect LOTS....10:30
Takuo Miwa (Shimane University)
- Linearly Ordered Topological Spaces that
are Cancellative Topological Semi-Groups....11:00
R.W. Heath (University of Pittsburgh)
- Normality of $\varSigma$-products of generalized metric spaces....11:30
Yukinobu Yajima (Kanagawa University)
- Session III....Bailey 215
- $F_\sigma$ filters and a few applications....10:30
Claude LaFlamme (University of Calgary)
- Intervals in the lattice of topologies....11:00
David McIntyre (University of Auckland)
- Sets on which measurable functions are
determined by their range....11:30
Maxim R Burke (Univ of Prince Edward Island)
- Session IV....Bailey 312
- Maps on Cantor sets and applications....10:30
Minakshisundaram Rajagopalan (Tennessee State Univ.)
- Extending the category of linearly ordered spaces....11:00
Erwin Kronheimer (Birkbeck, London)
- A Theory of Bicompletions for Frame Quasi-Uniformities....11:30
Worthen Hunsaker (SIUC)
- Lunch....12:00--1:30
- Parallel Sessions....1:30--2:55
- Session I....Bailey 104
- A constructive hierarchy of non-well-founded sets....1:30
A.W. Roscoe (Oxford University Computing Lab)
- Metric Tools in Comparative Control Flow Semantics....2:00
E.P. de Vink (Vrije Universiteit Amsterdam)
- A General Domain Theory - Unifying Metric Space and
Partial Order Domain Theory with Enriched Categories....2:00
Kim Wagner (University of Cambridge)
- Session II....Bailey 105
- Separate vs. Joint Continuity; A
Tale of Four Topologies I....1:30
R.G.Woods (University of Manitoba)
- Separate vs. Joint Continuity; A
Tale of Four Topologies II....2:00
M. Henriksen (Harvey Mudd College)
- General of the Erd\"osh-de Brujn Theorem....2:30
Hans Vermeer (Technical University Delft)
- Session III....Bailey 215
- Sums, products and mappings of weakly pseudocompact spaces....1:30
Fred Eckertson (Instituto de Matematicas)
- Normality in products with a
countably tight factor....2:00
Peter Nyikos (University of South Carolina)
- Normality of products I....2:30
Steven Purisch (Barry University)
- Session IV....Bailey 312
- Ordered exponential fields....1:30
Salma Kuhlmann (Univ. Heidelberg)
- Direct Topologies....2:00
Niel Shell (City College of New York)
- Generalized s-Topologies ....2:30
Sherif El-Helaly (The Catholic University of America)
- Break, Bailey Back Lobby....2:55--
- Workshop: Topology in Computer Science....3:15--4:00
Mike Mislove (Tulane University)....Bailey 10
- Parallel Sessions....3:30--3:55
- Session II....Bailey 105
- Projective Topological Spaces and Injective
Topological Alegebras....3:30
Domenica Rosa (Teikyo Post University)
- Session III....Bailey 215
- Net spaces in categorical topology....3:30
Josef Slapal (Technical University of Brno)
- Session IV....Bailey 312
- Sum and difference free
partitions of vector spaces....3:30
Krzysztof (Chris) Ciesielski (West Virginia University)
- Plenary Lecture: Thoughts on metrisation theory and the theory of
generalised metric spaces ....4:00---5:00
Peter Collins (Oxford University)....Bailey 10
- Banquet....6:30--
North End, Gorham Dining Center
Sunday, August 13
- Set Theoretic Topology Workshop....9:30--10:55
Alan Dow (York University)....Bailey 10
- Parallel Sessions....9:30--10:55
- Session II....Bailey 105
- On the Space of Homeomorphisms
of a Compact $n$-manifold....9:30
Raymond Y. Wong (Univ. of Cal. Santa Barbara)
- Partial Metrics, Valuations and Domain Theory....10:00
Simon John O'Neill (U. of Warwick)
- Volterra spaces....10:30
David Gauld (University of Auckland)
- Session III....Bailey 215
- A localic version of Shirota's theorem....9:30
Joanne Lee Walters-Wayland
- On Relations in Topological Categories....10:00
Oswald Wyler (Carnegie-Mellon University)
- Connectedness and Disconnectedness
in Bitopological Spaces....10:30
Harriet Lord (Cal Poly at Pomona)
- Break, Bailey Back Lobby....10:55--
- Parallel Sessions....11:30--12:55
- Session II....Bailey 105
- On topological and Hausdorff dimensions
in an infinite-dimensional context....11:30
Jos\'e Rojo (Univ. Polit\'ecnica de Madrid)
- Covering dimension from large sets....12:00
A.H.Stone (Northeastern University)
- Topological rings with linearly compact open subrings....12:30
M. Ursul (Institutul de matematica, Moldova)
- Session III....Bailey 215
- On $\alpha$-Lindelof $\alpha$-Stratifiable Spaces....11:30
M. Jeanne Harris (Fairmont State Coll., PA)
- Locally Constant Functions....12:00
Joan E. Hart (University of Wisconsin--Madison)
- Some Weak Covering Properties Related to Metacompactness....12:30
Elise/Gary Grabner (Slippery Rock University)
- Workshop: Topology in Computer Science....11:30--12:55
Mike Mislove (Tulane University)....Bailey 10