Modern Greek nominal declensions

The eight nominal inflection classes of Modern Greek by their case–number endings, after Ralli's description as simplified in [ackerman-malouf-2013] (stem alternations and stress set aside), as a weighted paradigm system with uniform class weights.

References

• [ackerman-malouf-2013]

inductive Greek.StandardModern.Declension.Ending : Type

The nominal endings.

• os : Ending
• u : Ending
• on : Ending
• e : Ending
• i : Ending
• us : Ending
• s : Ending
• zero : Ending
• es : Ending
• is : Ending
• o : Ending
• a : Ending

@[instance_reducible]

instance Greek.StandardModern.Declension.instDecidableEqEnding : DecidableEq Ending

Equations

• Greek.StandardModern.Declension.instDecidableEqEnding x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Greek.StandardModern.Declension.instReprEnding : Repr Ending

Equations

• Greek.StandardModern.Declension.instReprEnding = { reprPrec := Greek.StandardModern.Declension.instReprEnding.repr }

def Greek.StandardModern.Declension.instReprEnding.repr : Ending → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[reducible, inline]

abbrev Greek.StandardModern.Declension.nomSg : Fin 8

The cells: nominative, genitive, accusative, and vocative, singular then plural.

Equations

• Greek.StandardModern.Declension.nomSg = 0

@[reducible, inline]

abbrev Greek.StandardModern.Declension.genSg : Fin 8

Equations

• Greek.StandardModern.Declension.genSg = 1

@[reducible, inline]

abbrev Greek.StandardModern.Declension.accSg : Fin 8

Equations

• Greek.StandardModern.Declension.accSg = 2

@[reducible, inline]

abbrev Greek.StandardModern.Declension.vocSg : Fin 8

Equations

• Greek.StandardModern.Declension.vocSg = 3

@[reducible, inline]

abbrev Greek.StandardModern.Declension.nomPl : Fin 8

Equations

• Greek.StandardModern.Declension.nomPl = 4

@[reducible, inline]

abbrev Greek.StandardModern.Declension.genPl : Fin 8

Equations

• Greek.StandardModern.Declension.genPl = 5

@[reducible, inline]

abbrev Greek.StandardModern.Declension.accPl : Fin 8

Equations

• Greek.StandardModern.Declension.accPl = 6

@[reducible, inline]

abbrev Greek.StandardModern.Declension.vocPl : Fin 8

Equations

• Greek.StandardModern.Declension.vocPl = 7

def Greek.StandardModern.Declension.nominal : Morphology.ParadigmSystem 8 Ending

The eight declensions, each with unit weight.

Equations

• One or more equations did not get rendered due to their size.