Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Arai, Toshiyasu
2004.
Wellfoundedness proofs by means of non-monotonic inductive definitions I: Π20-operators.
Journal of Symbolic Logic,
Vol. 69,
Issue. 3,
p.
830.
Arai, Toshiyasu
2010.
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators.
Annals of Pure and Applied Logic,
Vol. 162,
Issue. 2,
p.
107.