On the public citation graph
Cylindric set algebras and related structures
0 signed · 36 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf02483866openalex-snapshot
Sets of natural numbers of positive density and cylindric set algebras of dimension 2
inferredcites →https://doi.org/10.1007/bf02485226openalex-snapshot
A simple, purely algebraic proof of the completeness of some first order logics
inferredcites →https://doi.org/10.1016/b978-0-7204-2233-7.50029-0openalex-snapshot
MODEL-THEORETIC METHODS AND RESULTS IN THE THEORY OF CYLINDRIC ALGEBRAS**Research supported by NSF grants GP-1232 and GP-1395.
inferredcites →https://doi.org/10.1016/s0049-237x(08)71369-7openalex-snapshot
Saturated Ideals and Nonregular Ultrafilters
inferredcites →https://doi.org/10.1090/s0002-9904-1975-13747-5openalex-snapshot
The Boolean algebra of logic
inferredcites →https://doi.org/10.1090/s0002-9939-1975-0376475-9openalex-snapshot
Homomorphic images of 𝜎-complete Boolean algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1964-0162741-6openalex-snapshot
On Automorphisms of Polyadic Algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1964-0163837-5openalex-snapshot
Singulary cylindric and polyadic equality algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1976-0398823-1openalex-snapshot
Cylindric Algebras of First-Order Languages
inferredcites →https://doi.org/10.1090/s0002-9947-1979-0526312-2openalex-snapshot
On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
inferredcites →https://doi.org/10.1305/ndjfl/1093890718openalex-snapshot
Solution to the problem concerning the Boolean bases for cylindric algebras.
inferredcites →https://doi.org/10.2307/1970929openalex-snapshot
The Structure of Countable Boolean Algebras
inferredcites →https://doi.org/10.2307/2039867openalex-snapshot
Homomorphic Images of σ-Complete Boolean Algebras
inferredcites →https://doi.org/10.4064/fm-82-4-363-383openalex-snapshot
Relativization of cylindric algebras
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_11openalex-snapshot
Logic of Space-Time and Relativity Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-09719-0_10openalex-snapshot
Leon Henkin the Reviewer
inferred← citeshttps://doi.org/10.1007/978-3-319-98797-2_13openalex-snapshot
Reconciling First-Order Logic to Algebra
inferred← citeshttps://doi.org/10.1007/bf01191490openalex-snapshot
Cardinality and cofinality of homomorphs of products of Boolean algebras
inferred← citeshttps://doi.org/10.1007/bf01195269openalex-snapshot
Isomorphic but not base-isomorphic base-minimal cylindric set algebras
inferred← citeshttps://doi.org/10.1007/bf02483830openalex-snapshot
Dimension-complemented and locally finite dimensional cylindric algebras are elementarily equivalent
inferred← citeshttps://doi.org/10.1016/j.jlamp.2020.100615openalex-snapshot
Soft constraint automata with memory
inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70008-9openalex-snapshot
I. Bibliography of Cylindric Algebras and Related Algebraic Structures
inferred← citeshttps://doi.org/10.1016/s0167-6423(00)00004-6openalex-snapshot
On a formal semantics of tabular expressions
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00027-4openalex-snapshot
Complexity of equations valid in algebras of relations part I: Strong non-finitizability
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80934-4openalex-snapshot
Requirements Scenarios Formalization Technique
inferred← citeshttps://doi.org/10.1023/a:1006246322119openalex-snapshot
What is Tarski's Theory of Truth?
inferred← citeshttps://doi.org/10.1109/sefm.2004.1347540openalex-snapshot
Formal derivation of functional architectural design
inferred← citeshttps://doi.org/10.1109/sefm.2004.18openalex-snapshot
Formal derivation of functional architectural design
inferred← citeshttps://doi.org/10.2178/jsl/1245158086openalex-snapshot
Strongly representable atom structures of cylindric algebras
inferred← citeshttps://doi.org/10.2307/2273789openalex-snapshot
The number of one-generated cylindric set algebras of dimension greater than two
inferred← citeshttps://doi.org/10.2307/2273976openalex-snapshot
On the number of generators of cylindric algebras
inferred← citeshttps://doi.org/10.2307/2274576openalex-snapshot
Isomorphic but not lower base-isomorphic cylindric set algebras
inferred← citeshttps://doi.org/10.2307/2274648openalex-snapshot
Weak cylindric set algebras and weak subdirect indecomposability
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.