Pages that link to "Item:Q2552131"

The following pages link to Amalgamation, congruence-extension, and interpolation properties in algebras (Q2552131):

Displayed 40 items.

• New perspectives in algebraic logic, from neat embeddings to Erdős graphs (Q450159) ‎ (← links)
• Neat embeddings as adjoint situations (Q514575) ‎ (← links)
• Neat embeddings, omitting types, and interpolation: an overview (Q558739) ‎ (← links)
• Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) ‎ (← links)
• Logical matrices and the amalgamation property (Q800348) ‎ (← links)
• On amalgamation in algebras of logic (Q817679) ‎ (← links)
• Some results about neat reducts (Q992010) ‎ (← links)
• Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) ‎ (← links)
• Sentential logics and Maehara interpolation property (Q1076010) ‎ (← links)
• Amalgamation and interpolation in normal modal logics (Q1189894) ‎ (← links)
• Characterizing Mal'cev conditions (Q1216327) ‎ (← links)
• Amalgamation properties and interpolation theorems for equational theories (Q1224578) ‎ (← links)
• Base-undecidable properties of universal varieties (Q1237797) ‎ (← links)
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029) ‎ (← links)
• Modal languages and bounded fragments of predicate logic (Q1267082) ‎ (← links)
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) ‎ (← links)
• Bjarni Jónsson's contributions in algebra (Q1327458) ‎ (← links)
• On deductive interpolation for the weak nilpotent minimum logic (Q1697356) ‎ (← links)
• Uniform interpolation and coherence (Q1740631) ‎ (← links)
• Amalgamation and interpolation in ordered algebras. (Q2253035) ‎ (← links)
• Uniform interpolation and compact congruences (Q2363208) ‎ (← links)
• Geometry of Robinson consistency in Łukasiewicz logic (Q2370369) ‎ (← links)
• Epimorphisms in varieties of residuated structures (Q2411405) ‎ (← links)
• Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) ‎ (← links)
• A note on neat reducts (Q2642524) ‎ (← links)
• Strong Amalgamation in Systems of Varieties (Q2810538) ‎ (← links)
• The Robinson property and amalgamations of higher arities (Q2827957) ‎ (← links)
• Craig interpolation for semilinear substructural logics (Q3144874) ‎ (← links)
• On neat embeddings of cylindric algebras (Q3650326) ‎ (← links)
• Galois Theory for Cylindric Algebras and its Applications (Q3674660) ‎ (← links)
• Amalgamation properties in the class of MS-algebras (Q3691793) ‎ (← links)
• Varieties of algebras with equationally definable zeros (Q4163576) ‎ (← links)
• Algebraic Characterization of the Local Craig Interpolation Property (Q4556007) ‎ (← links)
• Varying interpolation and amalgamation in polyadic MV-algebras (Q4586142) ‎ (← links)
• A Mathematical Life (Q4586411) ‎ (← links)
• Interpolation and amalgamation in modal cylindric algebras (Q5149742) ‎ (← links)
• TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) ‎ (← links)
• Algebraic Logic, Where Does it Stand Today? (Q5472642) ‎ (← links)
• Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions (Q6082232) ‎ (← links)
• The Modelwise Interpolation Property of Semantic Logics (Q6119356) ‎ (← links)