Boundedness theorems for dilators and ptykes
From MaRDI portal
Publication:1177037
DOI10.1016/0168-0072(91)90040-SzbMath0735.03020MaRDI QIDQ1177037
Publication date: 25 June 1992
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
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