Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Syntactic forcing models … - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Syntactic forcing models for coherent logic

Artikel i vetenskaplig tidskrift
Författare M. Bezem
U. Buchholtz
Thierry Coquand
Publicerad i Indagationes Mathematicae-New Series
Volym 29
Nummer/häfte 6
Sidor 1441-1464
ISSN 0019-3577
Publiceringsår 2018
Publicerad vid Institutionen för data- och informationsteknik (GU)
Sidor 1441-1464
Språk en
Länkar dx.doi.org/10.1016/j.indag.2018.06....
Ämnesord Mathematics
Ämneskategorier Data- och informationsvetenskap

Sammanfattning

We present three syntactic forcing models for coherent logic. These are based on sites whose underlying category only depends on the signature of the coherent theory, and they do not presuppose that the logic has equality. As an application we give a coherent theory T and a sentence psi which is T-redundant (for any geometric implication phi, possibly with equality, if T + psi proves phi, then T proves phi), yet false in the generic model of T. This answers in the negative a question by Wraith. (C) 2018 Royal Dutch Mathematical Society (KWG). Published by Elsevier B.V. All rights reserved.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?