On the public citation graph
Amalgamation properties and interpolation theorems for equational theories
0 signed · 55 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/bf02944991openalex-snapshot
Amalgamation, congruence-extension, and interpolation properties in algebras
inferredcites →https://doi.org/10.1007/bf02945046openalex-snapshot
Cofinal simplicity and algebraic closedness
inferredcites →https://doi.org/10.1016/b978-0-7204-2233-7.50021-6openalex-snapshot
EXTENSIONS OF RELATIONAL STRUCTURES**This paper, and the address on which it is based, were prepared while the author's work was supported in part by U.S. National Science Foundation Grants G-19673 and GP-1612.
inferredcites →https://doi.org/10.2307/2272886openalex-snapshot
Syntactic characterisations of amalgamation, convexity and related properties
inferredcites →https://doi.org/10.2307/2964333openalex-snapshot
Theory of models with generalized atomic formulas
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11814771_21openalex-snapshot
Interpolation in Local Theory Extensions
inferred← citeshttps://doi.org/10.1007/978-1-4899-0548-2_2openalex-snapshot
On a Form of Equational Interpolation Property
inferred← citeshttps://doi.org/10.1007/978-3-030-71995-1_14openalex-snapshot
Interpolation and Amalgamation for Arrays with MaxDiff
inferred← citeshttps://doi.org/10.1007/978-3-319-40229-1_19openalex-snapshot
On Interpolation and Symbol Elimination in Theory Extensions
inferred← citeshttps://doi.org/10.1007/978-3-319-66167-4_18openalex-snapshot
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case)
inferred← citeshttps://doi.org/10.1007/978-3-319-69917-2_1openalex-snapshot
Maksimova, Relevance and the Study of Lattices of Non-classical Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-31365-3_12openalex-snapshot
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
inferred← citeshttps://doi.org/10.1007/978-3-642-35025-2_5openalex-snapshot
Amalgamation, Interpolation and Epimorphisms in Algebraic Logic
inferred← citeshttps://doi.org/10.1007/978-94-007-0840-2_2openalex-snapshot
Rational Polyhedra, Interpolation, Amalgamation
inferred← citeshttps://doi.org/10.1007/bf00370682openalex-snapshot
Amalgamation and interpolation in normal modal logics
inferred← citeshttps://doi.org/10.1007/bf00403332openalex-snapshot
Logical matrices and the amalgamation property
inferred← citeshttps://doi.org/10.1007/bf01221790openalex-snapshot
Bjarni J�nsson's contributions in algebra
inferred← citeshttps://doi.org/10.1007/bf01237716openalex-snapshot
Interpolation and the Robinson property for logics not closed under the Boolean operations
inferred← citeshttps://doi.org/10.1007/bf01670006openalex-snapshot
Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-boolean algebras
inferred← citeshttps://doi.org/10.1007/bf02259848openalex-snapshot
Modal logics and varieties of modal algebras: The beth properties, interpolation, and amalgamation
inferred← citeshttps://doi.org/10.1007/bf02485840openalex-snapshot
Amalgamation in categories with concrete duals
inferred← citeshttps://doi.org/10.1007/bf02757007openalex-snapshot
Model-companions and definability in existentially complete structures
inferred← citeshttps://doi.org/10.1007/s10469-008-0006-xopenalex-snapshot
A weak form of interpolation in equational logic
inferred← citeshttps://doi.org/10.1007/s10469-008-9012-2openalex-snapshot
The Beth property and interpolation in lattice-based algebras and logics
inferred← citeshttps://doi.org/10.1007/s10817-016-9371-7openalex-snapshot
Complete Instantiation-Based Interpolation
inferred← citeshttps://doi.org/10.1007/s11225-006-8305-5openalex-snapshot
Algebraization, Parametrized Local Deduction Theorem and Interpolation for Substructural Logics over FL
inferred← citeshttps://doi.org/10.1016/0003-4843(79)90023-8openalex-snapshot
Universal equational theories and varieties of algebras
inferred← citeshttps://doi.org/10.1016/0003-4843(81)90007-3openalex-snapshot
Algebraically prime models
inferred← citeshttps://doi.org/10.1016/j.apal.2017.05.001openalex-snapshot
Uniform interpolation and compact congruences
inferred← citeshttps://doi.org/10.1016/j.apal.2018.04.001openalex-snapshot
Modularity results for interpolation, amalgamation and superamalgamation
inferred← citeshttps://doi.org/10.1016/j.jalgebra.2013.11.019openalex-snapshot
Amalgamation and interpolation in ordered algebras
inferred← citeshttps://doi.org/10.1017/s0022481200029765openalex-snapshot
Injectives in finitely generated universal Horn classes
inferred← citeshttps://doi.org/10.1023/b:allo.0000004173.52981.15openalex-snapshot
Restricted Interpolation and the Projective Beth Property in Equational Logic
inferred← citeshttps://doi.org/10.1090/s0002-9939-1979-0542092-4openalex-snapshot
Amalgamation and Elimination of Quantifiers for Theories of Fields
inferred← citeshttps://doi.org/10.1090/s0002-9947-1981-0603765-1openalex-snapshot
On the Structure of Equationally Complete Varieties. II
inferred← citeshttps://doi.org/10.1093/logcom/exn084openalex-snapshot
Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
inferred← citeshttps://doi.org/10.1134/s0081543812070036openalex-snapshot
Amalgamation, interpolation, and implicit definability in varieties of algebras
inferred← citeshttps://doi.org/10.1145/2429069.2429132openalex-snapshot
Complete instantiation-based interpolation
inferred← citeshttps://doi.org/10.1145/2480359.2429132openalex-snapshot
Complete instantiation-based interpolation
inferred← citeshttps://doi.org/10.1145/2490253openalex-snapshot
Quantifier-free interpolation in combinations of equality interpolating theories
inferred← citeshttps://doi.org/10.1145/3587161openalex-snapshot
Interpolation Results for Arrays with Length and MaxDiff
inferred← citeshttps://doi.org/10.2168/lmcs-8(2:4)2012openalex-snapshot
Quantifier-Free Interpolation of a Theory of Arrays
inferred← citeshttps://doi.org/10.22028/d291-26011openalex-snapshot
Reasoning in combinations of theories
inferred← citeshttps://doi.org/10.2307/2273518openalex-snapshot
A characterization of companionable, universal theories
inferred← citeshttps://doi.org/10.3233/fi-2017-1612openalex-snapshot
Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains
inferred← citeshttps://doi.org/10.3390/math10030461openalex-snapshot
Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order Theories
inferred← citeshttps://doi.org/10.4213/spm27openalex-snapshot
Амальгамируемость, интерполяция и неявная определимость в многообразиях алгебр
inferred← citeshttps://doi.org/10.48550/arxiv.1911.07774openalex-snapshot
Combined Covers and Beth Definability (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2010.07082openalex-snapshot
Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version)
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.