×

Found 332 Documents (Results 1–100)

Valuative lattices and spectra. (English) Zbl 1530.13009

Chabert, Jean-Luc (ed.) et al., Algebraic, number theoretic, and topological aspects of ring theory. Selected papers based on the cancelled conference on rings and polynomials, July 2020, and the fourth international meeting on integer-valued polynomials and related topics, CIRM, Luminy, France, July 19–24, 2021. Cham: Springer. 275-341 (2023).
MSC:  13A18 03F65 14C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Between Turing and Kleene. (English) Zbl 07551724

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 281-300 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Betwixt Turing and Kleene. (English) Zbl 07551721

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 236-252 (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Syntax for semantics: Krull’s maximal ideal theorem. (English) Zbl 1490.13001

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 77-102 (2021).
PDFBibTeX XMLCite
Full Text: DOI

The Zambelli attractors of coupled, nonlinear macrodynamic sand knot theory. (English) Zbl 1470.91155

Velupillai, Kumaraswamy (ed.), Keynesian, Sraffian, computable and dynamic economics. Theoretical and simulational (numerical) approaches. Cham: Palgrave Macmillan. 397-417 (2021).
MSC:  91B55 57K10
PDFBibTeX XMLCite
Full Text: DOI

Constructive game logic. (English) Zbl 1508.03065

Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 84-111 (2020).
MSC:  03B70 68N30 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Spectral spaces versus distributive lattices: a dictionary. (English) Zbl 1440.03060

Facchini, Alberto (ed.) et al., Advances in rings, modules and factorizations. Selected papers based on the presentations at the international conference on rings and factorizations, Graz, Austria, February 19–23, 2018. Cham: Springer. Springer Proc. Math. Stat. 321, 223-245 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Dynamics in foundations: what does it mean in the practice of mathematics? (English) Zbl 1528.03062

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 455-494 (2019).
MSC:  03A05 00A30 00A35
PDFBibTeX XMLCite
Full Text: DOI Link

A comparison of type theory with set theory. (English) Zbl 1528.03109

Centrone, Stefania (ed.) et al., Reflections on the foundations of mathematics. Univalent foundations, set theory and general thoughts. Based on the conference on foundations of mathematics: univalent foundations and set theory, FOMUS, Bielefeld, Germany, July 18–23, 2016. Cham: Springer. Synth. Libr. 407, 271-292 (2019).
MSC:  03B38 03E99
PDFBibTeX XMLCite
Full Text: DOI

From mathesis universalis to provability, computability, and constructivity. (English) Zbl 1469.03113

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 203-234 (2019).
PDFBibTeX XMLCite
Full Text: DOI

The monotone completeness theorem in constructive reverse mathematics. (English) Zbl 1469.03172

Centrone, Stefania (ed.) et al., Mathesis universalis, computability and proof. Based on the Humboldt-Kolleg “Proof theory as mathesis universalis”, held at the German-Italian Centre for European Excellence, Villa Vigoni, Loveno di Menaggio, Como, Italy, July 24–28, 2017. Cham: Springer. Synth. Libr. 412, 101-112 (2019).
MSC:  03F65 03F60 03B30
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software