Saturday, June 12 | |||
June 12, Morning session I | |||
Stone-Priestley
session Chair: Philip Scowcroft |
Contributed
session 1 Chair: Will Brian |
Contributed
session 2 Chair: Joel Lucero-Bryan |
|
7.00-7.30 | Paul Maurice Dekker,
Tommaso Moraschini, and Nick Bezhanishvili Interpolation and Beth definability in implicative fragments of IPC |
Tuğba
Aslan, Mohamed Khaled,
and Gergely Székely On The Networks of Large Embeddings |
Thodsaporn
Kumduang Unitary Menger Systems of Idempotent Cyclic Multiplace Functions |
7.30-8.00 | Nick
Bezhanishvili, Miguel Martins, and Tommaso Moraschini Bi-Gödel algebras and co-trees |
Joel Kuperman, Alejandro
Petrovich, and Pedro Sánchez Terraf Associative Posets |
Meghdad Ghari and Amir
Farahmand Parsa Algebraic Semantics for the Logic of Proofs |
Stone-Priestley
session Chair: Alexander Kurz |
|||
8.05-8.45 | Marcus
Tressl dcpo completions and Scott topologies of partially ordered sets |
||
Online coffee | |||
June 12, Morning session II Chair: Erhard Aichinger |
|||
9.15-10.15 | Manuel
Bodirsky Minor Identities and Primitive Positive Constructions, Part I |
||
10.15-10.55 | Célia
Borlido Extending Priestley duality along full embeddings |
||
Online lunch | |||
June 12, Afternoon session I Chair: Maria Manuel Clementino |
|||
11.55-12.45 | Mai
Gehrke Preserving joins at primes |
||
12.45-13.45 | Alan
Dow Forcing, Stone spaces and converging sequences, Part I |
||
Online coffee | |||
June 12, Afternoon session II | |||
Stone-Priestley
session Chair: Tommaso Moraschini |
|||
14.15-14.55 | Wesley
Holliday Toward choice-free Esakia duality |
||
Stone-Priestley
session Chair: Tommaso Moraschini |
Contributed
session 1 Chair: Jorge Picado |
Contributed
session 2 Chair: Peter Mayr |
|
15.00-15.30 | Joseph McDonald and
Kentaro Yamamoto Choice-free duality for orthocomplemented lattices by means of spectral spaces |
Angel Zaldivar, Francisco
Avila, and Julio César Urenda Castañeda On the Cantor and the Hilbert cube frames |
Alexander
Kurz, Wolfgang Poiger,
and Bruno Teheux A chain of adjunctions for BA and any variety generated by a semi-primal bounded lattice expansion |
15.30-16.00 | William Javier Zuluaga Botero, Ismael Calomino, and Paula Menchón A topological duality for monotone expansions of semilattices |
Julio Cesar Urenda Castaneda,
Francisco Avila, and Angel Zaldivar Corichi A Point-Free Version of the Alexandroff-Hausdorff Theorem |
Andrew P. K. Craig, Brian A. Davey and Miroslav Haviar Dualities for default bilattices and their applications |