Topological structure of diagonalizable algebras and corresponding logical properties of theories

DOI10.1305/ndjfl/1040408613zbMath0830.03035OpenAlexW2133460159MaRDI QIDQ1903132

Giovanna D'Agostino

Publication date: 26 November 1995

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040408613

zbMATH Keywords

Peano arithmetictopological dualitydiagonalizable algebrasLindenbaum algebrabi- topological spaces

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Cites Work

• A note on the diagonalizable algebras of PA and ZF
• Topological duality for diagonalizable algebras
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Infinitary combinatorics and modal logic
• The disjunction property implies the numerical existence property
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Topological structure of diagonalizable algebras and corresponding logical properties of theories