Strong WQO Tree Theorems (Q3295147)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Strong WQO Tree Theorems	scientific article

Statements

scholarly article

0 references

Strong WQO Tree Theorems (English)

0 references

Trends in Logic

0 references

publication date

8 July 2020

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-30229-0_4

0 references

Termination of rewriting

0 references

0 references

What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory

0 references

Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees

0 references

Generalizations of the one-dimensional version of the Kruskal-Friedman theorems

0 references

Generalizations of the Kruskal-Friedman theorems

0 references

0 references

Ordering by Divisibility in Abstract Algebras

0 references

Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture

0 references

Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture

0 references

Proof theory. An introduction

0 references

0 references

Proof-theoretic investigations on Kruskal's theorem

0 references

Harvey Friedman's research on the foundations of mathematics

0 references

Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-030-30229-0_4

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3295147

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3295147&oldid=36598868"