Strong WQO Tree Theorems

DOI10.1007/978-3-030-30229-0_4zbMATH Open1481.03064OpenAlexW2997884605MaRDI QIDQ3295147FDOQ3295147

Authors: L. N. Gordeev 

Publication date: 8 July 2020

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-30229-0_4

Recommendations

• The strong tree property and weak square
• On strong tree-breadth
• Quasi-bounded trees and analytic inductions
• Theory and Applications of Satisfiability Testing
• The tree lattice existence theorems
• The \(q\)-Calkin-Wilf tree
• A tree version of Kőnig's theorem
• Weak sequential theories of finite full binary trees
• scientific article; zbMATH DE number 434499
• scientific article; zbMATH DE number 3269730

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

Cites Work

• Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
• Termination of rewriting
• Proof theory. An introduction
• Ordering by Divisibility in Abstract Algebras
• Harvey Friedman's research on the foundations of mathematics
• Proof-theoretic investigations on Kruskal's theorem
• Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Generalizations of the one-dimensional version of the Kruskal-Friedman theorems
• Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
• Generalizations of the Kruskal-Friedman theorems
• Title not available (Why is that?)
• Title not available (Why is that?)
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
• Investigations of subsystems of second order arithmetic and set theory in strength between \(\Pi^1_1\)-CA and \(\Delta^1_2\)-\(\text{CA}+\text{BI}\). I

Cited In (3)

• Title not available (Why is that?)
• Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture
• Generalizations of the Kruskal-Friedman theorems

This page was built for publication: Strong WQO Tree Theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3295147)