Inductive definitions, models of comprehension and invariant definability

DOI10.1007/BF02762011zbMath0379.02014OpenAlexW1994922995MaRDI QIDQ1247418

Krzysztof R. Apt

Publication date: 1978

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02762011

Mathematics Subject Classification ID

Model theory (03C99) Computability and recursion theory (03D99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• Elementary induction on abstract structures
• On nonmonotone inductive definability

This page was built for publication: Inductive definitions, models of comprehension and invariant definability