An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy (Q4304120): Difference between revisions

← Older edit

@@ Property / DOI @@
-.1002/malq.19930390141
@@ Property / DOI: 10.1002/malq.19930390141 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1002/malq.19930390141
+Normal rank
@@ Property / OpenAlex ID @@
+W2159974547
@@ Property / OpenAlex ID: W2159974547 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3972753
@@ Property / cites work: Q3972753 / rank @@
+Normal rank
@@ Property / DOI @@
+.1002/MALQ.19930390141
@@ Property / DOI: 10.1002/MALQ.19930390141 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Well-Partial Orderings and their Maximal Order Types
+Normal rank
+Similarity Score: 0.83831716Amount 0.83831716
Unit 1
-Amount
+.83831716
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Natural well-orderings
@@ Property / Recommended article: Natural well-orderings / rank @@
+Normal rank
@@ Property / Recommended article: Natural well-orderings / qualifier @@
+Similarity Score: 0.7564322Amount 0.7564322
Unit 1
-Amount
+.7564322
 Unit
@@ Property / Recommended article: Natural well-orderings / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Computable linearizations of well-partial-orderings
+Normal rank
+Similarity Score: 0.7484596Amount 0.7484596
Unit 1
-Amount
+.7484596
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Generalizations of the Kruskal-Friedman theorems
+Normal rank
+Similarity Score: 0.73927385Amount 0.73927385
Unit 1
-Amount
+.73927385
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Well-partial-orderings and the big Veblen number
+Normal rank
+Similarity Score: 0.7348023Amount 0.7348023
Unit 1
-Amount
+.7348023
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4552751
@@ Property / Recommended article: Q4552751 / rank @@
+Normal rank
@@ Property / Recommended article: Q4552751 / qualifier @@
+Similarity Score: 0.73327667Amount 0.73327667
Unit 1
-Amount
+.73327667
 Unit
@@ Property / Recommended article: Q4552751 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Beziehungen des Ordinalzahlensystems OT(ϑ) zur Veblen-Hierarchie
+Normal rank
+Similarity Score: 0.72419846Amount 0.72419846
Unit 1
-Amount
+.72419846
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A theorem on labelled trees and the limits of its provability
+Normal rank
+Similarity Score: 0.72016853Amount 0.72016853
Unit 1
-Amount
+.72016853
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
+Normal rank
+Similarity Score: 0.7122578Amount 0.7122578
Unit 1
-Amount
+.7122578
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3496370
@@ Property / Recommended article: Q3496370 / rank @@
+Normal rank
@@ Property / Recommended article: Q3496370 / qualifier @@
+Similarity Score: 0.7083182Amount 0.7083182
Unit 1
-Amount
+.7083182
 Unit
@@ Property / Recommended article: Q3496370 / qualifier @@
+Recommender Run: Recommender Run 2