Unifying Exact Completions

Article Properties
Cite
Maietti, Maria Emilia, and Giuseppe Rosolini. “Unifying Exact Completions”. Applied Categorical Structures, vol. 23, no. 1, 2013, pp. 43-52, https://doi.org/10.1007/s10485-013-9360-5.
Maietti, M. E., & Rosolini, G. (2013). Unifying Exact Completions. Applied Categorical Structures, 23(1), 43-52. https://doi.org/10.1007/s10485-013-9360-5
Maietti ME, Rosolini G. Unifying Exact Completions. Applied Categorical Structures. 2013;23(1):43-52.
Journal Category
Science
Mathematics
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Quotient Completion for the Foundation of Constructive Mathematics Logica Universalis
  • Science: Mathematics
  • Science: Mathematics
 21 2013
A minimalist two-level foundation for constructive mathematics Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 14 2009
10.1017/S0956796802004501 2003
10.1017/S096012950200364X 2002
10.1017/S1446788700018735 Journal of the Australian Mathematical Society
  • Science: Mathematics
 1982
Citations
Title Journal Journal Categories Citations Publication Date
On categorical structures arising from implicative algebras: From topology to assemblies Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2024
A characterization of generalized existential completions Annals of Pure and Applied Logic
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics
  • Science: Mathematics
 2 2023
Dialectica principles via Gödel doctrines Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2023
Dialectica logical principles: not only rules

 Journal of Logic and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2 2022
Doctrines, modalities and comonads

 Mathematical Structures in Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2021
Citations Analysis
Category Category Repetition
Science: Mathematics9
Science: Mathematics: Instruments and machines: Electronic computers. Computer science4
Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods4
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software3
Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware3
The category Science: Mathematics 9 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Triposes, exact completions, and Hilbert's ε-operator and was published in 2017. The most recent citation comes from a 2024 study titled On categorical structures arising from implicative algebras: From topology to assemblies. This article reached its peak citation in 2023, with 2 citations. It has been cited in 8 different journals. Among related journals, the Annals of Pure and Applied Logic cited this research the most, with 3 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year