\(\Pi_ 1^ 1\) wellfounded relations
From MaRDI portal
Publication:1903130
DOI10.1305/ndjfl/1040408611zbMath0830.03023OpenAlexW3136635840MaRDI QIDQ1903130
Publication date: 26 November 1995
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040408611
Cites Work