Research

Research interests

  • Set theoretic topology
  • Metamathematics
  • Cardinal Arithmetic
  • Forcing
  • Abstract algebraic logic
  • Category theory and sheaf representations
  • Non-classical logics
  • Ordered algebraic structures
  • Mathematical fuzzy logic and applications

Journal papers

  1. BOVYKIN, A.; WEIERMANN, A. . of infinitary ramseyan principles can be accessed by their densities. Annals of Pure and Applied Logic, to appear.
  2. MORGAN, C. ; RANGEL, D. R. ; DA SILVA, SAMUEL G. . Almost disjoint families and relative versions of covering properties of kappa-paracompactness type. Topology and its Applications, to appear.
  3. MORGAN, C. ; DA SILVA, S. G. . Selectively (a)-spaces from almost disjoint families are necessarily countable under a certain parametrized weak diamond principle. Houston Journal of Mathematics, to appear.
  4. RUSSO, C. . An extension of Stone Duality to fuzzy topologies and MV-algebras. Fuzzy Sets and Systems, doi: 10.1016/j.fss.2015.11.011.
  5. RUSSO, C. . Corrigendum to "An order-theoretic analysis of interpretations among propositional deductive systems" [Ann. Pure Appl. Logic 164 (2) (2013) 112-130]. Annals of Pure and Applied Logic, v. 167, p. 392-394, 2016.
  6. DI NOLA, A.; RUSSO, C. . The semiring-theoretic approach to MV-algebras: a surveyFuzzy Sets and Systems, v. 281, p. 134-154, 2015.
  7. FERRAIOLI, A. R.; GERLA, B.; RUSSO, C.; SPADA, L.. Editorial. Many-Valued Logic '12. Mathematica Slovaca, v. 65, p. 723-726, 2015.
  8. DA SILVA, SAMUEL G.. The Recovering Information Property and the Axiom of Choice. South American Journal of Logic, v. 1, p. 209-218, 2015.
  9. DA SILVA, SAMUEL G. . On the extent of separable, locally compact, selectively (a)-spaces. Colloquium Mathematicum, v. 141, p. 199-208, 2015.
  10. SILVA, S. G. . Two infinite families of equivalences of the Continuum Hypothesis. Matematicki Vesnik, v. 66, p. 109-112, 2014.
  11. SILVA, SAMUEL G. . (a)-spaces and selectively (a)-spaces from almost disjoint families. Acta Mathematica Hungarica, v. 142, p. 420-432, 2014
  12. DE PAIVA, V. C. ; MORGAN, C. ; DA SILVA, SAMUEL G. . Natural Number Objects in Dialectica Categories. Electronic Notes in Theoretical Computer Science, v. 305, p. 53-65, 2014.
  13. SUGUITANI, L.; VIANA, J. P. ; FREITAS, R. P. . Relation algebra througout galois connections. The Logica Yearbook, v. 1, p. 49-62, 2014.
  14. RUSSO, CIRO . An order-theoretic analysis of interpretations among propositional deductive systems. Annals of Pure and Applied Logic, v. 164, p. 112-130, 2013.
  15. DI NOLA, ANTONIO ; RUSSO, CIRO . Semiring and Semimodule Issues in MV-Algebras. Communications In Algebra, v. 41, p. 1017-1048, 2013.
  16. RAMPONE, S. ; RUSSO, C. . A fuzzified BRAIN algorithm for learning DNF from incomplete data. Electronic Journal of Applied Statistical Analysis, v. 5, p. 256-270, 2012.
  17. MORGAN, C. ; SILVA, S. G. . A note on closed discrete subsets of separable (a)-spaces. Houston Journal of Mathematics, v. 38, p. 991-997, 2012.
  18. HRUSAK, M. ; MORGAN, C. ; SILVA, S. G. . Luzin gaps are not countably paracompact. Questions and Answers in General Topology, v. 30, p. 59-66, 2012.
  19. SILVA, S. G. . A topological statement and its relation to certain weak choice principles. Questions and Answers in General Topology, v. 30, p. 1-8, 2012.
  20. MORGAN, C. ; SILVA, S. G. . Constraining extent by density: on generalizations of normality and countable paracompactness. Boletín de la Sociedad Matemática Mexicana, v. 18, p. 43-54, 2012.
  21. JESUS, J. P. C. ; SILVA, S. G. . Closed products of sets and the Axiom of Choice. Acta Mathematica Hungarica, v. 133, p. 128-132, 2011.
  22. SILVA, S. G. . Closed discrete subsets of separable spaces and relative versions of normality, countable paracompactness and property (a). Commentationes Mathematicae Universitatis Carolinae, v. 52, p. 435-444, 2011.
  23. GERLA, BRUNELLA ; RUSSO, CIRO ; SPADA, LUCA . Representation of perfect and local MV-algebras. Mathematica Slovaca, v. 61, p. 327-340, 2011.
  24. MORGAN, C. ; SILVA, S. G. . Covering properties which, under weak diamond principles, constrain the extents of separable spaces. Acta Mathematica Hungarica, v. 128, p. 358-368, 2010.
  25. RUSSO, C. . Quantale Modules and their Operators, with Applications. Journal of Logic and Computation, v. 20, p. 917-946, 2010.
  26. BOVYKIN, A. . Unprovability threshold for planar graph minor theorem. Annals of Pure and Applied Logic, v. 162, p. 175-181, 2010.
  27. MORGAN, C. ; SILVA, S. G. . Almost disjoint families and never cardinal invariants. Commentationes Mathematicae Universitatis Carolinae, v. 50, p. 433-444, 2009.
  28. LEWITZKA, S. ; BRUNNER, A. B. M. . Minimally Generated Abstract Logics. Logica Universalis (Print), v. 3, p. 219-241, 2009.
  29. BOVYKIN, A. ; WEIERMANN, A. . Unprovability, phase transitions and the Riemann zeta-function. New directions in the value-distribution theory of universal zeta and L-functions, v. 1, p. 19-36, 2009
  30. BOVYKIN, A. . Resplendent models and Sigma_1^1 definability with an oracle. Archive for Mathematical Logic, v. 47, p. 604-621, 2008.
  31. BOVYKIN, A. . Exact unprovability results for compound well-quasi-ordered combinatorial classes. Annals of Pure and Applied Logic, v. 157, p. 77-84, 2008.
  32. SILVA, S. G. . On the presence of countable paracompactness, normality and property (a) in spaces from almost disjoint families. Questions and answers in general topology, v. 25, p. 1-18, 2007.
  33. SILVA, S. G. . Large cardinals and topology: a short retrospective and some new results. Logic Journal of the IGPL, v. 15, p. 433-443, 2007.
  34. SILVA, S. G. ; JESUS, J. P. C. . Cem Anos do Axioma da Escolha: Boa Ordenação, Lema de Zorn e o Teorema de Tychonoff. Matemática Universitária, v. 42, p. 16-34, 2007.
  35. RUSSO, C. . Łukasiewicz transform and its application to compression and reconstruction of digital images. Information Sciences, v. 177, p. 1481-1498, 2007.
  36. PASSOS, M. D. ; Junqueira, L. R. ; Larson, P. . On extensions of elementary submodels by forcing. Logic Journal of the IGPL, 2007.
  37. BOVYKIN, A. . Unprovability of sharp versions of Friedman's sine-principle. Proceedings of the American Mathematical Society, v. 135, p. 2967-2973, 2007.
  38. SILVA, S. G. . Property (a) and dominating families. Commentationes Mathematicae Universitatis Carolinae (Print), Praga, v. 46, n.4, p. 667-684, 2005.
  39. BRUNNER, A. B. M. ; CARNIELLI, W. . Anti-intuitionism and paraconsistency. Journal of Applied Logic, Elsevier, v. 3, p. 161-184, 2005.
  40. BOVYKIN, A. . Several proofs of PA-unprovability. Contemporary Mathematics - American Mathematical Society, v. 380, p. 29-43, 2005.
  41. BRUNNER, A. B. M. ; MIRAGLIA, F. . An Omitting Types Theorem for Sheaves over Topological Spaces. Logic Journal of the IGPL, v. 12(6), n.Nov./Dec., p. 525-548, 2004.
  42. BRUNNER, A. B. M. . First-order Anti-intuitionistic Logic with Apartness. Logic and Logical Philosophy, Períodico, v. 13, p. 75-86, 2004.
  43. BRUNNER, A. B. M. ; CARNIELLI, W. . Anti-Intuitionism and Paraconsistency. CLE e-Prints (Online), Campinas, v. 3, n.1, 2003.
  44. BRUNNER, A. B. M. ; CARNIELLI, W. . Kripke semantics for anti-intuitionistic logics. Journal of Symbolic Logic, Logic Colloquium 2001, v. 8, n.1, p. 168-168, 2001.
  45. BOVYKIN, A. . On order-types of models of arithmetic. Contemporary Mathematics Series of the American Mathematical Society, v. 302, p. 275-285, 2001.