RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES

From MaRDI portal
Publication:5015731

DOI10.1017/jsl.2021.19OpenAlexW3128130048MaRDI QIDQ5015731

Robert Egrot

Publication date: 9 December 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1907.00202






Cites Work


This page was built for publication: RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES