An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
| (8 intermediate revisions by 7 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1007/s00153-016-0515-6 / rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03B30 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03E10 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F03 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F05 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03F35 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 06A06 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6688538 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
well-partial-orderings | |||
| Property / zbMATH Keywords: well-partial-orderings / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Kruskal's theorem | |||
| Property / zbMATH Keywords: Kruskal's theorem / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Howard-Bachmann number | |||
| Property / zbMATH Keywords: Howard-Bachmann number / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
ordinal notation systems | |||
| Property / zbMATH Keywords: ordinal notation systems / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
natural well-orderings | |||
| Property / zbMATH Keywords: natural well-orderings / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
maximal order type | |||
| Property / zbMATH Keywords: maximal order type / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
collapsing function | |||
| Property / zbMATH Keywords: collapsing function / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
recursively defined trees | |||
| Property / zbMATH Keywords: recursively defined trees / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
tree-embeddabilities | |||
| Property / zbMATH Keywords: tree-embeddabilities / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
proof-theoretical ordinal | |||
| Property / zbMATH Keywords: proof-theoretical ordinal / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
impredicative theory | |||
| Property / zbMATH Keywords: impredicative theory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
independence results | |||
| Property / zbMATH Keywords: independence results / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
minimal bad sequence | |||
| Property / zbMATH Keywords: minimal bad sequence / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: Publication / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2243196114 / rank | |||
Normal rank | |||
| Property / Wikidata QID | |||
| Property / Wikidata QID: Q59890201 / rank | |||
Normal rank | |||
| Property / arXiv ID | |||
| Property / arXiv ID: 1411.4481 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4693774 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4040375 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Reverse mathematics and the equivalence of definitions for well and better quasi-orders / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The theory of well-quasi-ordering: a frequently discovered concept / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3874266 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3773876 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Ordering by Divisibility in Abstract Algebras / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Reverse mathematics and ordinal exponentiation / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Reverse mathematics and rank functions for directed graphs / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Bar induction and \(\omega\) model reflection / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On Fraissé's order type conjecture / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3837736 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Proof theory. An introduction / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Proof theory. The first step into impredicativity / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Proof-theoretic investigations on Kruskal's theorem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Harvey Friedman's research on the foundations of mathematics / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3395521 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Well-partial-orderings and the big Veblen number / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4202962 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Bounds for the closure ordinals of essentially monotonic increasing functions / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1007/S00153-016-0515-6 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 20:53, 9 December 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An order-theoretic characterization of the Howard-Bachmann-hierarchy |
scientific article |
Statements
An order-theoretic characterization of the Howard-Bachmann-hierarchy (English)
0 references
24 February 2017
0 references
well-partial-orderings
0 references
Kruskal's theorem
0 references
Howard-Bachmann number
0 references
ordinal notation systems
0 references
natural well-orderings
0 references
maximal order type
0 references
collapsing function
0 references
recursively defined trees
0 references
tree-embeddabilities
0 references
proof-theoretical ordinal
0 references
impredicative theory
0 references
independence results
0 references
minimal bad sequence
0 references
0 references
0 references
0 references
