Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Metadata 
bibkey: bodnarchuk1969galois
authors: "V. G. Bodnarchuk; L. A. Kaluzhnin; V. N. Kotov; B. A. Romov"
year: 1969
title: "Galois theory for Post algebras. II"
doi: 10.1007/BF01267873
url: https://doi.org/10.1007/BF01267873
claim: "The classical operations-relations Galois correspondence provides context for primitive-positive closure."
strata_touched:
  - D5/S3/Combinatorics/ConstraintRelations/PrimitivePositive
  - D5/S3/Combinatorics/ConstraintRelations/BooleanNullBoundary
license: citation-only
triage: anchor

Galois theory for Post algebras. II

This is historical attribution of the Galois framework, not an assertion that a converse correspondence is formalized here.

Verified locator

  • DOI: https://doi.org/10.1007/BF01267873
  • URL: https://doi.org/10.1007/BF01267873

Crossref metadata identifies Part II in 1969 and DOI 10.1007/BF01267873. The original article text has not been retrieved. This entry supplies historical attribution; the delivered preservation theorem has its own Lean proof.