Pages that link to "Item:Q4198732"
From MaRDI portal
The following pages link to Sheaf Constructions and Their Elementary Properties (Q4198732):
Displaying 50 items.
- Boolean-like algebras (Q353355) (← links)
- The countable existentially closed pseudocomplemented semilattice (Q527338) (← links)
- Actions of Boolean rings on sets (Q583355) (← links)
- Axiomatizability by \({\forall \exists!}\)-sentences (Q647342) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Sheaf representations of BL-algebras (Q816866) (← links)
- A valuation ring analogue of von Neumann regularity (Q866563) (← links)
- Congruence-distributive varieties of algebras (Q911623) (← links)
- Countable embeddability skeletons of discriminator varieties (Q920130) (← links)
- On the number of discriminator varieties incomparable in countable epimorphism skeletons (Q923118) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Generalizations of Boolean products for lattice-ordered algebras (Q1035658) (← links)
- Expanding varieties by monoids of endomorphisms (Q1080450) (← links)
- Quantifier elimination in discriminator varieties (Q1084391) (← links)
- Finite axiomatizations for existentially closed posets and semilattices (Q1087537) (← links)
- W-algebras which are Boolean products of members of SR[1] and CW- algebras (Q1090332) (← links)
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties (Q1119619) (← links)
- Remarks on Boolean products (Q1149467) (← links)
- The first order theory of Boolean algebras with a distinguished group of automorphisms (Q1154492) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Countable skeletons of finitely generated discriminator varieties (Q1204700) (← links)
- A sufficient condition for finite decidability (Q1272241) (← links)
- Subdirect decomposition of \(n\)-chromatic graphs (Q1272897) (← links)
- Decidable discriminator varieties with lattice stalks (Q1319051) (← links)
- Discriminating varieties (Q1337150) (← links)
- Varieties whose countable embeddability skeletons are semilattices (Q1346899) (← links)
- Elementary regular rings (Q1346904) (← links)
- Extending Stone duality to multisets and locally finite MV-algebras. (Q1434764) (← links)
- Boolean products of BL-algebras (Q1589950) (← links)
- Decidable locally finite discriminator varieties arising from dihedral varieties of groups (Q1779462) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Finding model-companions via the skeleton (Q1813662) (← links)
- Varieties having Boolean factor congruences (Q1813837) (← links)
- Boolean products of lattices (Q1815844) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Locally Boolean spectra (Q1891270) (← links)
- On the anomalous polarization of Love and Rayleigh elastic waves in a layered medium (Q1908379) (← links)
- Fields with continuous local elementary properties. I (Q1910279) (← links)
- The method of orthogonal completeness in the structure theory of rings (Q1910816) (← links)
- Rings and sheaves (Q1912498) (← links)
- An algebraic treatment of quantifier-free systems of arithmetic (Q1915125) (← links)
- An analog of the Weyl decomposition of the space \(L_ q(\omega,\mathbb{R}^ n)\) for a first-order differential operator (Q1915666) (← links)
- A class of heuristic algorithms for the routing problem (Q1915677) (← links)
- The support-vector algorithm with compound step (Q1915680) (← links)
- On control of penetration in the support-vector algorithm with compound step (Q1915681) (← links)
- On the efficiency of a modification of Newton's method of solving a system of equations (Q1915686) (← links)
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (Q1935556) (← links)
- Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
- Filtered and stable Boolean powers are relativized full Boolean powers (Q2266710) (← links)
- Varieties whose skeletons are lattices (Q2366360) (← links)
