Showing 1–9 of 9 results for author: Moshier, A

On Isbell's Density Theorem for bitopological pointfree spaces I

Authors: M. Andrew Moshier, Imanol Mozo Carollo, Joanne Walters-Wayland

Abstract: This paper addresses dense sub-objects for point-free bitopology in terms of $d$-frames and provides several examples. We characterize extremal epimorphisms in $d$-frames and show that a smallest dense one always exists, establishing a proper analogue of Isbell's Density Theorem for $d$-frames. Further we explore certain questions about the functoriality of assigning the smallest dense sub-object… ▽ More This paper addresses dense sub-objects for point-free bitopology in terms of $d$-frames and provides several examples. We characterize extremal epimorphisms in $d$-frames and show that a smallest dense one always exists, establishing a proper analogue of Isbell's Density Theorem for $d$-frames. Further we explore certain questions about the functoriality of assigning the smallest dense sub-object to each pointfree bitopological space. △ Less

Submitted 27 January, 2025; originally announced January 2025.

Comments: 20 pages

MSC Class: 06D22; 54B05

Journal ref: Topology and its applications, Volume 273, 15 March 2020, 106962

On Isbell's Density Theorem for bitopological pointfree spaces II

Authors: M. Andrew Moshier, Imanol Mozo Carollo, Joanne Walters-Wayland

Abstract: With the aim of studying subspaces in pointfree bitopology, we characterize extremal epimorphism in biframes and show that a smallest dense one always exists, providing an analogue of Isbell's Density Theorem. Further we study the functoriality of assigning to each biframe its lattice of subbilocales and its smallest dense subbilocale. With the aim of studying subspaces in pointfree bitopology, we characterize extremal epimorphism in biframes and show that a smallest dense one always exists, providing an analogue of Isbell's Density Theorem. Further we study the functoriality of assigning to each biframe its lattice of subbilocales and its smallest dense subbilocale. △ Less

Submitted 27 September, 2024; originally announced September 2024.

MSC Class: 06D22; 54B05; 54E55

Degrees of join-distributivity via Bruns-Lakser towers

Authors: G. Bezhanishvili, F. Dashiell Jr, M. A. Moshier, J. Walters-Wayland

Abstract: We utilize the Bruns-Lakser completion to introduce Bruns-Lakser towers of a meet-semilattice. This machinery enables us to develop various hierarchies inside the class of bounded distributive lattices, which measure $κ$-degrees of distributivity of bounded distributive lattices and their Dedekind-MacNeille completions. We also use Priestley duality to obtain a dual characterization of the resulti… ▽ More We utilize the Bruns-Lakser completion to introduce Bruns-Lakser towers of a meet-semilattice. This machinery enables us to develop various hierarchies inside the class of bounded distributive lattices, which measure $κ$-degrees of distributivity of bounded distributive lattices and their Dedekind-MacNeille completions. We also use Priestley duality to obtain a dual characterization of the resulting hierarchies. Among other things, this yields a natural generalization of Esakia's representation of Heyting lattices to proHeyting lattices. △ Less

Submitted 25 March, 2025; v1 submitted 7 September, 2024; originally announced September 2024.

MSC Class: 18F70; 06D22; 06D20; 06D05; 06B23; 06A12; 06E15

A Relational Category of Birkhoff Polarities

Authors: M. Andrew Moshier

Abstract: Garret Birkhoff observed that any binary relation between two sets determines a Galois connection between the powersets, or equivalently, closure operators on the powersets, or equivalently, complete lattices of subsets that are dually isomorphic. Referring to the duality of, say, points and lines in projective geometry, he named the binary relations as polarities. Researchers since then have us… ▽ More Garret Birkhoff observed that any binary relation between two sets determines a Galois connection between the powersets, or equivalently, closure operators on the powersets, or equivalently, complete lattices of subsets that are dually isomorphic. Referring to the duality of, say, points and lines in projective geometry, he named the binary relations as polarities. Researchers since then have used polarities (also known as formal contexts) as a convenient technical way to build complete lattices from ``found'' data. And so, various proposals for suitable morphisms between polarities have tended to have a particular application in mind. In this work, we develop the structure of a category of polarities and compatible relations, adopting Birkhoff's original simple idea that the structure of a polarity is its the Galois connection. Hence, morphisms must be relations that, in a reasonable sense, preserve Galois connections. In particular, the dual equivalence of the category to the category of complete meet semilattices, completeness of the category, characterization of epimorphisms and monomorphisms, an epi/mono factorization system, as well as the star-autonomous structure of the category, all arise by extending Birkhoff's original observation to morphisms. △ Less

Submitted 16 August, 2024; originally announced August 2024.

