A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean \(\ell \)-algebras. (English) Zbl 07713569
MSC:
06-XX
Found 106 Documents (Results 1–100)
Choice-free de Vries duality. (English) Zbl 1531.06007
Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 557-577 (2022).
Inductive and coinductive topological generation with Church’s thesis and the axiom of choice. (English) Zbl 07639913
Towards formal Baer criteria. (English) Zbl 1499.03059
Adjoint maps between implicative semilattices and continuity of localic maps. (English) Zbl 1495.06004
Reviewer: Sergejs Solovjovs (Praha)
Sequences and related closure and compactness properties in frames. (English) Zbl 1508.06006
Reviewer: Minani Iragi (Johannesburg)
On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem. (English) Zbl 1507.06015
Reviewer: Jorge Picado (Coimbra)
What is a space? (Spanish) Zbl 1501.54002
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)
A special form of the path integral for the master constraint of loop quantum gravity. (English) Zbl 1432.81050
A study in Grzegorczyk point-free topology. I: Separation and Grzegorczyk structures. (English) Zbl 1437.03049
On eventual coloring numbers. (English) Zbl 1331.54043
Reviewer: Ziga Virk (Litija)
Lattice-valued bornological systems. (English) Zbl 1376.54011
Reviewer: Javier Gutiérrez García (Bilbao)
On the transfer reducibility of certain Farrell-Hsiang groups. (English) Zbl 1329.18017
Reviewer: Daniel Kasprowski (Bonn)
On fixed-point free selections and multivalued maps on \(\mathbb R\). (English) Zbl 1322.54027
Reviewer: Takamitsu Yamauchi (Matsuyama)
Tychonoff-like product theorems for local topological properties. (English) Zbl 1314.54007
Reviewer: Paolo Lipparini (Roma)
Frames: topology without points. (English) Zbl 1337.06005
Grätzer, George (ed.) et al., Lattice theory: special topics and applications. Volume 1. Cham: Birkhäuser/Springer (ISBN 978-3-319-06412-3/hbk; 978-3-319-06413-0/ebook). 55-88 (2014).
Reviewer: Ittay Weiss (Suva)
MSC:
06D22
Symplectic 4-manifolds with fixed point free circle actions. (English) Zbl 1298.57020
Reviewer: Andrew Bucki (Edmond)
Proximity frames and regularization. (English) Zbl 1316.06009
Reviewer: Jorge Picado (Coimbra)
Particle-free bodies and point-free spaces. (English) Zbl 1423.54006
Int. J. Eng. Sci. 72, 155-176 (2013); corrigendum ibid. 79, 81 (2014).
A note on metric compactifications and periodic points of maps. (English) Zbl 1300.54049
Reviewer: Vitalij Chatyrko (Linköping)
Eventual colorings of homeomorphisms. (English) Zbl 1275.54020
Reviewer: Ludvík Janoš (Claremont)
Point-free geometries: proximities and quasi-metrics. (English) Zbl 1276.54009
Reviewer: Jorge Picado (Coimbra)
Periodic points, compactifications and eventual colorings of maps. (English) Zbl 1273.54031
Reviewer: Vladimir Tkachuk (México D. F.)
MSC:
54F45
54H20
An asymmetric approach to filters in strict extensions and quotients. (English) Zbl 1289.06017
Reviewer: Pao-Sheng Hsu (Columbia Falls)
De Vries algebras and compact regular frames. (English) Zbl 1263.06003
Reviewer: Ganna Kudryavtseva (Ljubljana)
MSC:
06D22
Topological inductive definitions. (English) Zbl 1270.03132
Reviewer: Marco Benini (Buccinasco)
Some mapping theorems for continuous functions defined on the sphere. (English) Zbl 1244.55001
Reviewer: Xuezhi Zhao (Beijing)
Separating families of locale maps and localic embeddings. (English) Zbl 1259.06011
Reviewer: Jorge Picado (Coimbra)
The colorings of homeomorphisms on connected graphs. (English) Zbl 1245.54014
Reviewer: Kohzo Yamada (Shizuoka)
Relative formal topology: the binary positivity predicate comes first. (English) Zbl 1269.03058
Reviewer: Thierry Coquand (Göteborg)
Why and how much Brouwer’s fixed point theorem fails in noncompact setting? (English) Zbl 1222.54041
On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology. (English) Zbl 1223.03050
Space, points and mereology. On foundations of point-free Euclidean geometry. (English) Zbl 1186.03019
Reviewer: Victor V. Pambuccian (Phoenix)
Journey into apartness space. (English) Zbl 1168.03049
Lindström, Sten (ed.) et al., Logicism, intuitionism, and formalism. What has become of them? Originated from the conference and the symposium on constructive mathematics, Uppsala, Sweden, August 2004. Dordrecht: Springer (ISBN 978-1-4020-8925-1/hbk; 978-1-4020-8926-8/e-book). Synthese Library 341, 167-187 (2009).
The Zariski spectrum as a formal geometry. (English) Zbl 1154.03038
Reviewer: Josef Berger (München)
Non-metric continua and multi-valued mappings. (English) Zbl 1149.54003
Reviewer: Sergio Macias (México)
Exact approximations to Stone-Čech compactification. (English) Zbl 1139.03044
Reviewer: Pier Luigi Ferrari (Alessandria)
Spatiality for formal topologies. (English) Zbl 1139.03045
Reviewer: Pier Luigi Ferrari (Alessandria)
Homology of groups and generalizations of the Borsuk-Ulam theorem. (Homologie des groupes et généralisations du théorème de Borsuk–Ulam.) (French. English summary) Zbl 1123.54016
Reviewer: Donald W. Kahn (Minneapolis)
Some constructive roads to Tychonoff. (English) Zbl 1097.03058
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, 223-238 (2005).
Reviewer: Thierry Coquand (Göteborg)
Separation properties in constructive topology. (English) Zbl 1095.03073
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, 176-192 (2005).
Finite group actions on acyclic 2-complexes. (English) Zbl 1062.57039
Bourbaki seminar. Volume 2001/2002. Exposes 894–908. Paris: Société Mathématique de France (ISBN 2-85629-149-X/pbk). Astérisque 290, 1-17, Exp. No. 894 (2003).
Reviewer: Robert F. Brown (Los Angeles)
Fixed point free actions on \(\mathbb{Z}\)-acyclic 2-complexes. (English) Zbl 1034.57033
Reviewer: K. Pawałowski (Poznań)
An example concerning equivariant deformations. (English) Zbl 0968.55006
Reviewer: O.M.Kosheleva (El Paso)
Recursive and nonextendible functions over the reals; filter foundation for recursive analysis. II. (English) Zbl 0954.03043
Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I. (English) Zbl 0946.03052
Reviewer: R.Downey (Wellington)
On the index of approximating sets of periodic points. (English) Zbl 0853.54039
Reviewer: J.Jaworowski (Bloomington)
Variants of openness. (English) Zbl 0810.54017
Reviewer: P.T.Johnstone (Cambridge)
The semantics of pretopologies. (English) Zbl 0941.03524
Schroeder-Heister, Peter (ed.) et al., Substructural logics. Seminar for natural-language processing systems of the University of Tübingen, Germany, on 7-8 October 1990. Oxford: Clarendon Press. Stud. Log. Comput. 2, 293-307 (1994).
Free linear actions of finite groups on products of two spheres. (English) Zbl 0813.20009
Reviewer: D.McCullough (Norman)
A fixed point theorem for groups acting on finite \(2\)-dimensional acyclic simplicial complexes. (English) Zbl 0834.57022
Reviewer: A.Kondrat’ev (Ekatrinburg)
A characteristic polynomial for self-maps of \(H\)-spaces. (English) Zbl 0806.55002
Reviewer: R.F.Brown (Los Angeles)
Fixed point free low dimensional real algebraic actions of \(A_ 5\) on contractible varieties. (English) Zbl 0736.57016
Reviewer: R.Schwänzl (Osnabrück)
Dimension and C-essentiality of \({\mathbb{Z}}_ p\)-coincidence set of map. (English) Zbl 0717.55004
Reviewer: L.Górniewicz
MSC:
55M35
Finit abelian group actions on surfaces. (English) Zbl 0738.57006
Reviewer: D.Repovš (Ljubljana)
Om immersion below the metastable range. (English) Zbl 0667.57016
Reviewer: U.Koschorke
MSC:
57R42
Contractible open 3-manifolds which are not covering spaces. (English) Zbl 0658.57007
Reviewer: D.McCullough
On equivariant deformation of maps. (English) Zbl 0649.57003
Reviewer: R.F.Brown
Braid groups and Wecken pairs. (English) Zbl 0648.55002
Fixed point theory and its applications, Proc. Conf., Berkeley/Calif. 1986, Contemp. Math. 72, 89-97 (1988).
Reviewer: L.Gorniewicz
Homotopy approximations for classifying spaces of compact Lie groups. (English) Zbl 0639.55009
Math. Gottingensis, Schriftenr. Sonderforschungsbereichs Geom. Anal. 47, 14 p. (1987).
Reviewer: S.Jackowski
On the level of projective spaces. (English) Zbl 0634.10020
Reviewer: Daniel B. Shapiro (Columbus/Ohio)
Fixed points of \(S^ 1\)-fibrations. (English) Zbl 0608.55003
Reviewer: R.Brown
Fixed point free deformations on compact polyhedra. (English) Zbl 0647.55001
Nonlinear functional analysis and its applications, Proc. NATO Adv. Study Inst., Maratea/Italy 1985, NATO ASI Ser., Ser. C. 173, 387-392 (1986).
Reviewer: G.Gauthier
MSC:
55M20
Mod-p Borsuk-Ulam type theorems on manifolds. (Chinese. English summary) Zbl 0626.55002
MSC:
55M20
On covering spaces and equivariant maps. (Chinese) Zbl 0623.57028
Reviewer: Ching-Mu Wu (Tamsui)
Reduction theory on Smith’s special indexes. (Chinese. English summary) Zbl 0612.55002
Reviewer: He Baihe
Witt classes of torsion linking forms. (English) Zbl 0575.57001
Combinatorial methods in topology and algebraic geometry, Proc. Conf. Hon. A. M. Stone, Rochester/N.Y. 1982, Contemp. Math. 44, 179-188 (1985).
Reviewer: K.Komiya
A transfer spectral sequence for fixed point free involutions with an application to stunted real projective spaces. (English) Zbl 0569.57028
Reviewer: K.H.Dovermann
Noncoincidence index of manifolds. (English) Zbl 0558.55003
Reviewer: H.Schirmer
A new proof of Brouwer’s lemma on translation arcs. (English) Zbl 0551.57005
Reviewer: M.Marx
Filter Results by …
Document Type
- Journal Articles (92)
- Collection Articles (13)
- Books (1)
all
top 5
Author
- Gruszczyński, Rafał (5)
- Pietruszczak, Andrzej (5)
- Coquand, Thierry (4)
- Duan, Haibao (4)
- Kato, Hisao (4)
- Pultr, Aleš (4)
- Schuster, Peter Michael (4)
- Bezhanishvili, Guram (3)
- Curi, Giovanni (3)
- Aczel, Peter (2)
- Bridges, Douglas Suth (2)
- Erné, Marcel (2)
- Gonçalves, Daciberg Lima (2)
- Hoffman, Michael E. (2)
- Ikegami, Yuki (2)
- Jackowski, Stefan (2)
- Kalantari, Iraj (2)
- Lombardi, Henri (2)
- Palmgren, Erik (2)
- Picado, Jorge (2)
- Sambin, Giovanni (2)
- Segev, Yoav (2)
- Ueda, Akihide (2)
- Vickers, Steven (2)
- Vidal, Antonio Manuel (2)
- Vîţă, Luminiţa Simona (2)
- Welch, Lawrence V. (2)
- Adem, Alejandro (1)
- Alpern, Steve (1)
- Arrieta, Igor (1)
- Aschbacher, Michael George (1)
- Banaschewski, Bernhard (1)
- Bowden, Jonathan Peter (1)
- Boyles, Stephanie M. (1)
- Brandhorst, Simon (1)
- Brown, Morton (1)
- Brown, Robert F. (1)
- Burke, Dennis K. (1)
- Buzyakova, Raushan Z. (1)
- Carai, Luca (1)
- Casini, Emanuele (1)
- Cauty, Robert (1)
- Chinen, Naotsugu (1)
- Ciraulo, Francesco (1)
- Coppola, Cristina (1)
- Cusick, Larry W. (1)
- Di Concilio, Anna (1)
- Dovermann, Karl Heinz (1)
- Ebrahimi, Mohammad Mehdi (1)
- Español, Luis (1)
- Fadell, Edward R. (1)
- Frith, John L. (1)
- Gambino, Nicola (1)
- Gerla, Giangiacomo (1)
- Goebel, Kazimierz (1)
- González-Sánchez, Jon (1)
- Gutiérrez García, Javier (1)
- Harding, John (1)
- Haridis, Alexandros (1)
- Holgate, David B. (1)
- Husseini, Sufian Y. (1)
- Izydorek, Marek (1)
- Kahn, Steven M. (1)
- Karimi Feizabadi, A. (1)
- Kawai, Tatsuji (1)
- Kubiak, Tomasz (1)
- Lando, Tamar (1)
- Linker, Patrick (1)
- Liu, Yuhong (1)
- Löffler, Peter (1)
- Lončar, Ivan (1)
- Madsen, Ib Henning (1)
- Maietti, Maria Emilia (1)
- Maschio, Samuele (1)
- Massas, Guillaume (1)
- Masuda, Mikiya (1)
- Masuret, Jacques (1)
- McClure, James E. (1)
- Misselbeck-Wessel, Daniel (1)
- Morandi, Patrick J. (1)
- Nikiforov, Vladimir S. (1)
- Nworah, Kingsley I. (1)
- Oh, Hae-Soo (1)
- Oliver, Bob (1)
- Oversteegen, Lex G. (1)
- Ozel, Cenap (1)
- Papadima, Ștefan (1)
- Paseka, Jan (1)
- Pfister, Albrecht (1)
- Rathjen, Michael (1)
- Raußen, Martin (1)
- Ray, Urmie (1)
- Rinaldi, Davide (1)
- Rogers, James Ted jun. (1)
- Ruiz, Albert (1)
- Schauerte, Anneliese (1)
- Scholz, U. Kurt (1)
- Scott, Dana Stewart (1)
- Sichler, Jiří Jan (1)
- Simmons, Harold (1)
- and 18 more Authors
all
top 5
Serial
- Ann. Pure Appl. Logic (8)
- Topology Appl. (7)
- Appl. Categ. Struct. (4)
- J. Pure Appl. Algebra (3)
- Proc. Am. Math. Soc. (3)
- Log. Methods Comput. Sci. (3)
- Houston J. Math. (2)
- Algebra Univers. (2)
- Comment. Math. Helv. (2)
- Math. Ann. (2)
- Pac. J. Math. (2)
- Stud. Log. (2)
- Order (2)
- Math. Struct. Comput. Sci. (2)
- Topol. Proc. (2)
- Log. Log. Philos. (2)
- Am. Math. Mon. (1)
- Int. J. Eng. Sci. (1)
- Acta Math. (1)
- Acta Math. Sin. (1)
- Colloq. Math. (1)
- Fuzzy Sets Syst. (1)
- Ill. J. Math. (1)
- Indiana Univ. Math. J. (1)
- J. Algebra (1)
- J. Math. Soc. Japan (1)
- J. Philos. Log. (1)
- J. Symb. Log. (1)
- Manuscr. Math. (1)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (1)
- Proc. Lond. Math. Soc. (3) (1)
- Q. J. Math., Oxf. II. Ser. (1)
- Theor. Comput. Sci. (1)
- Topology (1)
- Trans. Am. Math. Soc. (1)
- Yokohama Math. J. (1)
- Bull. Sect. Log., Univ. Łódź, Dep. Log. (1)
- Chin. Ann. Math., Ser. A (1)
- Acta Math. Hung. (1)
- Quest. Answers Gen. Topology (1)
- Acta Sci. Nat. Univ. Jilinensis (1)
- Publ. Mat., Barc. (1)
- Expo. Math. (1)
- Kexue Tongbao, Sci. Bull. (1)
- Topol. Methods Nonlinear Anal. (1)
- J. Appl. Non-Class. Log. (1)
- Ann. Math. Artif. Intell. (1)
- Math. Commun. (1)
- Gac. R. Soc. Mat. Esp. (1)
- Algebr. Geom. Topol. (1)
- Sci. Math. Jpn. (1)
- JP J. Geom. Topol. (1)
- Milan J. Math. (1)
- Cah. Topol. Géom. Différ. Catég. (1)
- J. Math. Arts (1)
- Math. Comput. Sci. (1)
- Confluentes Math. (1)
- Rev. Symb. Log. (1)
- Appl. Gen. Topol. (1)
- Kyoto J. Math. (1)
all
top 5
Year of Publication
- 2023 (2)
- 2022 (7)
- 2021 (3)
- 2020 (1)
- 2019 (3)
- 2018 (2)
- 2017 (1)
- 2016 (1)
- 2015 (5)
- 2014 (3)
- 2013 (6)
- 2012 (8)
- 2010 (3)
- 2009 (4)
- 2008 (1)
- 2007 (5)
- 2006 (3)
- 2005 (3)
- 2003 (1)
- 2002 (1)
- 2000 (1)
- 1999 (1)
- 1998 (2)
- 1996 (1)
- 1995 (1)
- 1994 (2)
- 1993 (3)
- 1992 (1)
- 1990 (3)
- 1989 (1)
- 1988 (5)
- 1987 (3)
- 1986 (5)
- 1985 (3)
- 1984 (3)
- 1983 (1)
- 1982 (3)
- 1981 (2)
- 1979 (1)
- 1978 (1)
Software
- MathOverflow (2)
