Translator Disclaimer
June 2006 Every countably presented formal topology is spatial, classically
Silvio Valentini
J. Symbolic Logic 71(2): 491-500 (June 2006). DOI: 10.2178/jsl/1146620155

Abstract

By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.

Citation

Download Citation

Silvio Valentini. "Every countably presented formal topology is spatial, classically." J. Symbolic Logic 71 (2) 491 - 500, June 2006. https://doi.org/10.2178/jsl/1146620155

Information

Published: June 2006
First available in Project Euclid: 2 May 2006

zbMATH: 1106.03053
MathSciNet: MR2225890
Digital Object Identifier: 10.2178/jsl/1146620155

Rights: Copyright © 2006 Association for Symbolic Logic

JOURNAL ARTICLE
10 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.71 • No. 2 • June 2006
Back to Top