Continuous lattices in formal topology | Zendy

Sara Negri | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Continuous lattices in formal topology

Author(s) -

Sara Negri

Publication year - 1998

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-65137-3

DOI - 10.1007/bfb0097800

Subject(s) - network topology , representation (politics) , constructive , prime (order theory) , computer science , topology (electrical circuits) , general topology , formal methods , topological space , mathematics , algebra over a field , discrete mathematics , pure mathematics , programming language , combinatorics , process (computing) , politics , political science , law , operating system

. A representation of continuous and prime-continuous lattices via formal topology is found. This representation stems from special ex- amples of formal topologies in constructive analysis that give rise to the definition of the classes of locally Stone and locally Scott formal topolo- gies. As an application, a representation theorem for locally compact spaces is obtained.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research