×

Found 52 Documents (Results 1–52)

The reverse mathematics of wqos and bqos. (English) Zbl 1496.03035

Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 189-219 (2020).
MSC:  03B30 03F35 06A06
PDFBibTeX XMLCite
Full Text: DOI arXiv

Strong WQO tree theorems. (English) Zbl 1481.03064

Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 107-125 (2020).
MSC:  03F15 03F35
PDFBibTeX XMLCite
Full Text: DOI

On ordinal invariants in well quasi orders and finite antichain orders. (English) Zbl 1481.03046

Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer. Trends Log. Stud. Log. Libr. 53, 29-54 (2020).
MSC:  03E10 03E05 06A06
PDFBibTeX XMLCite
Full Text: DOI arXiv

On relating theories: proof-theoretical reduction. (English) Zbl 1469.03160

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, 311-331 (2019).
PDFBibTeX XMLCite
Full Text: DOI Link

Higman’s lemma and its computational content. (English) Zbl 1439.03099

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 353-375 (2016).
MSC:  03F07 03F20 05A05
PDFBibTeX XMLCite
Full Text: DOI

A survey on ordinal notations around the Bachmann-Howard ordinal. (English) Zbl 1439.03100

Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 1-29 (2016).
MSC:  03F15 03D20 03E10
PDFBibTeX XMLCite
Full Text: DOI

Constructive Zermelo-Fraenkel set theory, power set, and the calculus of constructions. (English) Zbl 1312.03038

Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 313-349 (2012).
MSC:  03F50 03E70 03F35
PDFBibTeX XMLCite
Full Text: DOI

A computation of the maximal order type of the term ordering on finite multisets. (English) Zbl 1268.03064

Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 488-498 (2009).
MSC:  03E05 06A06
PDFBibTeX XMLCite
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software