The Vietoris functor and modal operators on rings of continuous functions

, &
Annals of Pure and Applied Logic 173 (1):103029 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2021.103029

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,471

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Boolean products of real closed valuation rings and fields.Jorge I. Guier - 2001 - Annals of Pure and Applied Logic 112 (2-3):119-150.
Leloup, G., Rings of monoids elementarily equivalent to polynomial rings Miller, C., Expansions of the real field with power functions Ozawa, M., Forcing in nonstandard analysis Rathjen, M., Proof theory of reflection. [REVIEW]L. D. Beklemishev, O. V. Belegradek, K. J. Davey & J. L. Krivine - 1994 - Annals of Pure and Applied Logic 68:343.
BLASS. A., A game semantics for linear logic CENZER, D. and REMMEL, J., Polynomial-time Abehan groups CLOTE, P. and TAKEUTI, G., Bounded arithmetic for NC, ALogTIME, L and NL. [REVIEW]P. Lincoln, J. Mitchell & A. Scedrov - 1992 - Annals of Pure and Applied Logic 56:365.
Spatial logic of tangled closure operators and modal mu-calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.
On existential definitions of c.e. subsets of rings of functions of characteristic 0.Russell Miller & Alexandra Shlapentokh - 2022 - Annals of Pure and Applied Logic 173 (4):103076.
Finite QE rings in characteristic p 2.Dan Saracino & Carol Wood - 1985 - Annals of Pure and Applied Logic 28 (1):13-31.
Positive definite functions over regular f-rings and representations as sums of squares.W. A. MacCaull - 1989 - Annals of Pure and Applied Logic 44 (3):243-257.
Polish G-spaces and continuous logic.A. Ivanov & B. Majcher-Iwanow - 2017 - Annals of Pure and Applied Logic 168 (4):749-775.
Equivalence of bar induction and bar recursion for continuous functions with continuous moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.
Superstability, noetherian rings and pure-semisimple rings.Marcos Mazari-Armida - 2021 - Annals of Pure and Applied Logic 172 (3):102917.

Analytics

Added to PP
2021-08-28

Downloads
17 (#1,250,144)

6 months
3 (#1,176,261)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.
Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.

Add more references