MSC Class: 06B23 (Primary) 18D15; 18D20 (Secondary)

Dedekind-MacNeille and related completions: subfitness, regularity, and Booleanness

Authors: G. Bezhanishvili, F. Dashiell Jr, M. A. Moshier, J. Walters-Wayland

Abstract: Completions play an important rôle for studying structure by supplying elements that in some sense ``ought to be." Among these, the Dedekind-MacNeille completion is of particular importance. In 1968 Janowitz provided necessary and sufficient conditions for it to be subfit or Boolean. Another natural separation axiom connected to these is regularity. We explore similar characterizations of when clo… ▽ More Completions play an important rôle for studying structure by supplying elements that in some sense ``ought to be." Among these, the Dedekind-MacNeille completion is of particular importance. In 1968 Janowitz provided necessary and sufficient conditions for it to be subfit or Boolean. Another natural separation axiom connected to these is regularity. We explore similar characterizations of when closely related completions are subfit, regular, or Boolean. We are mainly interested in the Bruns-Lakser, ideal, and canonical completions, which (unlike the Dedekind-MacNeille completion) satisfy stronger forms of distributivity. The first two are widely used in pointfree topology, while the latter is of crucial importance in the semantics of modal logic. △ Less

Submitted 9 April, 2025; v1 submitted 29 May, 2024; originally announced May 2024.

Comments: 28 pages, 4 figures, 4 tables

MSC Class: 54D10; 18F70; 06D22; 06B23; 06B15; 06D50; 06E15

Subfitness in distributive (semi)lattices

Authors: Guram Bezhanishvili, James Madden, M. Andrew Moshier, Marcus Tressl, Joanne Walters-Wayland

Abstract: We investigate whether the set of subfit elements of a distributive semilattice is an ideal. This question was raised by the second author at the BLAST conference in 2022. We show that in general it has a negative solution, however if the semilattice is a lattice, then the solution is positive. This is somewhat unexpected since, as we show, a semilattice is subfit if and only if so is its distribu… ▽ More We investigate whether the set of subfit elements of a distributive semilattice is an ideal. This question was raised by the second author at the BLAST conference in 2022. We show that in general it has a negative solution, however if the semilattice is a lattice, then the solution is positive. This is somewhat unexpected since, as we show, a semilattice is subfit if and only if so is its distributive lattice envelope. △ Less

Submitted 25 March, 2025; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: Final Version (14 pages)

MSC Class: 06A12; 06D22; 18F70; 54B35

First order logic properly displayed

Authors: Samuel Balco, Giuseppe Greco, Alexander Kurz, Andrew Moshier, Alessandra Palmigiano, Apostolos Tzimoulis

Abstract: We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style metatheorem. All inference rules are closed under uniform substitution and are without side conditions. We introduce a proper display calculus for first-order logic, of which we prove soundness, completeness, conservativity, subformula property and cut elimination via a Belnap-style metatheorem. All inference rules are closed under uniform substitution and are without side conditions. △ Less

Submitted 19 May, 2021; v1 submitted 14 May, 2021; originally announced May 2021.

MSC Class: 03B10; 03B35; 03B45; 03B47; 03F03; 03F05; 03F07; 03G05; 03G10; 03G15; 03G30; 06A06; 06A11; 06D10; 06D50; 06E15

Stone Duality for Relations

Authors: Alexander Kurz, Andrew Moshier, Achim Jung

Abstract: We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and as a subobject of A times B. We show that dual adjunctions and equivalences between regular categories, taken in a suitably order enriched sense, extend to (fra… ▽ More We show how Stone duality can be extended from maps to relations. This is achieved by working order enriched and defining a relation from A to B as both an order-preserving function from the opposite of A times B to the 2-element chain and as a subobject of A times B. We show that dual adjunctions and equivalences between regular categories, taken in a suitably order enriched sense, extend to (framed bi)categories of relations. △ Less

Submitted 6 July, 2021; v1 submitted 18 December, 2019; originally announced December 2019.

Semi De Morgan logic properly displayed

Authors: Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano

Abstract: In the present paper, we endow a family of axiomatic extensions of semi De Morgan logic with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and its subvarieties and applies the guidelines of the multi-type methodology in the design of display calcul… ▽ More In the present paper, we endow a family of axiomatic extensions of semi De Morgan logic with proper multi-type display calculi which are sound, complete, conservative, and enjoy cut elimination and subformula property. Our proposal builds on an algebraic analysis of semi De Morgan algebras and its subvarieties and applies the guidelines of the multi-type methodology in the design of display calculi. △ Less

Submitted 24 September, 2018; v1 submitted 20 September, 2018; originally announced September 2018.