BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Pedro Zambrano (Universidad Nacional de Colombia at Bogot&aacute\;
 )
DTSTART:20250327T180000Z
DTEND:20250327T190000Z
DTSTAMP:20260423T035935Z
UID:OLS/171
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/171/">Qu
 antale-Valued Model Theory and Set Theory</a>\nby Pedro Zambrano (Universi
 dad Nacional de Colombia at Bogot&aacute\;) as part of Online logic semina
 r\n\n\nAbstract\nIn this talk\, we will discuss a generalization of Contin
 uous Logic\, where the distances take values in suitable quantales. By ass
 uming suitable conditions (e.g.\, being\nco-divisibility -substractability
 -\, being a co-Girard and a V-domain)\, we provide a proof of a version of
  the Tarski-Vaught test and Łoś Theorem in our setting. Iovino proved th
 at there is no logic properly extending Continuous Logic satisfying both C
 ountable Tarski-Vaught chain Theorem and Compactness Theorem\, obtaining i
 n this way a new approach of Continuous Logic. This part is a joint work w
 ith David Reyes. Also\, we will talk about a generalization of Fitting’s
  work on Intuitionistic Kripke models of Set Theory using Ono’s and Komo
 ri’s Residuated Kripke models. Based on these models\, we provide a gene
 ralization of the von Neumann hierarchy in the context of Modal Residuated
  Logic (close to quantales) and prove a translation of formulas between it
  and a suited Heyting valued model. This part is a joint work with Jose R.
  Moncayo.\n
LOCATION:https://researchseminars.org/talk/OLS/171/
END:VEVENT
END:VCALENDAR