New Mexico State University

• BLAST Home
• Important Dates
• Abstracts
• Registration
• Program and Slides
• Organizers

Program 

Click on a title to show the slides.

GENERAL SESSION

Tutorials 

• Minor Identities and Primitive Positive Constructions
  Manuel Bodirsky
• Forcing, Stone spaces and converging sequences
  Alan Dow
• Some topics in Domain Theory
  Achim Jung 
  
  

Invited talks

• Clonoids
  Erhard Aichinger 
• Esakia’s theorem in the monadic setting
  Luca Carai
  
• Bitopological duality for some subordination Boolean algebras including compingent and de Vries algebras
  Sergio A. Celani
  
• Spectra and definability
  Vera Fischer
• Preserving joins at primes
  Mai Gehrke
• Katetov order
  Michael Hrusak
• Dualities and logical aspects of Baire functions
  Serafina Lapenta
• Semilattice ordered algebras
  Anna Zamojska-Dzienio

Contributed talks

• Quasivarieties of commutative residuated lattices
  Paolo Aglianò
• On The Networks of Large Embeddings
  Tuğba Aslan, Mohamed Khaled, and Gergely Székely
  
• A Point-Free Version of the Alexandroff-Hausdorff Theorem
  Julio Cesar Urenda Castaneda, Francisco Avila, and Angel Zaldivar Corichi
  
• On the Cantor and the Hilbert cube frames
  Angel Zaldivar, Francisco Avila, and Julio César Urenda Castañeda
  
• Club stationary reflection and the special Aronszajn tree property
  Omer Ben-Neria and Thomas D. Gilton
  
• States over Plonka sums of Boolean algebras
  Stefano Bonzio and Andrea Loi
  
• Covering versus partitioning with Polish spaces
  Will Brian
  
• Twist structures and Nelson conuclei
  Manuela Busaniche, Nick Galatos and Miguel Marcos
  
• On Finitely-Generated Johansson Algebras
  Alex Citkin
• The Equational Theory of Distributive Lattice-Ordered Monoids
  Almudena Colacito
  
• Algorithmic correspondence for relevance logics: The algorithm PEARL and its implementation
  Willem Conradie, Valentin Goranko and Peter Jipsen
  
• Dualities for default bilattices and their applications
  Andrew P. K. Craig, Brian A. Davey and Miroslav Haviar
  
• The V -logic Multiverse and MAXIMIZES
  Matteo de Ceglie
  
• Big Ramsey degrees of universal limit structures
  Natasha Dobrinen and Kaiyun Wang
  
• On spectra of BCK-algebras
  Matt Evans
  
• Generalized divisibility and ordinal sums
  Nikolaos Galatos and Sara Ugolini
• Towards a correspondence theory in region-based theories of space
  Rafał Gruszczyński
  
• Local Automorphisms of Cartesian Products
  Daniel Herden
• A representation theorem for both even and odd involutive commutative residuated chains by means of direct systems of abelian o-groups
  Sándor Jenei
• An extended class of non-classical models of ZF
  Santiago Jockwich Martinez
  
• Unitary Menger Systems of Idempotent Cyclic Multiplace Functions
  Thodsaporn Kumduang
• Associative Posets
  Joel Kuperman, Alejandro Petrovich, and Pedro Sánchez Terraf
  
• A chain of adjunctions for BA and any variety generated by a semiprimal bounded lattice expansion 
  Alexander Kurz, Wolfgang Poiger and Bruno Teheux
  
• Modal Logics of Locally Compact Ordered Spaces 
  Joel Lucero-Bryan
  
• Canonical formulas for IK4 
  Sebastian Melzer
  
• Deciding dependence
  George Metcalfe and Naomi Tokuda
  
• The universal completion of C(L) and a localic representation of Riesz spaces 
  Imanol Mozo Carollo
• Varieties of PBZ^*-lattices
  Claudia Muresan
  
• Orderings of ultrafilters on complete Boolean algebras
  Francesco Parente
• Algebraic Semantics for the Logic of Proofs 
  Amir Farahmand Parsa and Meghdad Ghari
  
• Forcing with ℵ₁-Free Groups
  Alexandra Pasi and Daniel Herden 
• Reducts of representable relation algebras: finite representability and axiomatisability 
  Daniel Rogozin 
• Directed games 
  Panagiotis Rouvelas
  
• Quantale-theoretic tools for the working logician 
  Ciro Russo
  
• Resolving finite indeterminacy: a definitive constructive universal prime ideal theorem 
  Peter Schuster and Daniel Wessel
  
• Lattice-ordered Effect Algebras with √′ 
  Konstantin Shishov
