Grothendieck ring of the pairing function without cycles
From MaRDI portal
Publication:6355790
DOI10.1215/00294527-2022-0010arXiv2012.06045MaRDI QIDQ6355790
Publication date: 10 December 2020
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)
This page was built for publication: Grothendieck ring of the pairing function without cycles