Compact and Loeb Hausdorff spaces in and the axiom of choice for families of finite sets
Kyriakos Keremedis
págs. 130-138
On Vaught's Conjecture and finitely valued MV algebras
Antonio Di Nola, Giacomo Lenzi
págs. 139-152
Shelah's strong covering property and CH in V[r]
Esfandiar Eslami, Mohammad Golshani
págs. 153-158
Remarks on continuum cardinals on Boolean algebras
J. Donald Monk
págs. 159-167
Free-decomposability in varieties of semi-Heyting algebras
Manuel Abad, Juan Manuel Cornejo, José Patricio Díaz Varela
págs. 168-176
Proofs with monotone cuts
Emil Jerábek
págs. 177-187
On the free implicative semilattice extension of a Hilbert algebra
Sergio Arturo Celani, Ramón Jansana Ferrer
págs. 188-207
An approximate Herbrand's theorem and definable functions in metric structures
Isaac Goldbring
págs. 208-216
Imaginaries in Boolean algebras
Roman Wencel
págs. 217-235
Note on Deduction Theorems in contraction-free logics
Karel Chvalovsky, Petr Cintula
págs. 236-243
Sequence encoding without induction
págs. 244-248
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: