7 found
Sort by:
  1. Hugo Luiz Mariano & Francisco Miraglia (2011). The Profinite Hull of Special Groups and Local-Global Principles. Studia Logica 97 (1):127-160.
    We introduce the Profinite Hull functor of special groups, showing that it gives rise to a new (and strong) local-global principle, the subform reflection property. We also indicate applications of this principle to the abstract algebraic theory of quadratic forms.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Hugo Mariano & Francisco Miraglia (2005). Logic, Partial Orders and Topology. Manuscrito 28 (2):449-546.
    We give a version of L´os’ ultraproduct result for forcing in Kripke structures in a first-order language with equality and discuss ultrafilters in a topology naturally associated to a partial order. The presentation also includes background material so as to make the exposition accessible to those whose main interest is Computer Science, Artificial Intelligence and/or Philosophy.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Marcelo E. Coniglio & Francisco Miraglia (2001). Modules in the Category of Sheaves Over Quantales. Annals of Pure and Applied Logic 108 (1-3):103-136.
    In this paper we develop the elementary theory of modules in the category Sh of sheaves over right-sided idempotent quantales. The main ingredient is the construction of a logic sound for Sh . As an application we prove that in Sh , a finitely generated projective module is free , a result that is relevant to the study of representation of non-commutative C ∗ -algebras.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Marcelo E. Coniglio & Francisco Miraglia (2000). Non-Commutative Topology and Quantales. Studia Logica 65 (2):223-236.
    The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Samson Abramsky, John Baldwin, Craig Boutilier, Daniel Leivant & Francisco Miraglia (1999). National Park of Itatiaia, Rio de Janeiro, Brazil, May 25–28, 1999. Bulletin of Symbolic Logic 5 (3).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. E. G. K. Lopez-Escobar & Francisco Miraglia (1999). Intuitionistic Equivalence. Manuscrito 22 (2):205.
     
    My bibliography  
     
    Export citation  
  7. Marcelo E. Coniglio & Francisco Miraglia (1996). Equality in Linear Logic. Logique Et Analyse 39 (153-154):113-151.
    Direct download  
     
    My bibliography  
     
    Export citation