The power of primitive positive definitions with polynomially many variables

Victor Lagerkvist, Magnus Wahlstrom

Research output: Contribution to journalArticlepeer-review

24 Downloads (Pure)
Original languageEnglish
Pages (from-to)1465–1488
Number of pages24
JournalJournal of Logic and Computation
Volume27
Issue number5
Early online date17 Mar 2016
DOIs
Publication statusPublished - 1 Jul 2017

Cite this