Kelley van Evert
  • home
  • tekenwerk

…voor het meerendeel student theoretische informatica;

  • $$\text{Th}\big(\underset{i\in I}{\lozenge} D_i\big)\subseteq\bigcap_{i\in I}\text{Th}(D_i)$$

    De theorie van de weak product van de klasse van alle graph models is bevat in (en is in het algemeen een stricte subset van) de theorie van elke afzonderlijke graph model. Dit resultaat wordt in [Graph Lambda Theories, Bucciarelli & Salibra, 2008] gebruikt om aan te tonen dat de minimale graph theorie bestaat.

  • $$D_A = \overline{\{A,\varnothing\}}$$

    Engeler's graph model is de canonical completion van het partiële paar $(A,\varnothing)$. Dit geeft mooi aan hoe Engeler's model in zekere zin de simpele constructie is van een graph model.

  • $$xy\stackrel{\text{def}}=\big\{b~\big|~\exists \beta\subseteq y,~(\beta,b)\in x\big\}$$

    Dit is hoe applicatie van elementen in Engeler's model is gedefinieerd.

…klust wat bij als een freelance webdesigner;

…wordt verder bezig gehouden met;

…en is bereikbaar:

&