Finnish possessive endings

A possessed Finnish noun takes a possessive ending that agrees in person and number with the possessor, as in talo-ni 'my house', and the genitive of a personal pronoun may accompany it, as in minu-n talo-ni. The endings are -ni, -si and -nsA in the singular and -mme, -nne and -nsA in the plural, so that the third person alone does not distinguish number.

A possessive ending follows the case ending, and its form after one, and the case ending's before it, are in Finnish.Nominal.

Main definitions

• Finnish.Possession.endings: the possessive endings, an agreement paradigm.

Main results

• Finnish.Possession.realize_eq_realize_iff: two cells share an ending exactly when they are the same cell or both are third person.

References

• [Kar18]

def Finnish.Possession.endings : Agreement.Paradigm (List Phonology.Segment)

The possessive endings.

Equations

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

theorem Finnish.Possession.realize_eq_realize_iff (p : Agreement.Bundle) : p ∈ Agreement.Bundle.personNumberCells → ∀ q ∈ Agreement.Bundle.personNumberCells, endings.realize p = endings.realize q ↔ p = q ∨ p.person = Person.third ∧ q.person = Person.third

Two cells share an ending exactly when they are the same cell or both are third person.