scientific article; zbMATH DE number 5241977
From MaRDI portal
Publication:5445166
zbMATH Open1141.03013MaRDI QIDQ5445166FDOQ5445166
Authors: Michał Krynicki, Marcin Mostowski, Konrad Zdanowski
Publication date: 3 March 2008
Title of this publication is not available (Why is that?)
Recommendations
complete setsmodels of arithmeticinterpretationsfinite arithmeticfinite modelstruth definitionsFM-representability
Cited In (7)
- Finite and infinite numbers
- Title not available (Why is that?)
- Finally finite cyclic arithmetic function
- Theories of initial segments of standard models of arithmetics and their complete extensions
- Theories of arithmetics in finite models
- Title not available (Why is that?)
- Arithmetic operations on short finite sequences
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5445166)