Английская Википедия:Coherent space: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

20 февраля 2024

  • текущ.пред. 03:4603:46, 20 февраля 2024EducationBot обсуждение вклад 8039 байт +8039 Новая страница: «{{Английская Википедия/Панель перехода}} {{for|coherent spaces in topology| spectral space}} In proof theory, a '''coherent space''' (also coherence space) is a concept introduced in the semantic study of linear logic. Let a set ''C'' be given. Two subsets ''S'',''T'' ⊆ ''C'' are said to be ''orthogonal'', written ''S'' ⊥ ''T'', if ''S'' ∩ ''T'' is ∅ or a singleton (mathematics)|singl...»