• On Goldie absolute direct summands in modular lattices
  Rupal C. Shroff 
• Modal Logics of Cayley Graphs
  Vladislav Slyusarev 
• A new perspective on quantum substructural logics
  Gavin St. John
• Monadic Residuated Lattices 
  Olim Tuyt 
• The computation of the 768-th Laver table 
  Joseph Van Name 
• The automorphism group of the Fraïssé limit of finite Heyting algebras 
  Kentaro Yamamoto 

HOLLAND-MARTINEZ SESSION

 Invited talks 

• κ-hollow frames and κ-replete vector lattices 
  Richard Ball, Anthony Hager and Joanne Walters-Wayland 
• The Conrad-Harvey-Holland Theorem: a review of its impact on the study of lattice-ordered groups 
  Michael Darnel 
• W. Charles Holland and Automorphism Groups of Ordered Sets 
  Manfred Droste 
• Fraction-dense algebraic frames 
  Themba Dube 
• What Are Weak Pseudo EMV-algebras? 
  Anatolij Dvurečenskij and Omid Zahiri
  
• Some research directions in the theory of lattice-ordered groups 
  Vincenzo Marra 
• The mathematical life of Jorge Martinez 
  Warren Wm. McGovern 
• The topology of closure systems in algebraic lattices 
  Niels Schwartz 
• The Archimedean Property: New Perspectives 
  Constantine Tsinakis 

 Contributed talks 

• Sublocales of the assembly of a frame and the T_D-duality 
  Igor Arrieta   
  
• Localic maps and z-embedded sublocales 
  Ana Belén Avilez 
• Reflective and coreflective subcategories of bounded archimedean l-algebras 
  Guram Bezhanishvili, Patrick Morandi and Bruce Olberding 
• Maximal d-Elements of M-Frames 
  Papiya Bhattacharjee 
• Countable Metric Spaces Without Isolated Points 
  Frederick K. Dashiell, JR  
• Atoms in the lattice of hull operators on W and in related lattices
  Anthony Hager and Brian Wynne 
• On o-Automorphisms of o-Groups of Finite Archimedean Rank
  Ramiro H. Lafuente-Rodriguez 
• On the Riesz structures of a lattice ordered abelian group 
  Giacomo Lenzi 
• Conjunctive Join-Semilattices 
  James Madden, Charles Delzell and Oghenetega Ighedo 
• A Grothendieck problem for finitely presented MV-algebras
  Jean B. Nganou 
• The Relationship between Partial Metric Varieties and Commuting Powers Varieties
  Homeira Pajoohesh
  
• Hausdorff reflection of internal preneighbourhood spaces 
  Partha Pratim Ghosh 
• Heyting congruences and Booleanness conditions for partial frames 
  Anneliese Schauerte 
• A hyperarchimedean l-group not embeddable into any hyperarchimedean l-group with strong unit
  Philip Scowcroft
  
• Directed partial orders and Riemann hypothesis
  Zhipeng Xu and Yuehui Zhang  
  

STONE-PRIESTLEY SESSION

 Invited talks

• Extending Stone-Priestley duality along full embeddings
  Célia Borlido 
• Toward choice-free Esakia duality 
  Wesley Holliday
  
• A variety of bi-Heyting algebras not generated by complete algebras 
  Mamuka Jibladze 
• Lovász-type theorems and polyadic spaces
  Luca Reggio
  
• dcpo completions and Scott topologies of partially ordered sets  
  Marcus Tressl 
• Priestley duality for MV-algebras and beyond 
  Samuel J. van Gool
  

 Contributed talks

• The opposite of the category of compact ordered spaces as an infinitary variety 
  Marco Abbadini 
• Profiniteness and spectra of Heyting algebras 
  Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini and ‪Michał Stronkowski 
• Bi-Gödel  algebras and co-trees
  Nick Bezhanishvili, Miguel Martins and Tommaso Moraschini
• Interpolation and Beth definability in implicative fragments of IPC
  Nick Bezhanishvili, Paul Maurice Dekker and Tommaso Moraschini 
• A topological duality for monotone expansions of semilattices
  William Javier Zuluaga Botero, Ismael Calomino,
  and Paula Menchón 
  
• Representable forests and diamond systems
  Damiano Fornasiere 
• Choice-free duality for orthocomplemented lattices by means of spectral spaces 
  Joseph McDonald and Kentarô Yamamoto
• Generalized Heyting Algebras and Duality 
  Amirhossein Akbar Tabatabai, Majid Alizadeh and Masoud Memarzadeh
   

Schedule  

All times are Mountain time, GMT-6:
 

Schedule (all days, PDF). 

General questions: blast@nmsu.edu