scientific article; zbMATH DE number 7614167

DOI10.14317/JAMI.2022.883MaRDI QIDQ5046965FDOQ5046965

Authors: Antonino Leonardis, Gianfranco d'Atri, E. Zanardo 

Publication date: 9 November 2022

Title of this publication is not available (Why is that?)

Recommendations

• A direct independence proof of Buchholz's Hydra Game on finite labeled trees
• A game-theoretic proof of Shelah's theorem on labeled trees
• Structure theorems for game trees
• Hydra Games and Tree Ordinals
• Tree Projections: Hypergraph Games and Minimality
• scientific article; zbMATH DE number 3902439
• Classifying phase transition thresholds for Goodstein sequences and hydra games
• Extended Sprague-Grundy theory for locally finite games, and applications to random game-trees
• Extended Sprague–Grundy theory for locally finite games, and applications to random game-trees
• The mutation game, Coxeter-Dynkin graphs, and generalized root systems

zbMATH Keywords

number representationrooted treesunimaginable numbersGoodstein's theoremKnuth's up-arrow notation

Mathematics Subject Classification ID

Trees (05C05) Recursive functions and relations, subrecursive hierarchies (03D20) Connections of number theory and logic (11U99)

Cites Work

• Title not available (Why is that?)
• Paradoxes of the infinite and ontological dilemmas between ancient philosophy and modern mathematical solutions
• Title not available (Why is that?)
• Methodology of Numerical Computations with Infinities and Infinitesimals
• Mathematics and computer science: coping with finiteness
• On the restricted ordinal theorem
• Accessible Independence Results for Peano Arithmetic
• A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods
• Transfinite ordinals in recursive number theory
• Title not available (Why is that?)
• Goodstein's function
• Solving the lexicographic multi-objective mixed-integer linear programming problem using branch-and-bound and grossone methodology
• The sequence of Carboncettus octagons
• Ackermann functions and transfinite ordinals
• On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales
• The Sierpinski curve viewed by numerical computations with infinities and infinitesimals
• A new approach to the \(Z\)-transform through infinite computation
• Infinite numerical computing applied to Hilbert's, Peano's, and Moore's curves
• New approaches to basic calculus: an experimentation via numerical computation
• New algebraic and geometric constructs arising from Fibonacci numbers.
• On the topological convergence of multi-rule sequences of sets and fractal patterns
• On the arithmetic of Knuth's powers and some computational results about their density
• The exact measures of the Sierpiński \(d\)-dimensional tetrahedron in connection with a Diophantine nonlinear system
• Beyond Knuth's notation for unimaginable numbers within computational number theory

Cited In (2)

• A direct independence proof of Buchholz's Hydra Game on finite labeled trees
• Title not available (Why is that?)

This page was built for publication:

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