Parys, Paweł A type system describing unboundedness. (English) Zbl 1462.68109 Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020). MSC: 68Q45 03B40 03D05 68Q17 PDFBibTeX XMLCite \textit{P. Parys}, Discrete Math. Theor. Comput. Sci. 22, No. 4, Paper No. 2, 85 p. (2020; Zbl 1462.68109) Full Text: DOI Link
Jin, Renling Nonstandard methods for upper Banach density problems. (English) Zbl 1071.11503 J. Number Theory 91, No. 1, 20-38 (2001). MSC: 11B05 03H05 11J13 11U10 PDFBibTeX XMLCite \textit{R. Jin}, J. Number Theory 91, No. 1, 20--38 (2001; Zbl 1071.11503) Full Text: DOI Link
Hermann, Miki; Kolaitis, Phokion G. Computational complexity of simultaneous elementary matching problems. (English) Zbl 0936.03014 J. Autom. Reasoning 23, No. 2, 107-136 (1999). MSC: 03B35 68Q17 68T15 PDFBibTeX XMLCite \textit{M. Hermann} and \textit{P. G. Kolaitis}, J. Autom. Reasoning 23, No. 2, 107--136 (1999; Zbl 0936.03014) Full Text: DOI