Turkish Case Inventory @cite{blake-1994}

@cite{goksel-kerslake-2005}

Turkish has 6 cases with agglutinative suffixes: NOM (∅), ACC (-I), GEN (-In), DAT (-A), LOC (-DA), ABL (-DAn).

This inventory is perfectly contiguous on Blake's hierarchy: ranks 6–2 with no gaps. Turkish is the typological ideal case for the hierarchy — a rich peripheral inventory built up exactly in the predicted order.

def Fragments.Turkish.Case.caseInventory : List Core.Case

Turkish case inventory: NOM(∅), ACC(-I), GEN(-In), DAT(-A), LOC(-DA), ABL(-DAn).

Equations

• Fragments.Turkish.Case.caseInventory = [Core.Case.nom, Core.Case.acc, Core.Case.gen, Core.Case.dat, Core.Case.loc, Core.Case.abl]

theorem Fragments.Turkish.Case.inventory_valid : Core.validInventory caseInventory = true

Perfectly contiguous on Blake's hierarchy (ranks 6, 6, 5, 4, 3, 2).