On the public citation graph

Counting models in universal Horn classes

0 signed · 51 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-642-65321-6openalex-snapshot

Algebra II Ring Theory

inferredcites →https://doi.org/10.1007/bf01224955openalex-snapshot

An easy way to the commutator in modular varieties

inferredcites →https://doi.org/10.1007/bf01238496openalex-snapshot

A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity

inferredcites →https://doi.org/10.1007/bf02483822openalex-snapshot

The number of non-isomorphic denumerable models of certain universal Horn classes

inferredcites →https://doi.org/10.1007/bf02485268openalex-snapshot

Boolean powers

inferredcites →https://doi.org/10.1007/bf02488031openalex-snapshot

The number of rigid boolean algebras

inferredcites →https://doi.org/10.1007/bf02945048openalex-snapshot

On the number of complete boolean algebras

inferredcites →https://doi.org/10.1007/bf02945108openalex-snapshot

On universal Horn classes categorical in some infinite power

inferredcites →https://doi.org/10.1016/0003-4843(71)90016-7openalex-snapshot

Model-completions and modules

inferredcites →https://doi.org/10.1016/0022-4049(91)90078-gopenalex-snapshot

Classification theory and the number of non-isomorphic models

inferredcites →https://doi.org/10.1017/s1446788700018553openalex-snapshot

Logical stability in group theory

inferredcites →https://doi.org/10.1090/memo/0246openalex-snapshot

Decidability and Boolean representations

inferredcites →https://doi.org/10.1112/blms/12.1.77openalex-snapshot

CLASSIFICATION THEORY AND THE NUMBER OF NON-ISOMORPHIC MODELS

inferredcites →https://doi.org/10.2140/pjm.1969.28.699openalex-snapshot

Purity and algebraic compactness for modules

inferredcites →https://doi.org/10.2307/2271901openalex-snapshot

ℵ0-categorical modules

inferredcites →https://doi.org/10.2307/2273362openalex-snapshot

Decomposition of totally transcendental modules

inferredcites →https://doi.org/10.2307/2273705openalex-snapshot

Direct product decomposition of theories of modules

inferredcites →https://doi.org/10.4064/cm-3-1-58-62openalex-snapshot

On the categoricity in power of elementary deductive systems and some related problems

inferredcites →https://doi.org/10.4064/fm-108-3-171-181openalex-snapshot

The number of countable models of a theory of one unary function

inferredcites →https://doi.org/10.4064/fm-111-2-135-141openalex-snapshot

Vaught's conjecture for theories of one unary operation

inferredcites →https://doi.org/10.4064/fm-47-1-57-103openalex-snapshot

The first order properties of products of algebraic systems

inferredcites →https://doi.org/10.4064/fm-50-1-35-44openalex-snapshot

On isomorphic free algebras

inferredcites →https://doi.org/10.7146/math.scand.a-10627openalex-snapshot

On Two Properties of Free 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-94-017-0938-5_2openalex-snapshot

Boolean Constructions in Universal Algebras

inferred← citeshttps://doi.org/10.1007/bf01191768openalex-snapshot

The number of non-isomorphic models in quasi-varieties of semigroups

inferred← citeshttps://doi.org/10.1007/bf01201096openalex-snapshot

Categorical quasivarieties revisited

inferred← citeshttps://doi.org/10.1007/bf01221790openalex-snapshot

Bjarni J�nsson's contributions in algebra

inferred← citeshttps://doi.org/10.1007/bf01982029openalex-snapshot

Elementary theory of D-degrees

inferred← citeshttps://doi.org/10.1007/bf01988800openalex-snapshot

B-Divisible algebras

inferred← citeshttps://doi.org/10.1007/bf02133176openalex-snapshot

Congruence-distributive varieties of algebras

inferred← citeshttps://doi.org/10.1007/bfb0082229openalex-snapshot

Classification theory: 1985

inferred← citeshttps://doi.org/10.1016/0012-365x(84)90100-6openalex-snapshot

Clones satisfying the term condition

inferred← citeshttps://doi.org/10.1016/0021-8693(84)90080-2openalex-snapshot

Rings of finite representation type and modules of finite Morley rank

inferred← citeshttps://doi.org/10.1016/0022-4049(93)90067-4openalex-snapshot

Abelian algebras and the hamiltonian property

inferred← citeshttps://doi.org/10.1016/j.apal.2008.03.004openalex-snapshot

Vaught’s conjecture for superstable theories of finite rank

inferred← citeshttps://doi.org/10.1016/j.apal.2020.102917openalex-snapshot

Superstability, noetherian rings and pure-semisimple rings

inferred← citeshttps://doi.org/10.1017/9781316717035openalex-snapshot

Fundamentals of Stability Theory

inferred← citeshttps://doi.org/10.1017/9781316718254.004openalex-snapshot

On the geometry of U-rank 2 types

inferred← citeshttps://doi.org/10.1017/9781316718254.018openalex-snapshot

Decidability questions for theories of modules

inferred← citeshttps://doi.org/10.1023/a:1013985226489openalex-snapshot

Vaught's Conjecture

inferred← citeshttps://doi.org/10.1090/proc/15359openalex-snapshot

On superstability in the class of flat modules and perfect rings

inferred← citeshttps://doi.org/10.1090/s0002-9947-1994-1191612-0openalex-snapshot

Vaught's Conjecture for Varieties

inferred← citeshttps://doi.org/10.1093/jigpal/8.5.605openalex-snapshot

Finite and infinite model theory - a historical perspective

inferred← citeshttps://doi.org/10.1112/s0024609398005360openalex-snapshot

Vaught's Conjecture for Modules Over a Dedekind Prime Ring

inferred← citeshttps://doi.org/10.1305/ndjfl/1093870870openalex-snapshot

Second-order quantifiers and the complexity of theories.

inferred← citeshttps://doi.org/10.2178/jsl/1183743732openalex-snapshot

A Structure Theorem for Strongly Abelian Varieties with Few Models

inferred← citeshttps://doi.org/10.2307/2274785openalex-snapshot

Ralph Freese and Ralph McKenzie. Commutator theory for congruence modular varieties. London Mathematical Society lecture note series, no. 125. Cambridge University Press, Cambridge etc. 1987, iii + 227 pp.

inferred← citeshttps://doi.org/10.2307/2275203openalex-snapshot

European Summer Meeting of the Association for Symbolic Logic

inferred← citeshttps://doi.org/10.2307/2275205openalex-snapshot

Annual Meeting of the Association for Symbolic Logic, Pittsburgh, 1991

inferred← citeshttps://doi.org/10.2307/2586528openalex-snapshot

Vaught's conjecture for modules over a serial ring

inferred← citeshttps://doi.org/10.2307/2586574openalex-snapshot

Categorical quasivarieties via Morita equivalence

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.