Found 123 Documents (Results 1–100)
Two-dimensional Kripke Semantics II: Stability and Completeness. arXiv:2406.03578
Preprint, arXiv:2406.03578 [cs.LO] (2024).
Two-dimensional Kripke Semantics I: Presheaves. arXiv:2405.04157
Preprint, arXiv:2405.04157 [cs.LO] (2024).
Notes on point-free topology. (English) Zbl 1486.18018
Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 173-223 (2021).
Reviewer: Joaquín Luna-Torres (Cartagena)
From noncommutative diagrams to anti-elementary classes. (English) Zbl 1474.18004
Reviewer: Michel Hébert (Al-Qāhira)
On the categorical behaviour of \(V\)-groups. (English) Zbl 1445.18001
Reviewer: Sergejs Solovjovs (Praha)
A characterisation of the category of compact Hausdorff spaces. (English) Zbl 1451.18023
Reviewer: Sergejs Solovjovs (Praha)
Decomposition of Gaussian processes, and factorization of positive definite kernels. (English) Zbl 1443.47085
Reviewer: Jaydeb Sarkar (Bangalore)
Category-theoretic interpretative framework of the complementarity principle in quantum mechanics. (English) Zbl 1448.81024
Paralocalic groups. (English) Zbl 1439.06006
Reviewer: Jorge Picado (Coimbra)
Ranges of functors in algebra. (English) Zbl 1535.18002
Constructions of equalizer and co-equalizer in co-frame category. (Chinese. English summary) Zbl 1424.06039
The meet-continuity of \(L\)-semilattices. (English) Zbl 1395.68182
Luo, Mao-Kang (ed.) et al., Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2–6, 2017. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 333, 123-141 (2017).
Quasicategories of frames of cofibration categories. (English) Zbl 1372.55014
Reviewer: Philippe Gaucher (Paris)
The Stone-Čech compactification of a partial frame via ideals and cozero elements. (English) Zbl 1436.06010
Presenting the frame of the unit circle. (English) Zbl 1332.06027
Reviewer: Themba Dube (Unisa)
On categorical relationship among various fuzzy topological systems, fuzzy topological spaces and related algebraic structures. (English) Zbl 1432.54006
Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 124-135 (2015).
Categorical methods in algebra and topology. Special volume in honour of Manuela Sobral on the occasion on her 70th birthday. Based on the workshop, Coimbra, Portugal, January 24–26, 2014. (English) Zbl 1326.18002
Textos de Matemática 46. Coimbra: Universidade de Coimbra, Departamento de Matemática (ISBN 978-972-8564-50-6/pbk). 275 p. (2014).
Bases as coalgebras. (English) Zbl 1285.18005
Reviewer: Václav Koubek (Praha)
Locales as spectral spaces. (English) Zbl 1288.06020
Reviewer: Jorge Picado (Coimbra)
Entourages, covers and localic groups. (English) Zbl 1277.06005
Reviewer: Ganna Kudryavtseva (Ljubljana)
Formal Baire space in constructive set theory. (English) Zbl 1352.03074
Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 123-135 (2012).
\(\mathcal F\)-bases with brackets and with individual brackets in Banach spaces. (English) Zbl 1273.46004
Reviewer: Vladimir Kadets (Kharkov)
MSC:
46B15
Extracting long basic sequences from systems of dispersed vectors. (English) Zbl 1259.46012
Reviewer: Anatolij M. Plichko (Krakow)
Aspects of slice stability in locale theory. (English) Zbl 1258.06004
Reviewer: Jorge Picado (Coimbra)
Interweaving algebra and topology: lattice-valued topological systems. (English) Zbl 1244.54013
Reviewer: Sergejs Solovjovs (Brno)
A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety. (English) Zbl 1245.06020
Reviewer: Sergejs Solovjovs (Brno)
Frames and locales. Topology without points. (English) Zbl 1231.06018
Frontiers in Mathematics. Berlin: Springer (ISBN 978-3-0348-0153-9/pbk; 978-3-0348-0154-6/ebook). xix, 398 p. (2012).
Reviewer: Themba Dube (Unisa)
Equalisers of frames in constructive set theory. (English) Zbl 1256.03053
DeVidi, David (ed.) et al., Logic, mathematics, philosophy: vintage enthusiasms. Essays in honour of John L. Bell. Berlin: Springer (ISBN 978-94-007-0213-4/hbk; 978-94-007-0214-1/ebook). The Western Ontario Series in Philosophy of Science 75, 221-228 (2011).
Partially-ordered modalities. (English) Zbl 1254.03028
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 1-21 (2010).
Sheaves as modules. (English) Zbl 1200.18008
Reviewer: Dana Piciu (Craiova)
From quantale algebroids to topological spaces: fixed- and variable-basis approaches. (English) Zbl 1193.54010
Reviewer: Bernhard Behrens (Göteborg)
Notes on the Hamel bases. (Chinese. English summary) Zbl 1212.46027
MSC:
46B15
Functorial relationships between lattice-valued topology and topological systems. (English) Zbl 1220.06001
Reviewer: Tomasz Kubiak (Poznań)
A categorical account of the localic closed subgroup theorem. (English) Zbl 1199.06039
Reviewer: Václav Koubek (Praha)
An intrinsic characterization of monomorphisms in regular Lindelöf locales. (English) Zbl 1122.06005
Biorthogonal systems and quotient spaces via Baire category methods. (English) Zbl 1112.46015
Reviewer: Anatolij M. Plichko (Krakow)
Convergence fields of regular matrix transformations of sequences of elements of Banach spaces. (English) Zbl 1103.46009
Projective frames: a general view. (English) Zbl 1104.06006
Reviewer: Dexue Zhang (Chengdu)
A categorical account of the Hofmann-Mislove theorem. (English) Zbl 1104.06008
Reviewer: Peter T. Johnstone (Cambridge)
Spaces as comonoids. (English) Zbl 1095.03074
Crosilla, Laura (ed.) et al., From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Oxford: Oxford University Press (ISBN 0-19-856651-4/hbk). Oxford Logic Guides 48, 193-201 (2005).
A structural investigation on formal topology: coreflection of formal covers and exponentiability. (English) Zbl 1071.03040
Quantum event structures from the perspective of Grothendieck topoi. (English) Zbl 1072.81009
Reviewer: Adonai S. Sant’Anna (Curitiba)
Locales. (English) Zbl 1080.06010
Pedicchio, Maria Cristina (ed.) et al., Categorical foundations. Special topics in order, topology, algebra, and sheaf theory. Cambridge: Cambridge University Press (ISBN 0-521-83414-7/hbk). Encycl. Math. Appl. 97, 49-101 (2004).
Reviewer: Tomasz Kubiak (Poznań)
Ring theory and pointfree topology. (English) Zbl 1040.06004
Reviewer: Peter T. Johnstone (Cambridge)
General function spaces in the category of locales. (Chinese. English summary) Zbl 1049.06006
Lattice-valued frames, functor categories, and classes of sober spaces. (With an appendix by U. Höhle and S. E. Rodabaugh). (English) Zbl 1052.54012
Rodabaugh, Stephen Ernest (ed.) et al., Topological and algebraic structures in fuzzy sets. A handbook of recent developments in the mathematics of fuzzy sets. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1515-1/hbk). Trends Log. Stud. Log. Libr. 20, 153-197 (2003).
Reviewer: Bernhard Behrens (Göteborg)
The Stone-Čech compactification of locales. III. (English) Zbl 1036.54006
Reviewer: A. A. Ivanov (St. Peterburg)
Homotopy theory for locales. (Chinese. English summary) Zbl 1031.06007
Metric and complete metric \({\sigma}\)-frames. (English) Zbl 1031.06006
Reviewer: Jiří Rosický (Brno)
Continuous domains in logical form. (English) Zbl 1080.03043
Electronic Notes in Theoretical Computer Science 49. Amsterdam: Elsevier Science B. V. 167 p., electronic only (2002).
\(C\)- and \(C^{\ast}\)-quotients in pointfree topology. (English) Zbl 1012.54025
Reviewer: Peter T.Johnstone (Cambridge)
\(\kappa\)-compact frames. (English) Zbl 1009.54034
Reviewer: Peter T.Johnstone (Cambridge)
Exponentiability of perfect maps: Four approaches. (English) Zbl 1002.18008
Reviewer: Miroslav Hušek (Praha)
Metrizability of \(\sigma\)-frames. (English) Zbl 1058.54017
Proceedings of the 13th algebra seminar, Urmia University, Urmia, Iran, July 17–19, 2001. With 1 CD-ROM (Windows, Macintosh and UNIX). Urmia: University of Urmia. 129-137 (2001).
A note on local compactness. (English) Zbl 1010.18003
Reviewer: Peter T.Johnstone (Cambridge)
On the complexity of Hamel bases of infinite-dimensional Banach spaces. (English) Zbl 0998.46008
Reviewer: Daniel Li (Lens)
Regular monomorphisms of Hausdorff frames. (English) Zbl 0969.06008
Reviewer: Peter T.Johnstone (Cambridge)
Quotient maps of locales. (English) Zbl 0967.18002
Reviewer: Peter T.Johnstone (Cambridge)
Proper maps of toposes. (English) Zbl 0961.18003
Mem. Am. Math. Soc. 705, 108 p. (2000).
Reviewer: Peter T.Johnstone (Cambridge)
Zero-dimensionality in the category of locales. (Chinese. English summary) Zbl 1007.18004
Categories of nearness frames. (English) Zbl 0968.06010
On projective \(Z\)-frames. (English) Zbl 0871.06007
Coherent spaces constructively. (English) Zbl 0847.06004
Reviewer: P.T.Johnstone (Cambridge)
Booleanization. (English) Zbl 0848.06010
Reviewer: J.R.Isbell (Buffalo)
On epi-extensions of frames. (English) Zbl 0849.06010
Reviewer: G.Kalmbach (Ulm)
MSC:
06D20
Semantical observations on the embedding of intuitionistic logic into intuitionistic linear logic. (English) Zbl 0836.03009
\({\mathcal T}op^{op}\) is a quasi-variety. (English) Zbl 0819.18002
Reviewer: P.T.Johnstone (Cambridge)
Quantal sets and sheaves over quantales. (English) Zbl 0837.18003
Lith. Math. J. 34, No. 1, 8-29 (1994) and Liet. Mat. Rink. 34, No. 1, 9-31 (1994).
Reviewer: K.I.Rosenthal (Schenectady)
Functional representations of rings. (Funktsional’nye predstavleniya kolets.) (Russian) Zbl 0856.16030
Moskva: Moskovskij Pedagogicheskij Gosudarstvennyj Universitet. 191 p. (1993).
Reviewer: M.I.Ursul (Oradea)
\(M\)-valued sets and sheaves over integral commutative \(CL\)-monoids. (English) Zbl 0766.03037
Applications of category theory to fuzzy subsets, Mat. 11th Int. Semin. Fuzzy Set Theory, Linz/Austria 1989, Theory Decis. Libr., Ser. B 14, 34-72 (1992).
Reviewer: K.I.Rosenthal (Schenectady)
On equalizers in the category of frames with weakly open homomorphisms. (English) Zbl 0791.06014
Reviewer: J.Niederle (Brno)
On the localic Yosida representation of an archimedean lattice ordered group with weak order unit. (English) Zbl 0732.06009
Reviewer: S.P.Hurd (Charleston)
Compactifications and uniformities on sigma frames. (English) Zbl 0735.54014
Reviewer: J.Isbell
Residuated completions of generalized semitopological semigroups. (English) Zbl 0727.22003
Semigroup theory and its related fields, Proc. Int. Symp., Kyoto/Jap. 1990, 63-83 (1990).
Reviewer: J.R.Isbell (Buffalo)
On pushing out frames. (English) Zbl 0706.18003
Reviewer: J.Vinárek
Topological properties of subsets and linear-topological properties of Banach spaces. (English. Russian original) Zbl 0757.46022
Sov. Math., Dokl. 42, No. 2, 471-473 (1991); translation from Dokl. Akad. Nauk SSSR 314, No. 2, 309-311 (1990).
Reviewer: Liu Zheng (Anshan)
Filter Results by …
Document Type
- Journal Articles (96)
- Collection Articles (16)
- Books (9)
- arXiv Preprints (2)
all
top 5
Author
- Banaschewski, Bernhard (7)
- Pultr, Aleš (7)
- Picado, Jorge (6)
- Rodabaugh, Stephen Ernest (5)
- Simmons, Harold (4)
- Ball, Richard N. (3)
- Chen, Xiangdong (3)
- Clementino, Maria Manuel (3)
- Denniston, Jeffrey T. (3)
- Ebrahimi, Mohammad Mehdi (3)
- Johnstone, Peter T. (3)
- Tholen, Walter (3)
- Townsend, Christopher F. (3)
- Vojdani Tabatabaee, M. (3)
- Bucalo, Anna (2)
- Hager, Anthony W. (2)
- He, Wei (2)
- Hofmann, Dirk (2)
- Höhle, Ulrich (2)
- Jacobs, Bart (2)
- Kavvos, G. A. (2)
- Madden, James J. (2)
- Mahmoudi, Mojgan (2)
- Melton, Austin C. jun. (2)
- Naidoo, Inderasan (2)
- Niefield, Susan B. (2)
- Pedicchio, Maria Cristina (2)
- Plewe, Till (2)
- Resende, Pedro (2)
- Rosolini, Giuseppe (2)
- Schauerte, Anneliese (2)
- Schwartz, Niels (2)
- Tozzi, Anna (2)
- Walters-Wayland, Joanne (2)
- Wehrung, Friedrich (2)
- Zafiris, Elias (2)
- Aczel, Peter (1)
- Allwein, Gerard (1)
- Ambler, Simon J. (1)
- Balcerzak, Marek (1)
- Barr, Michael (1)
- Bonsangue, Marcello Maria (1)
- Bruns, Gunter (1)
- Chakraborty, Mihir Kumar (1)
- Chen, Huodi (1)
- Coecke, Bob (1)
- Curi, Giovanni (1)
- Dube, Themba Andrew (1)
- Erné, Marcel (1)
- Fonf, Vladimir P. (1)
- Frith, John L. (1)
- Gilmour, Christopher R. A. (1)
- Gutiérrez García, Javier (1)
- Gylys, Remigijus Petras (1)
- Halbeisen, Lorenz J. (1)
- Harrison, William L. (1)
- Iliadis, Stavros D. (1)
- Jana, Purbita (1)
- Janelidze, George (1)
- Johnson, Paul B. (1)
- Johnson, William Buhmann (1)
- Jørgensen, Palle E. T. (1)
- Kallman, Robert R. (1)
- Kapulkin, Krzysztof (1)
- Karakostas, Vassilios (1)
- Kegelmann, Mathias (1)
- Kochanek, Tomasz (1)
- Kock, Anders Jungersen (1)
- Kok, Joost N. (1)
- Kolář, Ivan (1)
- Kwiatkowska, Marta Z. (1)
- Lee, Chang-Koo (1)
- Li, Qingguo (1)
- Li, Yongming (1)
- Lin, Qunxiong (1)
- Luo, Maokang (1)
- Maietti, Maria Emilia (1)
- Marcus, Nizar (1)
- Marra, Vincenzo (1)
- Measor, Nicholas (1)
- Moerdijk, Ieke (1)
- Montoli, Andrea (1)
- Mozo Carollo, Imanol (1)
- Mugochi, Martin M. (1)
- Mulvey, Christopher J. (1)
- Nasirzadeh, Nahal (1)
- Negri, Sara (1)
- Nejah, Amir Homayoun (1)
- Niederle, Josef (1)
- Panzone, Rafael (1)
- Paseka, Jan (1)
- Pavlović, Duško (1)
- Pitts, Andrew M. (1)
- Popławski, Michał (1)
- Rathjen, Michael (1)
- Reggio, Luca (1)
- Rodrigues, Elias (1)
- Sadovnichij, Yu. V. (1)
- Seo, Jyung Ryun (1)
- Solovyov, Sergey A. (1)
- and 27 more Authors
all
top 5
Serial
- Appl. Categ. Struct. (8)
- J. Pure Appl. Algebra (6)
- Theory Appl. Categ. (6)
- Fuzzy Sets Syst. (5)
- Topology Appl. (5)
- Cah. Topologie Géom. Différ. Catégoriques (4)
- Commentat. Math. Univ. Carol. (4)
- Algebra Univers. (3)
- Quaest. Math. (3)
- Theor. Comput. Sci. (3)
- Math. Proc. Camb. Philos. Soc. (2)
- Acta Math. Sin. (2)
- Kyungpook Math. J. (2)
- Math. Slovaca (2)
- Math. Struct. Comput. Sci. (2)
- Camb. Stud. Adv. Math. (2)
- Categ. Gen. Algebr. Struct. Appl. (2)
- Int. J. Theor. Phys. (1)
- J. Math. Anal. Appl. (1)
- Lith. Math. J. (1)
- Stud. Math. (1)
- Adv. Math. (1)
- Arch. Math. (Brno) (1)
- Bull. Lond. Math. Soc. (1)
- Can. Math. Bull. (1)
- Colloq. Math. (1)
- Czech. Math. J. (1)
- Diss. Math. (1)
- Fundam. Math. (1)
- J. Algebra (1)
- J. Symb. Log. (1)
- Math. Ann. (1)
- Math. Stud. (1)
- Mem. Am. Math. Soc. (1)
- Rend. Ist. Mat. Univ. Trieste (1)
- Rend. Semin. Mat. Univ. Padova (1)
- Sov. Math., Dokl. (1)
- Chin. Ann. Math., Ser. A (1)
- Bull. Iran. Math. Soc. (1)
- Order (1)
- Hunan Ann. Math. (1)
- Ann. Soc. Sci. Brux., Sér. I (1)
- Topol. Proc. (1)
- Georgian Math. J. (1)
- Opusc. Math. (1)
- J. Fujian Norm. Univ., Nat. Sci. (1)
- Commun. Korean Math. Soc. (1)
- Commun. Contemp. Math. (1)
- J. Math. Log. (1)
- Cah. Topol. Géom. Différ. Catég. (1)
- Miskolc Math. Notes (1)
- Found. Phys. (1)
- Math. Monogr. Univ. Cape Town (1)
- Notas Álgebra Anál. (1)
- Electron. Notes Theor. Comput. Sci. (1)
- Log. Methods Comput. Sci. (1)
- Appl. Gen. Topol. (1)
- Fuzzy Syst. Math. (1)
- Textos Mat. (1)
- Front. Math. (1)
all
top 5
Year of Publication
- 2024 (4)
- 2021 (4)
- 2020 (1)
- 2019 (4)
- 2018 (2)
- 2017 (6)
- 2016 (2)
- 2015 (1)
- 2014 (3)
- 2013 (5)
- 2012 (9)
- 2011 (2)
- 2010 (5)
- 2009 (2)
- 2007 (2)
- 2006 (3)
- 2005 (3)
- 2004 (4)
- 2003 (6)
- 2002 (5)
- 2001 (4)
- 2000 (2)
- 1998 (2)
- 1997 (1)
- 1996 (4)
- 1995 (4)
- 1994 (1)
- 1993 (1)
- 1992 (3)
- 1991 (2)
- 1990 (3)
- 1989 (2)
- 1988 (3)
- 1986 (4)
- 1985 (2)
- 1983 (2)
- 1982 (3)
- 1981 (3)
- 1980 (2)
- 1978 (1)
- 1977 (1)
Biographic Reference
- Dube, Themba Andrew (1)
- Sobral, Manuela (1)