We give an alternative proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.

A new proof of the Joyal-Tierney theorem / G. Bezhanishvili, L. Carai, P. Morandi. - In: CAHIERS DE TOPOLOGIE ET GÉOMÉTRIE DIFFÉRENTIELLE CATÉGORIQUES. - ISSN 1245-530X. - 63:4(2023), pp. 425-438.

A new proof of the Joyal-Tierney theorem

L. Carai
Secondo
;
2023

Abstract

We give an alternative proof of the well-known Joyal-Tierney Theorem in locale theory by utilizing Priestley duality for frames.
Nous donnons une preuve alternative du th´eor`eme bien connu de Joyal-Tierney dans la th´eorie des locales en utilisant la dualit´e de Priestley pour les cadres.
Frame; localic map; Joyal-Tierney Theorem; Priestley duality
Settore MAT/01 - Logica Matematica
2023
https://cahierstgdc.com/wp-content/uploads/2023/10/BEZHANISHVILI-CARAI-MORANDI-LXIV-4-1.pdf
Article (author)
File in questo prodotto:
File Dimensione Formato  
BEZHANISHVILI-CARAI-MORANDI-LXIV-4-1.pdf

accesso aperto

Tipologia: Publisher's version/PDF
Dimensione 163.04 kB
Formato Adobe PDF
163.04 kB Adobe PDF Visualizza/Apri
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1032850
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact