O-minimal cohomology: finiteness and invariance results

We prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated and invariant under elementary extensions and expansions of the language. We also study the cohomology of the intersection of a definable decreas-ing family of definably compact sets, under the additional assumption that the o-minimal structure expands a field.Comment: 28 pages, 7 figures and diagrams Added the hypothesis that singletons are construcible to section 3. Corrected misprint

Representations and Completions for Ordered Algebraic Structures

The primary concerns of this thesis are completions and representations for various classes of poset expansion, and a recurring theme will be that of axiomatizability. By a representation we mean something similar to the Stone representation whereby a Boolean algebra can be homomorphically embedded into a field of sets. So, in general we are interested in order embedding posets into fields of sets in such a way that existing meets and joins are interpreted naturally as set theoretic intersections and unions respectively. Our contributions in this area are an investigation into the ostensibly second order property of whether a poset can be order embedded into a field of sets in such a way that arbitrary meets and/or joins are interpreted as set theoretic intersections and/or unions respectively. Among other things we show that unlike Boolean algebras, which have such a ‘complete’ representation if and only if they are atomic, the classes of bounded, distributive lattices and posets with complete representations have no first order axiomatizations (though they are pseudoelementary). We also show that the class of posets with representations preserving arbitrary joins is pseudoelementary but not elementary (a dual result also holds). We discuss various completions relating to the canonical extension, whose classical construction is related to the Stone representation. We claim some new results on the structure of classes of poset meet-completions which preserve particular sets of meets, in particular that they form a weakly upper semimodular lattice. We make explicit the construction of \Delta_{1}-completions using a two stage process involving meet- and join-completions. Linking our twin topics we discuss canonicity for the representation classes we deal with, and by building representations using a meet-completion construction as a base we show that the class of representable ordered domain algebras is finitely axiomatizable. Our method has the advantage of representing finite algebras over finite bases

Sobriety of crisp and fuzzy topological spaces

The objective of this thesis is a survey of crisp and fuzzy sober topological spaces. We begin by examining sobriety of crisp topological spaces. We then extend this to the L- topological case and obtain analogous results and characterizations to those of the crisp case. We then brie y examine semi-sobriety of (L;M)-topological spaces

Sobriety of crisp and fuzzy topological spaces

The objective of this thesis is a survey of crisp and fuzzy sober topological spaces. We begin by examining sobriety of crisp topological spaces. We then extend this to the L- topological case and obtain analogous results and characterizations to those of the crisp case. We then brie y examine semi-sobriety of (L;M)-topological spaces

Categories of Residuated Lattices

We present dual variants of two algebraic constructions of certain classes of residuated lattices: The Galatos-Raftery construction of Sugihara monoids and their bounded expansions, and the Aguzzoli-Flaminio-Ugolini quadruples construction of srDL-algebras. Our dual presentation of these constructions is facilitated by both new algebraic results, and new duality-theoretic tools. On the algebraic front, we provide a complete description of implications among nontrivial distribution properties in the context of lattice-ordered structures equipped with a residuated binary operation. We also offer some new results about forbidden configurations in lattices endowed with an order-reversing involution. On the duality-theoretic front, we present new results on extended Priestley duality in which the ternary relation dualizing a residuated multiplication may be viewed as the graph of a partial function. We also present a new Esakia-like duality for Sugihara monoids in the spirit of Dunn\u27s binary Kripke-style semantics for the relevance logic R-mingle

A study of localic subspaces, separation, and variants of normality and their duals.

