South American Journal of Logic
Volume 2, Issue 2, December 2016
Special Issue Francisco Miraglia

Foreword: A Festschrift for Francisco Miraglia
Marcelo Esteban Coniglio, Hugo Luiz Mariano and Vinicius Cifú Lopes (Guest Editors)
University of São Paulo and Federal University of ABC, Brazill

1. A Quarter of a Century of Joint Work with Chico Miraglia
Max Dickmann
Department of Mathematics, University of Paris 6 and 7, CNRS, Paris

2. On Inverse Limits of Compact Structures
Xavier Caicedo and Santiago Pinzón
Department of Mathematics, University of Andes, Bogotá, Colombia

3. On Alien Primes, Exotic Number Theory, and Mathematical Pluralism
Walter Carnielli
Department of Philosophy, UNICAMP, Brazil

4. The von Neumann-Regular Hull of (Preordered) Rings and Quadratic Forms
Peter Arndt and Hugo Luiz Mariano
Department of Mathematics, University of Düsseldorf, Germany and University of São Paulo, Brazil

5. Propositional Equality, Identity Types, and Computational Paths
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira and Arthur F. Ramos
Department of Informatics, Federal University of Pernambuco. Brazil

6. Some Model Theory of Hypergeometric and Pfaffian Functions
Ricardo Bianconi
Department of Mathematics, University of São Paulo, Brazil

7. Studies on da Costa's Paraconsistent Differential Calculus: Hypermetric and Hyperfunctions
Itala M. Loffredo D'Ottaviano and Marcelo Reicher Soares
Department of Philosophy, UNICAMP, Brazil and Department of Mathematics, University of São Paulo, Brazil

8. Forcing and Ultrafilters on FIN
Daniel Calderón and Carlos A. Di Prisco
Department of Mathematics, University of Andes, Bogotá, Colombia and Research Council, Venezuela

9. Grasping Sets Through Ordinals: On a Weak Form of the Constructibility Axiom
Rodrigo A. Freire
Department of Philosophy, University of Brasilia, Brazil

10. A Really Simple Proof of the Artin-Schreier Characterization of Real Closed Fields
Odilon Otávio Luciano
Department of Mathematics, University of São Paulo, Brazil

11. Model Theory in Sheaves,
Andreas Bernhard Michael Brunner
Department of Mathematics, University of Bahia, Brazil

12. Quantales and Their Modules: Projective Objects, Ideals, and Congruences,
Ciro Russo
Department of Mathematics, Federal University of Bahia, Brazil

13. Identifying Small with Bounded: Unboundedness, Domination, Ideals and Their Cardinal Invariants,
Harlen Garcia and Samuel G. da Silva
Department of Mathematics, University of Bahia, Brazil

14. Generic Stability and Grothendieck,
Anand Pillay
Department of Mathematics, University of Notre Dame, USA

15. Lukasiewicz logic and MV-algebras: Recent Results,
Daniele Mundici
Department of Mathematics and Computer Science "Ulisse Dini" University of Florence, Italy

16. Bounded Pregeometries and Pairs of Fields,
Leonardo Angel and Lou van den Dries
Department of Mathematics, University of Andes, Bogota, Colombia and Department of Mathematics University of Illinois at Urbana-Champaign