Results 101 to 110 of about 5,644 (162)

Around infinitary categorical logic

open access: yes
Se estudia una generalización de la lógica categórica para lenguajes infinitarios. Principalmente se trabaja con una generalización de los topos de Grothendieck, que también generalizan los topos usados por Espíndola, y se estudia como esta definición para topos se relaciona con una versión del axioma de elección.
openaire   +1 more source

Limit, logic, and computation. [PDF]

open access: yesProc Natl Acad Sci U S A, 1998
Freedman MH.
europepmc   +1 more source

Home - About - Disclaimer - Privacy