Spitters, Bas; Vickers, Steven; Wolters, Sander Gelfand spectra in Grothendieck toposes using geometric mathematics. (English) Zbl 1471.81044 Duncan, Ross (ed.) et al., Proceedings of the 9th workshop on quantum physics and logic, QPL’12, Brussels, Belgium, October 10–12, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 158, 77-107 (2014). Reviewer: Miyeon Kwon (Platteville) MSC: 81R15 46L05 18F10 PDFBibTeX XMLCite \textit{B. Spitters} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 158, 77--107 (2014; Zbl 1471.81044) Full Text: arXiv Link
Kim, Ig Sung A study on the category of normal fuzzy hypergroups. (English) Zbl 1524.20073 Korean J. Math. 22, No. 4, 693-698 (2014). MSC: 20N05 18B25 PDFBibTeX XMLCite \textit{I. S. Kim}, Korean J. Math. 22, No. 4, 693--698 (2014; Zbl 1524.20073) Full Text: DOI
Furian, Nikolaus; Vössner, Siegfried A hybrid algorithm for constrained order packing. (English) Zbl 1339.90281 CEJOR, Cent. Eur. J. Oper. Res. 22, No. 1, 157-186 (2014). MSC: 90C27 90C59 90B20 PDFBibTeX XMLCite \textit{N. Furian} and \textit{S. Vössner}, CEJOR, Cent. Eur. J. Oper. Res. 22, No. 1, 157--186 (2014; Zbl 1339.90281) Full Text: DOI
Vickers, Steven Continuity and geometric logic. (English) Zbl 1335.03074 J. Appl. Log. 12, No. 1, 14-27 (2014). MSC: 03G30 18B25 PDFBibTeX XMLCite \textit{S. Vickers}, J. Appl. Log. 12, No. 1, 14--27 (2014; Zbl 1335.03074) Full Text: DOI
Litak, Tadeusz Constructive modalities with provability smack. (English) Zbl 1350.03020 Bezhanishvili, Guram (ed.), Leo Esakia on duality in modal and intuitionistic logics. Dordrecht: Springer (ISBN 978-94-017-8859-5/hbk; 978-94-017-8860-1/ebook). Outstanding Contributions to Logic 4, 187-216 (2014). MSC: 03B45 03B20 03G30 03F45 PDFBibTeX XMLCite \textit{T. Litak}, Outst. Contrib. Log. 4, 187--216 (2014; Zbl 1350.03020) Full Text: DOI arXiv
Faber, Eric; van Oosten, Jaap More on geometric morphisms between realizability toposes. (English) Zbl 1316.18006 Theory Appl. Categ. 29, 874-895 (2014). Reviewer: Sergejs Solovjovs (Brno) MSC: 18B25 18A20 08A55 18D05 PDFBibTeX XMLCite \textit{E. Faber} and \textit{J. van Oosten}, Theory Appl. Categ. 29, 874--895 (2014; Zbl 1316.18006) Full Text: arXiv EMIS
Ackerman, Nathanael Leedom On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos. (English) Zbl 1354.03099 Log. Univers. 8, No. 3-4, 345-391 (2014). MSC: 03G30 03C30 03C90 03C75 18B25 PDFBibTeX XMLCite \textit{N. L. Ackerman}, Log. Univers. 8, No. 3--4, 345--391 (2014; Zbl 1354.03099) Full Text: DOI
Caramello, Olivia Fraïssé’s construction from a topos-theoretic perspective. (English) Zbl 1335.03073 Log. Univers. 8, No. 2, 261-281 (2014). MSC: 03G30 03C35 18C10 18B25 PDFBibTeX XMLCite \textit{O. Caramello}, Log. Univers. 8, No. 2, 261--281 (2014; Zbl 1335.03073) Full Text: DOI arXiv
Garraway, W. Dale \(Q\)-valued sets and relational-sheaves. (English) Zbl 1304.18001 Cah. Topol. Géom. Différ. Catég. 55, No. 3, 162-204 (2014). MSC: 18A05 18B25 18D20 18F20 PDFBibTeX XMLCite \textit{W. D. Garraway}, Cah. Topol. Géom. Différ. Catég. 55, No. 3, 162--204 (2014; Zbl 1304.18001)
Cassou-Noguès, P.; Chinburg, T.; Morin, B.; Taylor, M. J. The classifying topos of a group scheme and invariants of symmetric bundles. (English) Zbl 1314.14040 Proc. Lond. Math. Soc. (3) 109, No. 5, 1093-1136 (2014). Reviewer: Werner Kleinert (Berlin) MSC: 14F20 11E12 14L15 14L35 18B25 PDFBibTeX XMLCite \textit{P. Cassou-Noguès} et al., Proc. Lond. Math. Soc. (3) 109, No. 5, 1093--1136 (2014; Zbl 1314.14040) Full Text: DOI arXiv
Connes, Alain; Consani, Caterina The arithmetic site. (Le site arithmétique.) (English. French summary) Zbl 1315.11054 C. R., Math., Acad. Sci. Paris 352, No. 12, 971-975 (2014). Reviewer: Igor V. Nikolaev (Sherbrooke) MSC: 11G99 11M26 58B34 18F10 18B25 PDFBibTeX XMLCite \textit{A. Connes} and \textit{C. Consani}, C. R., Math., Acad. Sci. Paris 352, No. 12, 971--975 (2014; Zbl 1315.11054) Full Text: DOI arXiv
Lawvere, F. William Comments on the development of topos theory. (English) Zbl 1304.18007 Repr. Theory Appl. Categ. 2014, No. 24, 22 p. (2014). MSC: 18B25 03G30 18-02 PDFBibTeX XMLCite \textit{F. W. Lawvere}, Repr. Theory Appl. Categ. 2014, No. 24, 22 p. (2014; Zbl 1304.18007) Full Text: EMIS
Menni, Matias Continuous cohesion over sets. (English) Zbl 1307.18002 Theory Appl. Categ. 29, 542-568 (2014). Reviewer: Anders Kock (Aarhus) MSC: 18B25 03G30 PDFBibTeX XMLCite \textit{M. Menni}, Theory Appl. Categ. 29, 542--568 (2014; Zbl 1307.18002) Full Text: EMIS
Baldacci, Roberto; Boschetti, Marco A.; Ganovelli, Maurizio; Maniezzo, Vittorio Algorithms for nesting with defects. (English) Zbl 1303.90084 Discrete Appl. Math. 163, Part 1, 17-33 (2014). MSC: 90C27 90C59 90C90 PDFBibTeX XMLCite \textit{R. Baldacci} et al., Discrete Appl. Math. 163, Part 1, 17--33 (2014; Zbl 1303.90084) Full Text: DOI
van den Berg, Benno; Heunen, Chris Extending obstructions to noncommutative functorial spectra. (English) Zbl 1308.46078 Theory Appl. Categ. 29, 457-474 (2014). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 46M15 46L89 PDFBibTeX XMLCite \textit{B. van den Berg} and \textit{C. Heunen}, Theory Appl. Categ. 29, 457--474 (2014; Zbl 1308.46078) Full Text: arXiv EMIS
Lu, Tao Remark on subobjects in a topos. (English) Zbl 1309.18003 Int. J. Pure Appl. Math. 92, No. 4, 587-590 (2014). MSC: 18B25 PDFBibTeX XMLCite \textit{T. Lu}, Int. J. Pure Appl. Math. 92, No. 4, 587--590 (2014; Zbl 1309.18003) Full Text: DOI Link
Döring, Andreas; Dewitt, Barry Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order. (English) Zbl 1294.47101 Commun. Math. Phys. 328, No. 2, 499-525 (2014). Reviewer: Michael Perelmuter (Kyïv) MSC: 47N50 81P10 18B25 PDFBibTeX XMLCite \textit{A. Döring} and \textit{B. Dewitt}, Commun. Math. Phys. 328, No. 2, 499--525 (2014; Zbl 1294.47101) Full Text: DOI arXiv
Awodey, Steve; Butz, Carsten; Simpson, Alex; Streicher, Thomas Relating first-order set theories, toposes and categories of classes. (English) Zbl 1323.03073 Ann. Pure Appl. Logic 165, No. 2, 428-502 (2014). MSC: 03E70 03F50 03G30 18B05 PDFBibTeX XMLCite \textit{S. Awodey} et al., Ann. Pure Appl. Logic 165, No. 2, 428--502 (2014; Zbl 1323.03073) Full Text: DOI