Arithmetic of divisibility in finite models
From MaRDI portal
Publication:4459597
DOI10.1002/malq.200310086zbMath1045.03036OpenAlexW2043392658MaRDI QIDQ4459597
Anna E. Wasilewska, Marcin Mostowski
Publication date: 29 March 2004
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310086
Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Model theory of finite structures (03C13)
Related Items
Theories of initial segments of standard models of arithmetics and their complete extensions, 2004 Summer Meeting of the Association for Symbolic Logic, Theories of arithmetics in finite models