198 p.As in classical topology, in localic topology one often needs to restrict to locales satisfyinga certain degree of separation. In fact, the study of separation in the category of localesconstitutes a non-trivial and important piece of the theory. For instance, it is sometimesimpossible to give an exact counterpart of a classical axiom, while other times a singleproperty for spaces yields multiple non-equivalent localic versions.The main goal of this thesis is to investigate several classes of separated locales and theirconnections with different classes of sublocales, that is, the regular subobjects in the categoryof locales.In particular, we introduce a new diagonal separation and show that it is, in a certainsense, dual to Isbell¿s (strong) Hausdorff property. The duality between suplattices andpreframes, and that between normality and extremal disconnectedness, turn out to be ofspecial interest in this context.Regarding higher separation, we introduce cardinal generalizations of normality andtheir duals (e.g., properties concerning extensions of disjoint families of cozero elements),and give characterizations via suitable insertion or extension results.The lower separation property known as the TD-axiom, also plays an important role inthe thesis. Namely, we investigate the TD-duality between the category of TD-spaces and acertain (non-full) subcategory of the category of locales, identifying the regular subobjects inthe localic side, and provide several applications in point-free topology.Tal como na topologia clássica, também na topologia dos locales (reticulados locais) éfrequente termos que nos restringir a locales que satisfaçam um certo grau de separação.De facto, o estudo de axiomas de separação na categoria dos locales constitui um aspectonão trivial e relevante da teoria. Por exemplo, em alguns casos é impossível termos acontrapartida exacta de um axioma clássico, enquanto noutros casos uma única propriedadepara espaços topológicos produz, na categoria dos locales, diversas versões não equivalentesentre si.O objectivo principal desta tese é investigar várias classes de locales separados e suasconexões com diferentes classes de sublocales (os subobjetos regulares na categoria doslocales).Em particular, introduzimos uma nova propriedade de separação diagonal e mostramosque se trata, em certo sentido, de uma propriedade dual do axioma (forte) de Hausdorffintroduzido por Isbell. As dualidades entre semi-reticulados e reticulados pré-locais, e entrenormalidade e desconexão extrema, acabam por ter um papel relevante neste contexto.Relativamente a axiomas de separação fortes, introduzimos generalizações de normalidade,em função de um cardinal arbitrário, e suas duais (por exemplo, propriedadesenvolvendo extensões de famílias disjuntas de elementos co-zero), e apresentamos caracterizaçõesem termos de propriedades de inserção ou extensão de funções.O axioma TD, uma propriedade de separação muito fraca, também desempenha umpapel importante nesta tese. Especificamente, investigamos a dualidade TD entre a categoriados espaços topológicos TD e uma determinada subcategoria (não plena) da categoria doslocales, identificando os subobjetos regulares na subcategoria de locales, e apresentamosvárias aplicações à topologia sem pontos.Tal y como ocurre en topología clásica, en topología locálica frecuentemente uno tiene querestringir su atención a locales que cumplen cierto grado de separación. De hecho, el estudiode la separación en la categoría de locales es un aspecto no trivial y relevante de la teoría. Enalgunos casos, es imposible dar una contrapartida exacta a un axioma clásico, mientras queen otros casos, una sola propiedad produce multitud de versiones locálicas no equivalentesentre sí.El principal objetivo de esta tesis es investigar varias clases de locales separados y susrelaciones con diferentes clases de sublocales, esto es, los subobjetos regulares en la categoríade locales.En particular, introducimos una nueva separación diagonal, y probamos que es, en ciertosentido, dual al axioma Hausdorff (fuerte) de Isbell. En este contexto, la dualidad entreretículos completos y premarcos, y aquella entre la normalidad y la desconexión extremaresultan ser de especial interés.En cuanto a la separación más fuerte, introducimos generalizaciones cardinales de lanormalidad y sus duales (por ejemplo, propiedades que consisten en la extensión de familiasdisjuntas de elementos cozero), y damos caracterizaciones de las mismas en términos deteoremas de extensión o inserción.Ciertas propiedades de separación más débiles, especialmente el axioma TD, tambiéndesempeñan un papel importante en esta tesis. Específicamente, investigamos la dualidad TDentre la categoría de espacios topológicos TD y cierta subcategoría (no plena) de la categoríade locales, identificando los subobjetos regulares en la categoría de locales, y proporcionamosalgunas aplicaciones en la topología sin puntos