Existence of EF-equivalent non-isomorphic models
Chanoch Havlin, Saharon Shelah
págs. 111-127
Computing the complexity of the relation of isometry between separable Banach spaces
Julien Melleray
págs. 128-131
Non-standard analysis in ACA0 and Riemann mapping theorem
Keita Yokoyama
págs. 132-146
Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas
George Voutsadakis
págs. 147-161
A topology induced by uniformity on BL-algebras
Masoud Haveshki, Esfandiar Eslami, Arsham Borumand Saeid
págs. 162-169
Hyper-Archimedean BL-algebras are MV-algebras
Esko Turunen
págs. 170-175
Shoenfield is Gödel after Krivine
Thomas Streicher, Ulrich Kohlenbach
págs. 176-179
Uniform domain representations of "Lp" -spaces
Peter K. Kober
págs. 180-205
Bounded BCK-algebras and their generated variety
J. D. Gispert, Antoni Torrens Torrell
págs. 206-213
Corrigendum to "Unique solutions"
Peter Schuster
págs. 214-215
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: