Your browser does not fully support modern features. Please upgrade for a smoother experience.
Submitted Successfully!
Thank you for your contribution! You can also upload a video entry or images related to this topic. For video creation, please contact our Academic Video Service.
Version Summary Created by Modification Content Size Created at Operation
1 handwiki Vivi Li -- 1879 2022-10-25 01:46:29

Video Upload Options

We provide professional Academic Video Service to translate complex research into visually appealing presentations. Would you like to try it?
No, upload directly Yes
Cite
If you have any further questions, please contact Encyclopedia Editorial Office.
HandWiki. Buchholz's ID Hierarchy. Encyclopedia. Available online: https://encyclopedia.pub/entry/31036 (accessed on 26 September 2026).
HandWiki. Buchholz's ID Hierarchy. Encyclopedia. Available at: https://encyclopedia.pub/entry/31036. Accessed September 26, 2026.
HandWiki. "Buchholz's ID Hierarchy" Encyclopedia, https://encyclopedia.pub/entry/31036 (accessed September 26, 2026).
HandWiki. (2022, October 25). Buchholz's ID Hierarchy. In Encyclopedia. https://encyclopedia.pub/entry/31036
HandWiki. "Buchholz's ID Hierarchy." Encyclopedia. Web. 25 October, 2022.
Buchholz's ID Hierarchy
Edit
The content is sourced from: https://handwiki.org/wiki/Buchholz%27s_ID_hierarchy

In set theory and logic, Buchholz's ID hierarchy is a hierarchy of subsystems of first-order arithmetic. The systems/theories [math]\displaystyle{ ID_\nu }[/math] are referred to as "the formal theories of ν-times iterated inductive definitions". IDν extends PA by ν iterated least fixed points of monotone operators.

set theory logic idν
©Text is available under the terms and conditions of the Creative Commons-Attribution ShareAlike (CC BY-SA) license; additional terms may apply. By using this site, you agree to the Terms and Conditions and Privacy Policy.
Upload a video for this entry
Information
Subjects: Others
Contributor MDPI registered users' name will be linked to their SciProfiles pages. To register with us, please refer to https://encyclopedia.pub/register :
HandWiki
View Times: 607
Entry Collection: HandWiki
Revision: 1 time (View History)
Update Date: 25 Oct 2022
Table of Contents
    Notice
    You are not a member of the advisory board for this topic. If you want to update advisory board member profile, please contact office@encyclopedia.pub.
    OK
    Confirm
    Only members of the Encyclopedia advisory board for this topic are allowed to note entries. Would you like to become an advisory board member of the Encyclopedia?
    Yes
    No
    ${ textCharacter }/${ maxCharacter }
    Submit
    Cancel
    There is no comment~
    ${ textCharacter }/${ maxCharacter }
    Submit
    Cancel
    ${ selectedItem.replyTextCharacter }/${ selectedItem.replyMaxCharacter }
    Submit
    Cancel
    Confirm
    Are you sure to Delete?
    Yes No
    Academic Video Service
    Feedback