Arithmetic of divisibility in finite models

DOI10.1002/MALQ.200310086zbMATH Open1045.03036OpenAlexW2043392658MaRDI QIDQ4459597FDOQ4459597

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

zbMATH Keywords

undecidabilitydivisibilityfinite modelFM-representabilityIS-interpretability

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35)

Cited In (5)

• Division in the Theory S02+ of Bounded Arithmetic.
• Theories of initial segments of standard models of arithmetics and their complete extensions
• Title not available (Why is that?)
• Theories of arithmetics in finite models
• 2004 Summer Meeting of the Association for Symbolic Logic

This page was built for publication: Arithmetic of divisibility in finite models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4459597)