Grothendieck ring of the pairing function without cycles
From MaRDI portal
Publication:2153828
DOI10.1215/00294527-2022-0010OpenAlexW4293245739MaRDI QIDQ2153828
Publication date: 13 July 2022
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2012.06045
Axiomatic model classes (08C10) Applications of model theory (03C98) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10)
Cites Work
This page was built for publication: Grothendieck ring of the pairing function without cycles