Models of expansions of with no end extensions
Saharon Shelah
págs. 341-365
Coding into HOD via normal measures with some applications
Arthur W. Apter, Shoshana Friedman
págs. 366-372
Metric complements of overt closed sets
Thierry Coquand, Erik Palmgren, Bas Spitters
págs. 373-378
Nisan-Wigderson generators in proof systems with forms of interpolation
Ján Pich
págs. 379-383
On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras
Tarek Sayed-Ahmed
págs. 384-394
Notes on Craig interpolation for LJ with strong negation
Norihiro Kamide
págs. 395-399
Biprobability logic with conditional expectation
Vladimir Ristic, Radosav Dordevic, Nebojsa Ikodinovic
págs. 400-408
Simple monadic theories and partition width
Achim Blumensath
págs. 409-431
Spatiality and classical logic
Milena Stefanova, Silvio Valentini
págs. 432-440
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: