Lower bounds on ()

DOI10.1007/978-3-031-08740-0_6OpenAlexW4285264913MaRDI QIDQ2104252FDOQ2104252

Authors: Merlin Carl 

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_6

zbMATH Keywords

ordinal computabilityinfinite time register machinesgandy ordinals

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• What is the theory ZFC without power set?
• Title not available (Why is that?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Title not available (Why is that?)
• Ordinal computability
• Register computations on ordinals
• Ordinal computability. An introduction to infinitary machines
• Uncountable Gandy Ordinals
• The basic theory of infinite time register machines
• The computational power of infinite time Blum-Shub-Smale machines
• Taming Koepke's zoo. II: Register machines
• The next admissible ordinal

Cited In (2)

• A lower bound for \(|\{a+b: a\in A,\;b\in B,\;P(a,b)\neq 0\}|\)
• A non‐smooth lower bound on ν

This page was built for publication: Lower bounds on \(\beta (\alpha)\)

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