Boundedness theorems for dilators and ptykes

DOI10.1016/0168-0072(91)90040-SzbMath0735.03020MaRDI QIDQ1177037

Alexander S. Kechris

Publication date: 25 June 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

partial functionboundedness theoreminductive definabilityrecursive dilatortree ptyke

Mathematics Subject Classification ID

Descriptive set theory (03E15) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Inductive definability (03D70)

Related Items

Boundedness theorems for flowers and sharps, Embeddability of ptykes, A strong boundedness theorem for dilators

Cites Work

• A strong boundedness theorem for dilators
• Elementary induction on abstract structures
• Π12-logic, Part 1: Dilators
• Unnamed Item
• Unnamed Item
• Unnamed Item