The following pages link to Ivan Chajda (Q334969):
Displayed 50 items.
- (Q219096) (redirect page) (← links)
- The lattice of quasiorder lattices of algebras on a finite set. (Q271695) (← links)
- The ordered set of principal congruences of a countable lattice. (Q292837) (← links)
- Natural dualities through product representations: bilattices and beyond (Q295925) (← links)
- Optimal strong Mal'cev conditions for congruence meet-semidistributivity in locally finite varieties (Q334968) (← links)
- Subdirectly irreducible commutative multiplicatively idempotent semirings (Q334970) (← links)
- Galois theory for semiclones (Q334979) (← links)
- On varieties of basic algebras (Q344073) (← links)
- On some properties of directoids (Q344093) (← links)
- Tolerances as images of congruences in varieties defined by linear identities (Q353352) (← links)
- Many-sorted and single-sorted algebras (Q353361) (← links)
- Spaces of abstract events (Q362991) (← links)
- On realization of partially ordered abelian groups (Q363013) (← links)
- Fully invariant and verbal congruence relations (Q364686) (← links)
- Polynomial permutations on bounded commutative directoids with an antitone involution (Q422420) (← links)
- Hedges and successors in basic algebras (Q422448) (← links)
- Effect algebras are conditionally residuated structures (Q422485) (← links)
- Tense operators on basic algebras (Q429927) (← links)
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras (Q454393) (← links)
- Representations of algebras in varieties generated by infinite primal algebras. (Q471157) (← links)
- A structure of BCI-algebras (Q472703) (← links)
- Tense operators on spaces of numerical events (Q472715) (← links)
- How to produce S-tense operators on lattice effect algebras (Q474876) (← links)
- A non-capped tensor product of lattices. (Q485105) (← links)
- An algebraic hardness criterion for surjective constraint satisfaction. (Q485113) (← links)
- Automorphism-primal algebras generate verbose varieties. (Q494624) (← links)
- Mal'tsev conditions, lack of absorption, and solvability. (Q494634) (← links)
- Maltsev families of varieties closed under join or Maltsev product (Q509529) (← links)
- Natural congruences and isomorphism theorems for directed complete partially ordered sets (Q509532) (← links)
- Key (critical) relations preserved by a weak near-unanimity function (Q522228) (← links)
- Coupled right orthosemirings induced by orthomodular lattices (Q523140) (← links)
- Varieties of Birkhoff systems. I (Q523145) (← links)
- Varieties of Birkhoff systems. II (Q523146) (← links)
- Principal congruences on pseudocomplemented semilattices (Q535107) (← links)
- There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras (Q535119) (← links)
- Pseudo-effect algebras as total algebras (Q616843) (← links)
- Nearlattices with an overriding operation (Q633219) (← links)
- Lattice tolerances and congruences (Q647325) (← links)
- Natural extensions and profinite completions of algebras (Q651385) (← links)
- On double basic algebras and pseudo-effect algebras (Q651426) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- A 2-element antichain that is not contained in any finite retract (Q664315) (← links)
- General coupled semirings of residuated lattices (Q679842) (← links)
- A representation of lattice effect algebras by means of right near semirings with involution (Q682620) (← links)
- A note on orthomodular lattices (Q682622) (← links)
- Dynamic logic assigned to automata (Q682633) (← links)
- The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras (Q712687) (← links)
- Free pseudocomplemented semilattices: a new approach. (Q745713) (← links)
- Congruences and prime-perspectivities in finite lattices. (Q745716) (← links)