Alonso-Izquierdo, A.; Balseyro Sebastian, A. J.; Gonzalez Leon, M. A.; Mateos Guilarte, J. Kinks in massive non-linear \(\mathbb{S}^1\times\mathbb{S}^1\)-sigma models. (English) Zbl 1511.83055 Physica D 440, Article ID 133444, 15 p. (2022). MSC: 83F05 83D05 54E18 35F20 14M25 70H45 35B35 PDFBibTeX XMLCite \textit{A. Alonso-Izquierdo} et al., Physica D 440, Article ID 133444, 15 p. (2022; Zbl 1511.83055) Full Text: DOI arXiv
Schaefer, Marcus; Štefankovič, Daniel Fixed points, Nash equilibria, and the existential theory of the reals. (English) Zbl 1362.68088 Theory Comput. Syst. 60, No. 2, 172-193 (2017). MSC: 68Q15 03B25 03C07 14P10 54H25 91A10 91A44 PDFBibTeX XMLCite \textit{M. Schaefer} and \textit{D. Štefankovič}, Theory Comput. Syst. 60, No. 2, 172--193 (2017; Zbl 1362.68088) Full Text: DOI
Corichi, Alejandro; Rubalcava-García, Irais; Vukašinac, Tatjana Actions, topological terms and boundaries in first-order gravity: a review. (English) Zbl 1341.83001 Int. J. Mod. Phys. D 25, No. 4, Article ID 1630011, 54 p. (2016). MSC: 83-02 83C05 53Z05 83C80 83E15 54F65 83D05 83C40 PDFBibTeX XMLCite \textit{A. Corichi} et al., Int. J. Mod. Phys. D 25, No. 4, Article ID 1630011, 54 p. (2016; Zbl 1341.83001) Full Text: DOI arXiv
Prykarpatsky, Anatolij A Borsuk-Ulam type generalization of the Leray-Schauder fixed point theorem. (English) Zbl 1199.47222 Mat. Visn. Nauk. Tov. Im. Shevchenka 4, 360-374 (2007). MSC: 47H10 54H25 35F20 47N20 49L99 PDFBibTeX XMLCite \textit{A. Prykarpatsky}, Mat. Visn. Nauk. Tov. Im. Shevchenka 4, 360--374 (2007; Zbl 1199.47222) Full Text: arXiv
Kurilić, Miloš S.; Grulović, Milan Z. \(L_ t\)-Horn sentences and reduced products. (English) Zbl 0860.03034 Publ. Math. Debr. 48, No. 1-2, 175-190 (1996). Reviewer: R.A.Herrmann (Annapolis) MSC: 03C85 54B10 54B15 03C65 PDFBibTeX XMLCite \textit{M. S. Kurilić} and \textit{M. Z. Grulović}, Publ. Math. Debr. 48, No. 1--2, 175--190 (1996; Zbl 0860.03034)
Varzi, Achille C. Reasoning about space: The hole story. (English) Zbl 0983.03008 Log. Log. Philos. 4, 3-39 (1996). MSC: 03B30 54A99 03A05 PDFBibTeX XMLCite \textit{A. C. Varzi}, Log. Log. Philos. 4, 3--39 (1996; Zbl 0983.03008) Full Text: DOI
Mendris, Robert; Zlatoš, Pavol Axiomatization and undecidability results for metrizable betweenness relations. (English) Zbl 0818.03002 Proc. Am. Math. Soc. 123, No. 3, 873-882 (1995). Reviewer: V.V.Pambuccian (Phoenix) MSC: 03B30 03B25 03C52 51G05 54E35 PDFBibTeX XMLCite \textit{R. Mendris} and \textit{P. Zlatoš}, Proc. Am. Math. Soc. 123, No. 3, 873--882 (1995; Zbl 0818.03002) Full Text: DOI
Hu, Wanjun Topological structures on models. (Chinese. English summary) Zbl 0794.03053 J. Beijing Norm. Univ., Nat. Sci. 29, No. 3, 291-295 (1993). MSC: 03C99 54D10 03C45 PDFBibTeX XMLCite \textit{W. Hu}, J. Beijing Norm. Univ., Nat. Sci. 29, No. 3, 291--295 (1993; Zbl 0794.03053)
Newelski, Ludomir Weakly minimal formulas: A global approach. (English) Zbl 0693.03020 Ann. Pure Appl. Logic 46, No. 1, 65-94 (1990). Reviewer: H.-J.Vogel MSC: 03C68 03C45 03C50 03C65 54F45 PDFBibTeX XMLCite \textit{L. Newelski}, Ann. Pure Appl. Logic 46, No. 1, 65--94 (1990; Zbl 0693.03020) Full Text: DOI
Barwise, Jon (ed.) [Barwise, J.; Eklof, P. C.; Macintyre, Angus J.; Morley, M.; Keisler, H. J.; Kunen, K.; Moschovakis, Y. N.; Troelstra, A. S.; Stroyan, K. D.; Makkai, M.; Kock, A.; Reyes, G. E.; Shoenfield, J. R.; Jech, T. J.; Burgess, J. P.; Devlin, K. J.; Rudin, Mary Ellen; Juhász, István; Enderton, H. B.; Davis, M.; Rabin, M. O.; Simpson, S. G.; Shore, R. A.; Kechris, A. S.; Aczel, P.; Martin, D. A.; Smorynski, C.; Schwichtenberg, H.; Statman, R.; Feferman, S.; Fourman, M. P.; Barendregt, H. P.; Paris, J.; Harrington, L.] Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. (English) Zbl 0528.03001 Studies in Logic and the Foundations of Mathematics, Vol. 90. Amsterdam - New York - Oxford: North-Holland Publishing Company. xii, 1166 p. $ 39.00; Dfl. 90.00 (1982). MSC: 03-02 03B10 03B25 03B40 03C20 03C35 03C70 03C75 03D30 03D60 03D65 03D70 03E05 03E20 03E25 03E35 03E45 03E50 03E65 03F30 03F05 03F65 03G30 03H05 54A35 PDFBibTeX XML
De Giorgi, Ennio; Marino, Antonio; Tosques, Mario \((p,q)\)-convex functions. (Italian) Zbl 0521.49011 Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 73, 6-14 (1982). Reviewer: M. Codegone MSC: 49J45 26B25 49J20 35F20 54A20 28A15 PDFBibTeX XMLCite \textit{E. De Giorgi} et al., Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 73, 6--14 (1982; Zbl 0521.49011)
Gurevich, Yuri; Shelah, Saharon Monadic theory of order and topology in ZFC. (English) Zbl 0516.03007 Ann. Math. Logic 23, 179-198 (1982). MSC: 03B25 03C85 03E15 54A05 PDFBibTeX XMLCite \textit{Y. Gurevich} and \textit{S. Shelah}, Ann. Math. Logic 23, 179--198 (1982; Zbl 0516.03007) Full Text: DOI
Bothe, Hans G. A first order characterization of 3-dimensional manifolds. (English) Zbl 0485.57004 Rep., Akad. Wiss. DDR, Inst. Math. R-MATH-03/81, 1-19 (1981). MSC: 57N10 03C65 54E35 PDFBibTeX XML
Gurevich, Yuri Two notes on formalized topology. (English) Zbl 0362.54004 Fundam. Math. 107, 145-148 (1980). MSC: 54A99 03B25 03C99 03D60 PDFBibTeX XMLCite \textit{Y. Gurevich}, Fundam. Math. 107, 145--148 (1980; Zbl 0362.54004) Full Text: DOI EuDML
Barwise, Jon (ed.) [Keisler, H. J.; Kunen, K.; Moschovakis, Y. N.; Troelstra, A. S.; Barwise, J.; Eklof, P. C.; Macintyre, Angus J.; Morley, M.; Stroyan, K. D.; Makkai, M.; Kock, A.; Reyes, G. E.; Shoenfield, J. R.; Jech, T. J.; Burgess, J. P.; Devlin, K. J.; Rudin, Mary Ellen; Juhász, István; Enderton, H. B.; Davis, M.; Rabin, M. O.; Simpson, S. G.; Shore, R. A.; Kechris, A. S.; Aczel, P.; Martin, D. A.; Smorynski, C.; Schwichtenberg, H.; Statman, R.; Feferman, S.; Fourman, M. P.; Barendregt, H. P.; Paris, J.; Harrington, L.] Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. (English) Zbl 0443.03001 Studies in Logic and the Foundations of Mathematics, Vol. 90, Amsterdam, New York, Oxford: North-Holland Publishing Company. XI, 1165 p. $ 85.00; Dfl. 190.00 (1978). MSC: 03-02 03B10 03C20 03C35 03H05 03C70 03C75 03G30 03E65 03E20 03E25 03E05 03E35 03E45 03E50 54A35 03B25 03D30 03D60 03D65 03D70 03F05 03F65 03B40 03F30 PDFBibTeX XML
Janos, Ludvik Topological dimension as a first order property. (English) Zbl 0429.54018 Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 64, 572-577 (1978). MSC: 54F45 03C65 03C99 PDFBibTeX XMLCite \textit{L. Janos}, Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 64, 572--577 (1978; Zbl 0429.54018)
Henson, C. W.; Jockusch, C. G. jun.; Rubel, L. A.; Takeuti, G. First order topology. (English) Zbl 0399.03019 Diss. Math. 143, 40 P. (1977). MSC: 03B99 03B25 54A99 03B10 03B15 46E25 54D35 54E35 54D15 03C75 54H99 PDFBibTeX XML