O zupełnych algebrach Heytinga

Prelegent(ci)

Konrad Zdanowski

Afiliacja

UKSW

Język referatu

polski

Termin

30 października 2026 12:15

Pokój

p. 5450

Tytuł w języku angielskim

On complete Heyting algebras

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

This presentation is based upon a recent paper 
'Two applications of the point-free coderivative'
by Zoltan A. Kocsis

The abstract of this paper is

We present two new applications of Simmons' point-free Cantor-Bendixson
coderivative operator in intuitionistic logic. First, we use it to give
a simplified proof of the recent result of Xu and Ye that the free
Heyting algebra on two generators does not occur as the Heyting algebra
of subterminal objects in any elementary topos. Then we use it to prove
that complete Heyting algebra semantics is not strongly complete for
intuitionistic second-order propositional logic: semantic consequence
from an arbitrary set of assumptions does not coincide with ordinary
syntactic consequence.

---