Latin Indefinite Pronouns

@cite{haspelmath-1997} @cite{bubnov-2026}

Latin has a two-way split in the SK–SU–NS region of @cite{haspelmath-1997}'s map: aliquis (ali- + interrogative quis) covers non-specific and specific-unknown (AAB pattern); quidam (interrogative qui + -dam) covers specific-known. Both forms are interrogative-based.

Latin is not in @cite{wals-2013} F46A's 326-language sample, so no WALS bridge theorem is stated for Latin in Phenomena/Indefinites/Typology.lean. The morphological-basis encoding is recorded for cross-linguistic comparison anyway.

def Fragments.Latin.Indefinites.aliEntry : Typology.Indefinite.IndefiniteEntry

Latin aliquis: non-specific + specific-unknown (AAB pattern). Interrogative-based: ali- + interrogative quis. D&A type iv epistemic (var(∅,x)); distribution matches profile. @cite{haspelmath-1997}, @cite{bubnov-2026} Table 1.

Equations

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

def Fragments.Latin.Indefinites.damEntry : Typology.Indefinite.IndefiniteEntry

Latin quidam: specific-known indefinite (interrogative qui + -dam). D&A type v dep(∅,x). @cite{haspelmath-1997}, @cite{bubnov-2026} Table 1.

Equations

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

def Fragments.Latin.Indefinites.paradigm : Typology.Indefinite.IndefiniteParadigm

The Latin indefinite paradigm: AAB pattern, both forms interrogative-based.

Equations

• Fragments.Latin.Indefinites.paradigm = { language := "Latin", isoCode := "lat", forms := [Fragments.Latin.Indefinites.aliEntry, Fragments.Latin.Indefinites.damEntry] }

theorem Fragments.Latin.Indefinites.latin_paradigm_is_AAB : paradigm.syncretism = some Typology.Indefinite.SyncretismPattern.AAB

Latin paradigm exhibits Haspelmath's AAB syncretism: NS+SU coexpressed (aliquis), SK distinct (quidam).