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