The decidability of the \(\forall ^*\exists\) class and the axiom of foundation

DOI10.1305/ndjfl/1054301354zbMath1023.03007OpenAlexW1521819319WikidataQ114007569 ScholiaQ114007569MaRDI QIDQ1409304

Could not fetch data.

Publication date: 13 October 2003

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1054301354

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.