Halbeisen, Lorenz; Plati, Riccardo; Schumacher, Salome; Shelah, Saharon Four cardinals and their relations in ZF. (English) Zbl 07628762 Ann. Pure Appl. Logic 174, No. 2, Article ID 103200, 17 p. (2023). MSC: 03E35 03E10 03E25 03C62 PDF BibTeX XML Cite \textit{L. Halbeisen} et al., Ann. Pure Appl. Logic 174, No. 2, Article ID 103200, 17 p. (2023; Zbl 07628762) Full Text: DOI OpenURL
Keremedis, Kyriakos; Wajch, Eliza Cuf products and cuf sums of (quasi-) metrizable spaces in ZF. (English) Zbl 07644678 Period. Math. Hung. 85, No. 2, 448-473 (2022). MSC: 03E25 03E35 54A35 54D35 54E35 PDF BibTeX XML Cite \textit{K. Keremedis} and \textit{E. Wajch}, Period. Math. Hung. 85, No. 2, 448--473 (2022; Zbl 07644678) Full Text: DOI arXiv OpenURL
Tarafder, Sourav; Venturi, Giorgio ZF between classicality and non-classicality. (English) Zbl 07490471 Stud. Log. 110, No. 1, 189-218 (2022). MSC: 03E40 03E35 03B53 PDF BibTeX XML Cite \textit{S. Tarafder} and \textit{G. Venturi}, Stud. Log. 110, No. 1, 189--218 (2022; Zbl 07490471) Full Text: DOI OpenURL
Shen, Guozhen A choice-free cardinal equality. (English) Zbl 07473058 Notre Dame J. Formal Logic 62, No. 3, 577-587 (2021). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03E10 03E25 PDF BibTeX XML Cite \textit{G. Shen}, Notre Dame J. Formal Logic 62, No. 3, 577--587 (2021; Zbl 07473058) Full Text: DOI arXiv OpenURL
Jockwich Martinez, S.; Venturi, G. Non-classical models of \(\mathsf{ZF}\). (English) Zbl 07383329 Stud. Log. 109, No. 3, 509-537 (2021). MSC: 03E40 06B20 06E75 03B53 PDF BibTeX XML Cite \textit{S. Jockwich Martinez} and \textit{G. Venturi}, Stud. Log. 109, No. 3, 509--537 (2021; Zbl 07383329) Full Text: DOI OpenURL
Jockwich Martinez, S.; Venturi, G. On negation for non-classical set theories. (English) Zbl 07365451 J. Philos. Log. 50, No. 3, 549-570 (2021). MSC: 03E40 03E70 03B53 PDF BibTeX XML Cite \textit{S. Jockwich Martinez} and \textit{G. Venturi}, J. Philos. Log. 50, No. 3, 549--570 (2021; Zbl 07365451) Full Text: DOI OpenURL
Gunther, Emmanuel; Pagano, Miguel; Terraf, Pedro Sánchez Formalization of forcing in Isabelle/ZF. (English) Zbl 07614672 Peltier, Nicolas (ed.) et al., Automated reasoning. 10th international joint conference, IJCAR 2020, Paris, France, July 1–4, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12167, 221-235 (2020). MSC: 68V15 PDF BibTeX XML Cite \textit{E. Gunther} et al., Lect. Notes Comput. Sci. 12167, 221--235 (2020; Zbl 07614672) Full Text: DOI arXiv OpenURL
Keremedis, Kyriakos; Wajch, Eliza On densely complete metric spaces and extensions of uniformly continuous functions in ZF. (English) Zbl 1483.03030 J. Convex Anal. 27, No. 4, 1099-1122 (2020). Reviewer: Cenap Özel (İzmir) MSC: 03E25 54E35 54E50 PDF BibTeX XML Cite \textit{K. Keremedis} and \textit{E. Wajch}, J. Convex Anal. 27, No. 4, 1099--1122 (2020; Zbl 1483.03030) Full Text: arXiv Link OpenURL
Kindvall Gorbow, Paul Rank-initial embeddings of non-standard models of set theory. (English) Zbl 1481.03021 Arch. Math. Logic 59, No. 5-6, 517-563 (2020). MSC: 03C62 03E30 03C15 03C20 03E55 PDF BibTeX XML Cite \textit{P. Kindvall Gorbow}, Arch. Math. Logic 59, No. 5--6, 517--563 (2020; Zbl 1481.03021) Full Text: DOI arXiv OpenURL
Goldstern, Martin; Klausner, Lukas D. Stranger things about forcing without AC. (English) Zbl 1463.03016 Commentat. Math. Univ. Carol. 61, No. 1, 21-26 (2020). Reviewer: Asaf Karagila (Norwich) MSC: 03E25 03E40 PDF BibTeX XML Cite \textit{M. Goldstern} and \textit{L. D. Klausner}, Commentat. Math. Univ. Carol. 61, No. 1, 21--26 (2020; Zbl 1463.03016) Full Text: DOI arXiv OpenURL
Shen, Guozhen; Yuan, Jiachen Factorials of infinite cardinals in ZF. II: Consistency results. (English) Zbl 1477.03217 J. Symb. Log. 85, No. 1, 244-270 (2020). MSC: 03E35 03E10 03E25 PDF BibTeX XML Cite \textit{G. Shen} and \textit{J. Yuan}, J. Symb. Log. 85, No. 1, 244--270 (2020; Zbl 1477.03217) Full Text: DOI arXiv OpenURL
Shen, Guozhen; Yuan, Jiachen Factorials of infinite cardinals in ZF. I: ZF results. (English) Zbl 1476.03069 J. Symb. Log. 85, No. 1, 224-243 (2020). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03E10 03E25 PDF BibTeX XML Cite \textit{G. Shen} and \textit{J. Yuan}, J. Symb. Log. 85, No. 1, 224--243 (2020; Zbl 1476.03069) Full Text: DOI OpenURL
Tachtsis, Eleftherios Infinite Hausdorff spaces may lack cellular families or discrete subsets of cardinality \(\aleph_0\). (English) Zbl 1443.03027 Topology Appl. 275, Article ID 106997, 19 p. (2020). Reviewer: Vinicius Rodrigues (São Paulo) MSC: 03E25 03E35 54A25 54A35 54D10 54D30 54G12 PDF BibTeX XML Cite \textit{E. Tachtsis}, Topology Appl. 275, Article ID 106997, 19 p. (2020; Zbl 1443.03027) Full Text: DOI OpenURL
Keremedis, Kyriakos; Tachtsis, Eleftherios Cellularity of infinite Hausdorff spaces in ZF. (English) Zbl 1484.03103 Topology Appl. 274, Article ID 107104, 20 p. (2020). MSC: 03E25 03E35 54A25 54D10 54D30 PDF BibTeX XML Cite \textit{K. Keremedis} and \textit{E. Tachtsis}, Topology Appl. 274, Article ID 107104, 20 p. (2020; Zbl 1484.03103) Full Text: DOI OpenURL
Piękosz, Artur; Wajch, Eliza Bornological quasi-metrizability in generalized topology. (English) Zbl 1488.54011 Hacet. J. Math. Stat. 48, No. 6, 1653-1666 (2019). MSC: 54A05 54B30 54E35 54E55 PDF BibTeX XML Cite \textit{A. Piękosz} and \textit{E. Wajch}, Hacet. J. Math. Stat. 48, No. 6, 1653--1666 (2019; Zbl 1488.54011) Full Text: arXiv Link OpenURL
Tachtsis, Eleftherios On the existence of almost disjoint and MAD families without \(\mathsf{AC}\). (English) Zbl 1477.03200 Bull. Pol. Acad. Sci., Math. 67, No. 2, 101-124 (2019). MSC: 03E25 03E05 03E35 PDF BibTeX XML Cite \textit{E. Tachtsis}, Bull. Pol. Acad. Sci., Math. 67, No. 2, 101--124 (2019; Zbl 1477.03200) Full Text: DOI OpenURL
Gunther, Emmanuel; Pagano, Miguel; Sánchez Terraf, Pedro First steps towards a formalization of forcing. (English) Zbl 1434.03029 Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 119-136 (2019). MSC: 03B35 03E35 68V20 PDF BibTeX XML Cite \textit{E. Gunther} et al., Electron. Notes Theor. Comput. Sci. 344, 119--136 (2019; Zbl 1434.03029) Full Text: DOI arXiv OpenURL
Tachtsis, E. On the existence of permutations of infinite sets without fixed points in set theory without choice. (English) Zbl 1438.03016 Acta Math. Hung. 157, No. 2, 281-300 (2019). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E25 03E35 PDF BibTeX XML Cite \textit{E. Tachtsis}, Acta Math. Hung. 157, No. 2, 281--300 (2019; Zbl 1438.03016) Full Text: DOI OpenURL
Tachtsis, Eleftherios On the comparability of cardinals in the absence of the axiom of choice. (English) Zbl 1459.03081 Fundam. Math. 242, No. 3, 247-266 (2018). MSC: 03E25 03E35 PDF BibTeX XML Cite \textit{E. Tachtsis}, Fundam. Math. 242, No. 3, 247--266 (2018; Zbl 1459.03081) Full Text: DOI OpenURL
Halbeisen, Lorenz A weird relation between two cardinals. (English) Zbl 1454.03067 Arch. Math. Logic 57, No. 5-6, 593-599 (2018). MSC: 03E35 03E10 03E25 PDF BibTeX XML Cite \textit{L. Halbeisen}, Arch. Math. Logic 57, No. 5--6, 593--599 (2018; Zbl 1454.03067) Full Text: DOI OpenURL
Wajch, Eliza Quasi-metrizability of products in ZF and equivalences of CUT(fin). (English) Zbl 1425.03020 Topology Appl. 241, 62-69 (2018). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03E25 54B10 03E35 54E35 PDF BibTeX XML Cite \textit{E. Wajch}, Topology Appl. 241, 62--69 (2018; Zbl 1425.03020) Full Text: DOI OpenURL
Herrlich, Horst; Tachtsis, Eleftherios On the solvability of systems of linear equations over the ring \(\mathbb{Z}\) of integers. (English) Zbl 1463.03017 Commentat. Math. Univ. Carol. 58, No. 2, 241-260 (2017). MSC: 03E25 03E35 PDF BibTeX XML Cite \textit{H. Herrlich} and \textit{E. Tachtsis}, Commentat. Math. Univ. Carol. 58, No. 2, 241--260 (2017; Zbl 1463.03017) Full Text: DOI OpenURL
Tachtsis, Eleftherios On variants of the principle of consistent choices, the minimal cover property and the 2-compactness of generalized Cantor cubes. (English) Zbl 1423.03182 Topology Appl. 219, 122-140 (2017). MSC: 03E25 03E35 05D10 54B10 54D30 PDF BibTeX XML Cite \textit{E. Tachtsis}, Topology Appl. 219, 122--140 (2017; Zbl 1423.03182) Full Text: DOI OpenURL
Herrlich, Horst; Howard, Paul; Tachtsis, Eleftherios Finiteness classes and small violations of choice. (English) Zbl 1436.03255 Notre Dame J. Formal Logic 57, No. 3, 375-388 (2016). MSC: 03E25 03E35 PDF BibTeX XML Cite \textit{H. Herrlich} et al., Notre Dame J. Formal Logic 57, No. 3, 375--388 (2016; Zbl 1436.03255) Full Text: DOI Euclid OpenURL
Howard, Paul; Tachtsis, Eleftherios No decreasing sequence of cardinals. (English) Zbl 1339.03038 Arch. Math. Logic 55, No. 3-4, 415-429 (2016). Reviewer: J. M. Plotkin (East Lansing) MSC: 03E25 03E35 PDF BibTeX XML Cite \textit{P. Howard} and \textit{E. Tachtsis}, Arch. Math. Logic 55, No. 3--4, 415--429 (2016; Zbl 1339.03038) Full Text: DOI Backlinks: MO OpenURL
Piekosz, Artur; Wajch, Eliza Quasi-metrizability of bornological biuniverses in ZF. (English) Zbl 1335.54030 J. Convex Anal. 22, No. 4, 1041-1060 (2015). Reviewer: David B. Gauld (Auckland) MSC: 54E55 54A35 54E35 54E99 PDF BibTeX XML Cite \textit{A. Piekosz} and \textit{E. Wajch}, J. Convex Anal. 22, No. 4, 1041--1060 (2016; Zbl 1335.54030) Full Text: arXiv Link OpenURL
Howard, Paul; Tachtsis, Eleftherios On rigid relation principles in set theory without the axiom of choice. (English) Zbl 1423.03179 Fundam. Math. 232, No. 3, 199-226 (2016). MSC: 03E25 03E35 PDF BibTeX XML Cite \textit{P. Howard} and \textit{E. Tachtsis}, Fundam. Math. 232, No. 3, 199--226 (2016; Zbl 1423.03179) Full Text: DOI OpenURL
Boulabiar, Karim Lattice and algebra homomorphisms on \(C(X)\) in Zermelo-Fraenkel set theory. (English) Zbl 1420.54026 Quaest. Math. 38, No. 6, 835-839 (2015). MSC: 54C40 54C35 46E05 46E25 PDF BibTeX XML Cite \textit{K. Boulabiar}, Quaest. Math. 38, No. 6, 835--839 (2015; Zbl 1420.54026) Full Text: DOI OpenURL
Herrlich, Horst; Howard, Paul; Tachtsis, Eleftherios On a certain notion of finite and a finiteness class in set theory without choice. (English) Zbl 1356.03081 Bull. Pol. Acad. Sci., Math. 63, No. 2, 89-112 (2015). Reviewer: Samuel Gomes da Silva (Salvador) MSC: 03E25 03E35 03E30 PDF BibTeX XML Cite \textit{H. Herrlich} et al., Bull. Pol. Acad. Sci., Math. 63, No. 2, 89--112 (2015; Zbl 1356.03081) Full Text: DOI OpenURL
Tachtsis, Eleftherios On the existence of free ultrafilters on \(\omega \) and on Russell-sets in ZF. (English) Zbl 1325.03060 Bull. Pol. Acad. Sci., Math. 63, No. 1, 1-10 (2015). MSC: 03E35 03E25 PDF BibTeX XML Cite \textit{E. Tachtsis}, Bull. Pol. Acad. Sci., Math. 63, No. 1, 1--10 (2015; Zbl 1325.03060) Full Text: DOI Link OpenURL
Roth, Daniel; Schneider, Gregor The interpretation of classes in axiomatic set theory. (English) Zbl 1329.03083 Link, Godehard (ed.), Formalism and beyond. On the nature of mathematical discourse. Berlin: De Gruyter (ISBN 978-1-61451-829-7/hbk; 978-1-61451-847-1/ebook). Logos 23, 275-313 (2014). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03E70 03-03 01A60 PDF BibTeX XML Cite \textit{D. Roth} and \textit{G. Schneider}, Logos 23, 275--313 (2014; Zbl 1329.03083) Full Text: DOI OpenURL
Gitman, Victoria; Johnstone, Thomas A. On ground model definability. (English) Zbl 1358.03078 Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 205-227 (2014). MSC: 03E45 03E35 03E55 PDF BibTeX XML Cite \textit{V. Gitman} and \textit{T. A. Johnstone}, in: Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications. 205--227 (2014; Zbl 1358.03078) Full Text: arXiv OpenURL
Tachtsis, Eleftherios Variants of the principle of dependent choices and a topological proposition. (English) Zbl 1342.03035 Quest. Answers Gen. Topology 32, No. 1, 53-62 (2014). MSC: 03E25 03E35 06B30 54A35 54D10 PDF BibTeX XML Cite \textit{E. Tachtsis}, Quest. Answers Gen. Topology 32, No. 1, 53--62 (2014; Zbl 1342.03035) OpenURL
Mycielski, Jan On the formalization of theories. (English) Zbl 1260.03092 J. Autom. Reasoning 50, No. 2, 211-216 (2013). MSC: 03E30 PDF BibTeX XML Cite \textit{J. Mycielski}, J. Autom. Reasoning 50, No. 2, 211--216 (2013; Zbl 1260.03092) Full Text: DOI OpenURL
Howard, Paul; Tachtsis, Eleftherios On a topological choice principle by Murray Bell. (English) Zbl 1275.03141 Topology Appl. 160, No. 2, 309-327 (2013). Reviewer: Samuel Gomes da Silva (Salvador) MSC: 03E25 03E35 54D10 54D30 PDF BibTeX XML Cite \textit{P. Howard} and \textit{E. Tachtsis}, Topology Appl. 160, No. 2, 309--327 (2013; Zbl 1275.03141) Full Text: DOI OpenURL
Bilinsky, Eilon; Gitik, Moti A model with a measurable which does not carry a normal measure. (English) Zbl 1270.03097 Arch. Math. Logic 51, No. 7-8, 863-876 (2012). MSC: 03E55 03E25 03E35 PDF BibTeX XML Cite \textit{E. Bilinsky} and \textit{M. Gitik}, Arch. Math. Logic 51, No. 7--8, 863--876 (2012; Zbl 1270.03097) Full Text: DOI OpenURL
Morillon, Marianne Helly spaces and Radon measures on complete lines. (English) Zbl 1268.03068 Order 29, No. 3, 419-441 (2012). Reviewer: Vinod Kumar (Haryana) MSC: 03E25 06A05 06F30 46B50 54B10 54D30 PDF BibTeX XML Cite \textit{M. Morillon}, Order 29, No. 3, 419--441 (2012; Zbl 1268.03068) Full Text: DOI OpenURL
Bai, Lin; Choi, Jinho Low complexity MIMO detection. (English) Zbl 1246.93002 New York, NY: Springer (ISBN 978-1-4419-8582-8/hbk; 978-1-4419-8583-5/ebook). xxvi, 230 p. (2012). Reviewer: Ştefan M. Şoltuz (Westmount) MSC: 93-02 94-02 PDF BibTeX XML Cite \textit{L. Bai} and \textit{J. Choi}, Low complexity MIMO detection. New York, NY: Springer (2012; Zbl 1246.93002) Full Text: DOI OpenURL
Zakharov, V. K.; Yashin, A. D. Finite axiomatizability of local set theory. (English. Russian original) Zbl 1258.03076 Math. Notes 90, No. 1, 64-78 (2011); translation from Mat. Zametki 90, No. 1, 70-86 (2011). MSC: 03E70 18A15 PDF BibTeX XML Cite \textit{V. K. Zakharov} and \textit{A. D. Yashin}, Math. Notes 90, No. 1, 64--78 (2011; Zbl 1258.03076); translation from Mat. Zametki 90, No. 1, 70--86 (2011) Full Text: DOI OpenURL
Barras, Bruno Sets in Coq, Coq in Sets. (English) Zbl 1211.03023 J. Formaliz. Reason. 3, No. 1, 29-48 (2010). MSC: 03B35 03E99 68T15 PDF BibTeX XML Cite \textit{B. Barras}, J. Formaliz. Reason. 3, No. 1, 29--48 (2010; Zbl 1211.03023) Full Text: Link OpenURL
Gutierres, Gonçalo The ultrafilter closure in ZF. (English) Zbl 1196.03061 Math. Log. Q. 56, No. 3, 331-336 (2010). Reviewer: Eleftherios Tachtsis (Karlovassi) MSC: 03E25 54A20 PDF BibTeX XML Cite \textit{G. Gutierres}, Math. Log. Q. 56, No. 3, 331--336 (2010; Zbl 1196.03061) Full Text: DOI OpenURL
Crabbé, M. Ambiguous cardinals. (English) Zbl 1203.03064 Crabbé, Marcel (ed.) et al., Proceedings of the 70th anniversary NF meeting in Cambridge. Commemorating the 70th year of the publication of Quine’s seminal paper “New foundations for mathematical logic”, Cambridge, UK, Mai 26–27, 2007. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-937-5/pbk). Cahiers du Centre de Logique 16, 89-98 (2009). MSC: 03E10 03E25 03E70 PDF BibTeX XML Cite \textit{M. Crabbé}, Cah. Cent. Log. 16, 89--98 (2009; Zbl 1203.03064) OpenURL
Dang, V. H.; McKenzie, Z. A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory. (English) Zbl 1213.03061 Crabbé, Marcel (ed.) et al., Proceedings of the 70th anniversary NF meeting in Cambridge. Commemorating the 70th year of the publication of Quine’s seminal paper “New foundations for mathematical logic”, Cambridge, UK, Mai 26–27, 2007. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-937-5/pbk). Cahiers du Centre de Logique 16, 9-32 (2009). MSC: 03E30 03E70 PDF BibTeX XML Cite \textit{V. H. Dang} and \textit{Z. McKenzie}, Cah. Cent. Log. 16, 9--32 (2009; Zbl 1213.03061) OpenURL
Guo, Haiyou; Zhou, Zhigang; Hu, Honglin Transmit correlation effect on SIC-ZF receiver for V-BLAST system. (English) Zbl 1181.94080 Sci. China, Ser. F. 52, No. 12, 2290-2295 (2009). MSC: 94A29 PDF BibTeX XML Cite \textit{H. Guo} et al., Sci. China, Ser. F 52, No. 12, 2290--2295 (2009; Zbl 1181.94080) Full Text: DOI OpenURL
Yang, Wei; Yang, Wei Performance analysis of uplink MIMO MC-CDMA systems based on linear zero-forcing V-BLAST algorithm. (English) Zbl 1145.93364 Sci. China, Ser. F. 51, No. 9, 1305-1318 (2008). MSC: 93C35 94A05 90B15 PDF BibTeX XML Cite \textit{W. Yang} and \textit{W. Yang}, Sci. China, Ser. F 51, No. 9, 1305--1318 (2008; Zbl 1145.93364) Full Text: DOI OpenURL
Bunina, E. I.; Zakharov, V. K. Formula-inaccessible cardinals and a characterization of all natural models of Zermelo-Fraenkel set theory. (English. Russian original) Zbl 1129.03021 Izv. Math. 71, No. 2, 219-245 (2007); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 71, No. 2, 2-28 (2007). MSC: 03C62 03E30 03E55 PDF BibTeX XML Cite \textit{E. I. Bunina} and \textit{V. K. Zakharov}, Izv. Math. 71, No. 2, 219--245 (2007; Zbl 1129.03021); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 71, No. 2, 2--28 (2007) Full Text: DOI OpenURL
Wiedijk, Freek Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics. (English) Zbl 1114.03007 J. Appl. Log. 4, No. 4, 622-645 (2006). MSC: 03B35 68T15 PDF BibTeX XML Cite \textit{F. Wiedijk}, J. Appl. Log. 4, No. 4, 622--645 (2006; Zbl 1114.03007) Full Text: DOI OpenURL
Löwe, Benedikt Set theory with and without urelements and categories of interpretations. (English) Zbl 1108.03051 Notre Dame J. Formal Logic 47, No. 1, 83-91 (2006). Reviewer: M. Yasuhara (Princeton) MSC: 03E30 03F25 PDF BibTeX XML Cite \textit{B. Löwe}, Notre Dame J. Formal Logic 47, No. 1, 83--91 (2006; Zbl 1108.03051) Full Text: DOI OpenURL
Moschovakis, Yiannis N. Notes on set theory. 2nd ed. (English) Zbl 1088.03003 Undergraduate Texts in Mathematics. New York, NY: Springer (ISBN 0-387-28722-1/hbk; 0-387-28723-X/pbk). xii, 276 p. (2006). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03-01 03E30 03E20 03E15 03E25 PDF BibTeX XML Cite \textit{Y. N. Moschovakis}, Notes on set theory. 2nd ed. New York, NY: Springer (2006; Zbl 1088.03003) Full Text: DOI OpenURL
Kouwenhoven-Gentil, Claire; van Oosten, Jaap Algebraic set theory and the effective topos. (English) Zbl 1089.03044 J. Symb. Log. 70, No. 3, 879-890 (2005). MSC: 03E70 03G30 18B25 PDF BibTeX XML Cite \textit{C. Kouwenhoven-Gentil} and \textit{J. van Oosten}, J. Symb. Log. 70, No. 3, 879--890 (2005; Zbl 1089.03044) Full Text: DOI Link OpenURL
Caudrelier, V.; Ragoucy, E. Quantum resolution of the nonlinear super-Schrödinger equation. (English) Zbl 1080.81017 Int. J. Mod. Phys. A 19, No. 10, 1559-1577 (2004). MSC: 81R12 35Q55 81Q60 PDF BibTeX XML Cite \textit{V. Caudrelier} and \textit{E. Ragoucy}, Int. J. Mod. Phys. A 19, No. 10, 1559--1577 (2004; Zbl 1080.81017) Full Text: DOI arXiv OpenURL
Esser, Olivier A positive set theory. (Une théorie positive des ensembles.) (French) Zbl 1087.03033 Cahiers du Centre de Logique 13. Louvain-la-Neuve: Academia-Bruylant; Louvain-la-Neuve: Centre National de Recherches de Logique (ISBN 2-87209-750-3/pbk). 117 p. (2004). Reviewer: Elliott Mendelson (Flushing) MSC: 03E70 03E30 03E35 03-02 PDF BibTeX XML Cite \textit{O. Esser}, Une théorie positive des ensembles. Louvain-la-Neuve: Academia-Bruylant; Louvain-la-Neuve: Centre National de Recherches de Logique (2004; Zbl 1087.03033) OpenURL
Bunina, E. I.; Zakharov, V. K. The canonical form of supertransitive standard models in Zermelo-Fraenkel set theory. (English. Russian original) Zbl 1060.03057 Russ. Math. Surv. 58, No. 4, 782-783 (2003); translation from Usp. Mat. Nauk 58, No. 4, 143-144 (2003). Reviewer: Roman Kossak (New York) MSC: 03C62 03E10 PDF BibTeX XML Cite \textit{E. I. Bunina} and \textit{V. K. Zakharov}, Russ. Math. Surv. 58, No. 4, 782--783 (2003; Zbl 1060.03057); translation from Usp. Mat. Nauk 58, No. 4, 143--144 (2003) Full Text: DOI OpenURL
Paulson, Lawrence C. The relative consistency of the axiom of choice mechanized using Isabelle/ZF. (English) Zbl 1053.03009 LMS J. Comput. Math. 6, 198-248 (2003). MSC: 03B35 03E35 03E25 68T15 PDF BibTeX XML Cite \textit{L. C. Paulson}, LMS J. Comput. Math. 6, 198--248 (2003; Zbl 1053.03009) Full Text: DOI Link OpenURL
Forster, Thomas ZF + “every set is the same size as a wellfounded set”. (English) Zbl 1044.03037 J. Symb. Log. 68, No. 1, 1-4 (2003). Reviewer: Adonai S. Sant’Anna (Columbia) MSC: 03E25 PDF BibTeX XML Cite \textit{T. Forster}, J. Symb. Log. 68, No. 1, 1--4 (2003; Zbl 1044.03037) Full Text: DOI OpenURL
Bell, John L. Some new intuitionistic equivalents of Zorn’s Lemma. (English) Zbl 1045.03047 Arch. Math. Logic 42, No. 8, 811-814 (2003). Reviewer: Victor V. Pambuccian (Phoenix) MSC: 03F55 03E70 03E25 PDF BibTeX XML Cite \textit{J. L. Bell}, Arch. Math. Logic 42, No. 8, 811--814 (2003; Zbl 1045.03047) Full Text: DOI OpenURL
Friedman, Harvey M. Three-quantifier sentences. (English) Zbl 1020.03044 Fundam. Math. 177, No. 3, 213-240 (2003). MSC: 03E30 03B25 PDF BibTeX XML Cite \textit{H. M. Friedman}, Fundam. Math. 177, No. 3, 213--240 (2003; Zbl 1020.03044) Full Text: DOI OpenURL
Enayat, Ali Power-like models of set theory. (English) Zbl 0994.03034 J. Symb. Log. 66, No. 4, 1766-1782 (2001). MSC: 03C62 03E55 PDF BibTeX XML Cite \textit{A. Enayat}, J. Symb. Log. 66, No. 4, 1766--1782 (2001; Zbl 0994.03034) Full Text: DOI OpenURL
Turner, Raymond Type inference for set theory. (English) Zbl 0987.03044 Theor. Comput. Sci. 266, No. 1-2, 951-974 (2001). MSC: 03E30 68Q60 03E75 03B70 PDF BibTeX XML Cite \textit{R. Turner}, Theor. Comput. Sci. 266, No. 1--2, 951--974 (2001; Zbl 0987.03044) Full Text: DOI OpenURL
Staples, Mark Interfaces for refining recursion and procedures. (English) Zbl 1013.68121 Formal Asp. Comput. 12, No. 5, 372-391 (2000). MSC: 68Q60 PDF BibTeX XML Cite \textit{M. Staples}, Formal Asp. Comput. 12, No. 5, 372--391 (2000; Zbl 1013.68121) Full Text: DOI OpenURL
Delhommé, Christian; Morillon, Marianne Dependent choices and weak compactness. (English) Zbl 0989.03048 Notre Dame J. Formal Logic 40, No. 4, 568-573 (1999). MSC: 03E25 46B50 03E35 PDF BibTeX XML Cite \textit{C. Delhommé} and \textit{M. Morillon}, Notre Dame J. Formal Logic 40, No. 4, 568--573 (1999; Zbl 0989.03048) Full Text: DOI OpenURL
Hara, Yuji; Jimbo, Michio; Konno, Hitoshi; Odake, Satoru; Shiraishi, Jun’ichi Free field approach to the dilute \(A_L\) models. (English) Zbl 0969.81024 J. Math. Phys. 40, No. 8, 3791-3826 (1999). MSC: 81R10 81R50 81T25 82B20 81V70 PDF BibTeX XML Cite \textit{Y. Hara} et al., J. Math. Phys. 40, No. 8, 3791--3826 (1999; Zbl 0969.81024) Full Text: DOI arXiv OpenURL
Enayat, Ali Analogues of the MacDowell-Specker theorem for set theory. (English) Zbl 0928.03044 Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 25-50 (1999). Reviewer: A.Ryaskin (Novosibirsk) MSC: 03C62 03E35 03F30 PDF BibTeX XML Cite \textit{A. Enayat}, Lect. Notes Pure Appl. Math. 203, 25--50 (1999; Zbl 0928.03044) OpenURL
Luan, Jingwen A Boolean-valued model of the conglomerate axiomatic system. (Chinese. English summary) Zbl 0930.03063 J. Math., Wuhan Univ. 17, No. 2, 207-213 (1997). Reviewer: Wang Cun-Zheng (Chengdu) MSC: 03E40 PDF BibTeX XML Cite \textit{J. Luan}, J. Math., Wuhan Univ. 17, No. 2, 207--213 (1997; Zbl 0930.03063) OpenURL
McGee, Vann The complexity of the modal predicate logic of “true in every transitive model of ZF”. (English) Zbl 0898.03007 J. Symb. Log. 62, No. 4, 1371-1378 (1997). Reviewer: Mladen Vuković (Zagreb) MSC: 03B45 PDF BibTeX XML Cite \textit{V. McGee}, J. Symb. Log. 62, No. 4, 1371--1378 (1997; Zbl 0898.03007) Full Text: DOI OpenURL
Bernardi, Claudio; D’Agostino, Giovanna Translating the hypergame paradox: Remarks on the set of founded elements of a relation. (English) Zbl 0859.03004 J. Philos. Log. 25, No. 5, 545-557 (1996). Reviewer: J.Mackenzie (Sydney) MSC: 03A05 03B30 91A05 PDF BibTeX XML Cite \textit{C. Bernardi} and \textit{G. D'Agostino}, J. Philos. Log. 25, No. 5, 545--557 (1996; Zbl 0859.03004) Full Text: DOI OpenURL
Feferman, Solomon Gödel’s program for new axioms: Why, where, how and what? (English) Zbl 0857.03034 Hájek, Petr (ed.), Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag. Lect. Notes Log. 6, 3-22 (1996). Reviewer: E.Mendelson (Flushing) MSC: 03F35 03E70 03E55 03F15 03D65 03D75 PDF BibTeX XML Cite \textit{S. Feferman}, Lect. Notes Log. 6, 3--22 (1996; Zbl 0857.03034) OpenURL
González, Carlos G. Dense orderings, partitions and weak forms of choice. (English) Zbl 0821.03024 Fundam. Math. 147, No. 1, 11-25 (1995). MSC: 03E35 03E20 03E25 03E05 PDF BibTeX XML Cite \textit{C. G. González}, Fundam. Math. 147, No. 1, 11--25 (1995; Zbl 0821.03024) Full Text: EuDML OpenURL
Yankov, V. A. Dialogue theory of proofs for arithmetic, analysis, and set theory. (English. Russian original) Zbl 0836.03029 Russ. Acad. Sci., Izv., Math. 44, No. 3, 571-600 (1995); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 58, No. 3, 140-168 (1994). MSC: 03F03 03F55 03E35 03F30 03F10 03E30 03B20 PDF BibTeX XML Cite \textit{V. A. Yankov}, Russ. Acad. Sci., Izv., Math. 44, No. 3, 1 (1994; Zbl 0836.03029); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 58, No. 3, 140--168 (1994) Full Text: DOI OpenURL
Griffor, Edward; Rathjen, Michael The strength of some Martin-Löf type theories. (English) Zbl 0819.03047 Arch. Math. Logic 33, No. 5, 347-385 (1994). Reviewer: M.Yasuhara (Princeton) MSC: 03F35 03F50 PDF BibTeX XML Cite \textit{E. Griffor} and \textit{M. Rathjen}, Arch. Math. Logic 33, No. 5, 347--385 (1994; Zbl 0819.03047) Full Text: DOI OpenURL
Grainger, Arthur D. Flat sets. (English) Zbl 0812.03040 J. Symb. Log. 59, No. 3, 1012-1021 (1994). Reviewer: R.A.Herrmann (Annapolis) MSC: 03H05 PDF BibTeX XML Cite \textit{A. D. Grainger}, J. Symb. Log. 59, No. 3, 1012--1021 (1994; Zbl 0812.03040) Full Text: DOI OpenURL
Halbeisen, Lorenz; Shelah, Saharon Consequences of arithmetic for set theory. (English) Zbl 0795.03064 J. Symb. Log. 59, No. 1, 30-40 (1994). MSC: 03E10 PDF BibTeX XML Cite \textit{L. Halbeisen} and \textit{S. Shelah}, J. Symb. Log. 59, No. 1, 30--40 (1994; Zbl 0795.03064) Full Text: DOI arXiv Link OpenURL
Moschovakis, Yiannis N. Notes on set theory. (English) Zbl 0803.04001 Undergraduate Texts in Mathematics. New York, NY: Springer-Verlag. 286 p. (1994). Reviewer: S.Gottwald (Leipzig) MSC: 03-01 03E30 03E15 PDF BibTeX XML Cite \textit{Y. N. Moschovakis}, Notes on set theory. New York, NY: Springer (1994; Zbl 0803.04001) OpenURL
Ebbinghaus, Heinz-Dieter Introduction to set theory. 3., vollst. überarb. Aufl. (Einführung in die Mengenlehre.) (German) Zbl 0984.03500 Heidelberg: Spektrum Akademischer Verlag. xiii, 236 S. (1994). MSC: 03-01 03Exx 03E25 PDF BibTeX XML Cite \textit{H.-D. Ebbinghaus}, Einführung in die Mengenlehre. 3., vollst. überarb. Aufl. Heidelberg: Spektrum Akademischer Verlag (1994; Zbl 0984.03500) OpenURL
Vdovin, A. M. Extension of a new axiomatic set theory. (English. Russian original) Zbl 0811.03035 Russ. Acad. Sci., Izv., Math. 42, No. 3, 615-619 (1994); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 57, No. 3, 208-212 (1993). MSC: 03E30 PDF BibTeX XML Cite \textit{A. M. Vdovin}, Russ. Acad. Sci., Izv., Math. 42, No. 3, 208--212 (1993; Zbl 0811.03035); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 57, No. 3, 208--212 (1993) Full Text: DOI OpenURL
Baratella, Stefano; Ferro, Ruggero A theory of sets with negation of the axiom of infinity. (English) Zbl 0807.03031 Math. Log. Q. 39, No. 3, 338-352 (1993). Reviewer: K.Čuda (Praha) MSC: 03E30 03E35 03E70 PDF BibTeX XML Cite \textit{S. Baratella} and \textit{R. Ferro}, Math. Log. Q. 39, No. 3, 338--352 (1993; Zbl 0807.03031) Full Text: DOI OpenURL
Parlamento, F.; Policriti, A. Undecidability results for restricted universally quantified formulae of set theory. (English) Zbl 0797.03005 Commun. Pure Appl. Math. 46, No. 1, 57-73 (1993). MSC: 03B25 03E99 03D35 03D10 PDF BibTeX XML Cite \textit{F. Parlamento} and \textit{A. Policriti}, Commun. Pure Appl. Math. 46, No. 1, 57--73 (1993; Zbl 0797.03005) Full Text: DOI OpenURL
Spišiak, Ladislav Dependences between definitions of finiteness. II. (English) Zbl 0804.03044 Czech. Math. J. 43, No. 3, 391-407 (1993). Reviewer: P.Vojtáš (Košice) MSC: 03E99 03E25 PDF BibTeX XML Cite \textit{L. Spišiak}, Czech. Math. J. 43, No. 3, 391--407 (1993; Zbl 0804.03044) Full Text: EuDML OpenURL
Cowen, Robert Some connections between set theory and computer science. (English) Zbl 0794.03072 Gottlob, Georg (ed.) et al., Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC ’93, Brno, Czech Republic, August 24-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 713, 14-22 (1993). MSC: 03E65 68Q25 68-02 03-02 PDF BibTeX XML Cite \textit{R. Cowen}, Lect. Notes Comput. Sci. 713, 14--22 (1993; Zbl 0794.03072) OpenURL
Buskes, G. J. H. M.; van Rooij, A. C. M. A note on the Gelfand-Naimark-Segal theorem. (English) Zbl 0796.46040 Proc. R. Ir. Acad., Sect. A 93, No. 1, 143-144 (1993). MSC: 46L05 03E30 46S30 PDF BibTeX XML Cite \textit{G. J. H. M. Buskes} and \textit{A. C. M. van Rooij}, Proc. R. Ir. Acad., Sect. A 93, No. 1, 143--144 (1993; Zbl 0796.46040) OpenURL
Mattes, Josef On the convenient setting for real analytic mappings. (English) Zbl 0876.46052 Monatsh. Math. 116, No. 2, 127-141 (1993). Reviewer: L.D.Nel (MR 94m:46114) MSC: 46M15 03E25 58B12 58D15 46G20 PDF BibTeX XML Cite \textit{J. Mattes}, Monatsh. Math. 116, No. 2, 127--141 (1993; Zbl 0876.46052) Full Text: DOI EuDML OpenURL
Cori, René; Lascar, Daniel Logique mathématique. Cours et exercices. II: Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. (French) Zbl 0787.03002 AXIOMES. Paris: Masson. xv, 347 p. (1993). Reviewer: A.M.Coyne (Asheville) MSC: 03-01 03D20 03C07 03E30 03F30 PDF BibTeX XML Cite \textit{R. Cori} and \textit{D. Lascar}, Logique mathématique. Cours et exercices. II: Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles. Préface de J.-L. Krivine. Paris: Masson (1993; Zbl 0787.03002) OpenURL
Shavrukov, V. Yu. A note on the diagonalizable algebras of PA and ZF. (English) Zbl 0780.03027 Ann. Pure Appl. Logic 61, No. 1-2, 161-173 (1993). Reviewer: V.Yu.Shavrukov MSC: 03F30 03G25 03F40 PDF BibTeX XML Cite \textit{V. Yu. Shavrukov}, Ann. Pure Appl. Logic 61, No. 1--2, 161--173 (1993; Zbl 0780.03027) Full Text: DOI OpenURL
Kolany, Adam Equivalents of the compactness theorem for locally finite sets of sentences. (English) Zbl 0757.03023 Bull. Sect. Log., Pol. Acad. Sci. 21, No. 1, 12-18 (1992). MSC: 03E20 03E25 PDF BibTeX XML Cite \textit{A. Kolany}, Bull. Sect. Logic, Pol. Acad. Sci. 21, No. 1, 12--18 (1992; Zbl 0757.03023) OpenURL
Prati, Nando On the comparison between fuzzy set axiomatizations. (English) Zbl 0772.03024 Fuzzy Sets Syst. 46, No. 2, 167-175 (1992). Reviewer: S.Gottwald (Leipzig) MSC: 03E72 03E35 PDF BibTeX XML Cite \textit{N. Prati}, Fuzzy Sets Syst. 46, No. 2, 167--175 (1992; Zbl 0772.03024) Full Text: DOI OpenURL
Apter, Arthur W. On the class of measurable cardinals without the axiom of choice. (English) Zbl 0781.03036 Isr. J. Math. 79, No. 2-3, 367-379 (1992). Reviewer: N.Brunner (Wien) MSC: 03E25 03E35 03E55 PDF BibTeX XML Cite \textit{A. W. Apter}, Isr. J. Math. 79, No. 2--3, 367--379 (1992; Zbl 0781.03036) Full Text: DOI OpenURL
Rathjen, Michael Eine Ordinalzahlanalyse der \(\Pi_ 3\)-Reflexion. (German) Zbl 0787.03044 Münster: Univ. Münster, 77 S. (1992). MSC: 03F15 PDF BibTeX XML Cite \textit{M. Rathjen}, Eine Ordinalzahlanalyse der \(\Pi_ 3\)-Reflexion. Münster: Univ. Münster (1992; Zbl 0787.03044) OpenURL
Spector, Mitchell Iterated extended ultrapowers and supercompactness without choice. (English) Zbl 0746.03043 Ann. Pure Appl. Logic 54, No. 2, 179-194 (1991). Reviewer: K.Gloede (Heidelberg) MSC: 03E55 03E60 03E35 PDF BibTeX XML Cite \textit{M. Spector}, Ann. Pure Appl. Logic 54, No. 2, 179--194 (1991; Zbl 0746.03043) Full Text: DOI OpenURL
Guzicki, Wojciech Pairwise incompatible generic families. (English) Zbl 0732.03042 Proc. Am. Math. Soc. 110, No. 4, 1049-1053 (1990). Reviewer: L.Bukovský (Košice) MSC: 03E40 03C62 03E25 PDF BibTeX XML Cite \textit{W. Guzicki}, Proc. Am. Math. Soc. 110, No. 4, 1049--1053 (1990; Zbl 0732.03042) Full Text: DOI OpenURL
Corrada, Manuel On the length of proofs of set theoretical statements in Zermelo-Fraenkel set theory and Kelley-Morse theory of classes. (English) Zbl 0721.03039 J. Non-Classical Logic 7, No. 1-2, 139-143 (1990). Reviewer: P.Štěpánek (Praha) MSC: 03F20 03E99 PDF BibTeX XML OpenURL
Yonezawa, Yoshimi Symmetric models for \(ZF^ -\) set theory. (English) Zbl 0719.03022 Kobe J. Math. 7, No. 1, 1-7 (1990). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E30 03E35 PDF BibTeX XML Cite \textit{Y. Yonezawa}, Kobe J. Math. 7, No. 1, 1--7 (1990; Zbl 0719.03022) OpenURL
Forster, Thomas Permutations and stratified formulae - a preservation theorem. (English) Zbl 0717.03019 Z. Math. Logik Grundlagen Math. 36, No. 5, 385-388 (1990). MSC: 03E30 03C62 03E35 03C40 PDF BibTeX XML Cite \textit{T. Forster}, Z. Math. Logik Grundlagen Math. 36, No. 5, 385--388 (1990; Zbl 0717.03019) Full Text: DOI OpenURL
Zhang, Jinwen An \(\omega\)-hierarchy of axiom system ZF. (English) Zbl 0713.03025 Acta Math. Sin., New Ser. 6, No. 2, 189-192 (1990). Reviewer: K.P.Hart MSC: 03E30 03E35 PDF BibTeX XML Cite \textit{J. Zhang}, Acta Math. Sin., New Ser. 6, No. 2, 189--192 (1990; Zbl 0713.03025) Full Text: DOI OpenURL
Pollard, Stephen A strengthening of Scott’s \(ZF^{\neq}\) result. (English) Zbl 0709.03037 Notre Dame J. Formal Logic 31, No. 3, 369-370 (1990). MSC: 03E30 03F25 PDF BibTeX XML Cite \textit{S. Pollard}, Notre Dame J. Formal Logic 31, No. 3, 369--370 (1990; Zbl 0709.03037) Full Text: DOI OpenURL
Lewis, Alain A. On the independence of core-equivalence results from Zermelo-Fraenkel set theory. (English) Zbl 0688.03032 Math. Soc. Sci. 19, No. 1, 55-95 (1990). MSC: 03E35 91A40 91B14 91B50 81P10 PDF BibTeX XML Cite \textit{A. A. Lewis}, Math. Soc. Sci. 19, No. 1, 55--95 (1990; Zbl 0688.03032) Full Text: DOI OpenURL
Kim, Sang Mun The consistency and conservative extension problem for the impredicative extension of VBG: Modifications of ZF equiconsistent with \(ZF^{KM}\). (English) Zbl 0723.03032 An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 35, No. 3, 199-201 (1989). Reviewer: R.J.Taschner (Wien) MSC: 03E70 03E35 03E65 PDF BibTeX XML Cite \textit{S. M. Kim}, An. Științ. Univ. Al. I. Cuza Iași, Ser. Nouă, Mat. 35, No. 3, 199--201 (1989; Zbl 0723.03032) OpenURL
Jackson, Steve AD and the very fine structure of L(\({\mathbb{R}})\). (English) Zbl 0691.03036 Bull. Am. Math. Soc., New Ser. 21, No. 1, 77-81 (1989). MSC: 03E60 03E15 PDF BibTeX XML Cite \textit{S. Jackson}, Bull. Am. Math. Soc., New Ser. 21, No. 1, 77--81 (1989; Zbl 0691.03036) Full Text: DOI OpenURL
Noskov, G. A. Number of generators of crystallographic groups. (English. Russian original) Zbl 0684.20021 Sib. Math. J. 30, No. 2, 284-289 (1989); translation from Sib. Mat. Zh. 30, No. 2(174), 145-150 (1989). MSC: 20F05 20E26 20C07 20G35 PDF BibTeX XML Cite \textit{G. A. Noskov}, Sib. Math. J. 30, No. 2, 284--289 (1989; Zbl 0684.20021); translation from Sib. Mat. Zh. 30, No. 2(174), 145--150 (1989) Full Text: DOI OpenURL
Hinnion, Roland Correction to “Embedding properties and anti-foundation in set theory”. (English) Zbl 0684.03020 Z. Math. Logik Grundlagen Math. 35, No. 6, 574 (1989). MSC: 03E30 03C62 PDF BibTeX XML Cite \textit{R. Hinnion}, Z. Math. Logik Grundlagen Math. 35, No. 6, 574 (1989; Zbl 0684.03020) Full Text: DOI OpenURL
Noskov, G. A. On the number of generators of crystallographic groups. (Russian) Zbl 0677.20022 Sib. Mat. Zh. 30, No. 2(174), 145-150 (1989). Reviewer: V.A.Artamonov MSC: 20F05 20E26 20C07 20G35 PDF BibTeX XML Cite \textit{G. A. Noskov}, Sib. Mat. Zh. 30, No. 2(174), 145--150 (1989; Zbl 0677.20022) Full Text: EuDML OpenURL