applied+logic
131Strongly minimal theory — In model theory a branch of mathematical logic a minimal structure is an infinite one sorted structure such that every subset of its domain that is definable with parameters is either finite or cofinite. A strongly minimal theory is a complete… …
132Карамуэль, Хуан — Хуан Карамуэль и Лобковиц Хуан Карамуэль и Лобковиц (исп. Juan Caramuel y Lobkowitz; 23 мая 1606, Мадрид  7 сентября 1682 …