General Topology (math.GN)

  • PDF
    The Omitting Types Theorem in model theory and the Baire Category Theorem in topology are known to be closely linked. We examine the precise relation between these two theorems. Working with a general notion of logic we show that the classical Omitting Types Theorem holds for a logic if a certain associated topological space has all closed subspaces Baire. We also consider stronger Baire category conditions, and hence stronger Omitting Types Theorems, including a game version. We use examples of spaces previously studied in set-theoretic topology to produce abstract logics showing that the game Omitting Types statement is consistently not equivalent to the classical one.
  • PDF
    CW complexes are used extensively in algebraic topology, but the product of two CW complexes need not be a CW complex, as shown by Dowker. Whilst Whitehead and Milnor gave sufficient conditions for the product to be a CW complex, all existing characterizations of those pairs of CW complexes which have product a CW complex rely on extra set-theoretic axioms. Here we provide a complete characterization of when the product of two CW complexes is a CW complex without using any extra set-theoretic axioms.

Recent comments

Juan Bermejo-Vega Aug 24 2015 09:08 UTC

@John Bryden. Could you use quotes "" or bloquotes > when citing? It improves readability and avoids potential misunderstandings.

Noon van der Silk Aug 22 2015 00:59 UTC

Note that it's not possible to submit papers to SciRate directly; this site simply aggregates information from other sites. However, I've added an issue relating to potentially marking withdrawn papers -

John Bryden Aug 21 2015 22:17 UTC

Aside from the comment above there are other comments that should be made.

A very important comment is this. The fraudulent paper of Ntatin, is quite simply NOT correct.
By this I mean the following: In 1999 Florian Deloup and I began a project that we called "The linking form conjecture for 3-m

John Bryden Aug 21 2015 20:48 UTC

This article submitted by B. Ntatin and W. Glunt was published in a new Journal called Advances in Pure Mathematics (APM for short) in September of 2013. In July 2014 the Journal APM RETRACTED this article. The reason that APM retracted this article to quote the Journal is :

The following arti