Caros Colegas, Prezadas Colegas,
Registro meu enorme agradecimento aos editores e aos
autores e amigos que contribuiram para esta edição do SAJL.
Um grande abraço,
Chico Miraglia
Quoting Marcelo Esteban Coniglio <[email protected]>:
Caros(as) colegas
Anunciamos com orgulho o lançamento online do último número do South
American Journal of Logic (SAJL), dedicado aos 70 anos do grande
lógico e matemático brasileiro Francisco "Chico" Miraglia, um exemplo
e um mestre para muitos de nós. O volume, editado nesta ocasião por
Marcelo E. Coniglio, Hugo L. Mariano e Vinicius Cifú Lopes, continua
as celebrações iniciadas no Workshop "Logic and Applications: in honor
to Francisco Miraglia by the occasion of his 70th birthday" realizado
no IME-USP em setembro de 2016, e reúne 16 artigos de destacados
colegas do Brasil e do exterior (ver informações abaixo).
A versão impressa do volume vai ser divulgada em primeira mão durante
o 17th Latin American Symposium on Mathematical Logic (SLALM 2017),
Puebla, Mexico, 26 - 30 de Junho.
Aproveitamos o ensejo para anunciar que a partir de agora o SAJL está
indexado pelo Mathematical Reviews. Lembramos que todos os artigos
publicados no SAJL encontram-se disponíveis para download gratuito no
página da revista:
http://www.sa-logic.org/start1.html
Aguardamos suas submissões, em todas as áreas da Lógica!
Um abraço
Jean-Yves Beziau e Marcelo E. Coniglio
Editores
South American Journal of Logic
ISSN 2446-6719
-------------------------------------------------------------------
South American Journal of Logic
Volume 2, Issue 2, December 2016
Special Issue dedicated to Francisco Miraglia on the occasion of his
70th anniversary
Table of Contents
Foreword: A Festschrift for Francisco Miraglia
Marcelo Esteban Coniglio, Hugo Luiz Mariano and Vinicius Cifú Lopes
(Guest Editors)
1. A Quarter of a Century of Joint Work with Chico Miraglia
Max Dickmann
2. On Inverse Limits of Compact Structures
Xavier Caicedo and Santiago Pinzón
3. On Alien Primes, Exotic Number Theory, and Mathematical Pluralism
Walter Carnielli
4. The von Neumann-Regular Hull of (Preordered) Rings and Quadratic Forms
Peter Arndt and Hugo Luiz Mariano
5. Propositional Equality, Identity Types, and Computational Paths
Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira and Arthur F. Ramos
6. Some Model Theory of Hypergeometric and Pfaffian Functions
Ricardo Bianconi
7. Studies on da Costa's Paraconsistent Differential Calculus:
Hypermetric and Hyperfunctions
Itala M. Loffredo D'Ottaviano and Marcelo Reicher Soares
8. Forcing and Ultrafilters on FIN
Daniel Calderón and Carlos A. Di Prisco
9. Grasping Sets Through Ordinals: On a Weak Form of the
Constructibility Axiom
Rodrigo A. Freire
10. A Really Simple Proof of the Artin-Schreier Characterization of
Real Closed Fields
Odilon Otávio Luciano
11. Model Theory in Sheaves,
Andreas Bernhard Michael Brunner
12. Quantales and Their Modules: Projective Objects, Ideals, and Congruences,
Ciro Russo
13. Identifying Small with Bounded: Unboundedness, Domination, Ideals
and Their Cardinal Invariants,
Harlen Garcia and Samuel G. da Silva
14. Generic Stability and Grothendieck,
Anand Pillay
15. Lukasiewicz logic and MV-algebras: Recent Results,
Daniele Mundici
16. Bounded Pregeometries and Pairs of Fields,
Leonardo Angel and Lou van den Dries
--
Você está recebendo esta mensagem porque se inscreveu no grupo
"LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
envie um e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em
https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D343QAPkPMOypYxADF0A%3DyS%3DmDrzr9uZedvK480J3yZHkw%40mail.gmail.com.
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para [email protected].
Para postar neste grupo, envie um e-mail para [email protected].
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20170620105407.Horde.F-N3dGFA7il0IddRhyXWPw1%40webmail.ime.usp.br.
