Shared Slavic Case Inventories #

@cite{comrie-corbett-1993} @cite{blake-1994}

The 6-case core (NOM/ACC/GEN/DAT/LOC/INST) attested across all modern Slavic case-bearing languages, plus a 7-case extension (with VOC) for Ukrainian/Polish/Czech/Serbo-Croat. Factored from per-language Fragments to remove byte-identical duplication.

Per-language sources (chapters of @cite{comrie-corbett-1993}): @cite{shevelov-1993} (p. 956), @cite{rothstein-1993} (p. 696), @cite{short-1993-czech} (p. 466), @cite{browne-1993} (p. 319), @cite{timberlake-1993} (p. 836), @cite{priestly-1993} (p. 399).

Caha-containment lemmas live in Phenomena/Case/Studies/Caha2009.lean (paper-anchored, keeps this substrate file Theory-import-free).

Inventories #

source

@[reducible, inline]

abbrev Fragments.Slavic.Case.coreInventory :

Finset Core.Case

The 6-case core: NOM, ACC, GEN, DAT, LOC, INST.

Equations

Fragments.Slavic.Case.coreInventory = {UD.Case.nom, UD.Case.acc, UD.Case.gen, UD.Case.dat, UD.Case.loc, UD.Case.inst}

Instances For

source

@[reducible, inline]

abbrev Fragments.Slavic.Case.sevenCaseInventory :

Finset Core.Case

The 6-case core extended with vocative; the inventory of Ukrainian, Polish, Czech, and Serbo-Croat. Does not satisfy Core.Case.IsValidInventory — see sevenCaseInventory_not_isValid.

Equations