scientific article; zbMATH DE number 5241977

zbMATH Open1141.03013MaRDI QIDQ5445166FDOQ5445166

Authors Michał Krynicki, Marcin Mostowski, Konrad Zdanowski

Publication date 3 March 2008

zbMATH Keywords

complete setsmodels of arithmeticinterpretationsfinite arithmeticfinite modelstruth definitionsFM-representability

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 796292
• Infinity and Finite Arithmetic
• Finite Arithmetic with Infinite Descent
• scientific article; zbMATH DE number 51381
• scientific article; zbMATH DE number 3861057
• Arithmetic of finite fields
• scientific article; zbMATH DE number 815372

Cited in

(7)

• Finite and infinite numbers
• Theories of initial segments of standard models of arithmetics and their complete extensions
• scientific article; zbMATH DE number 1736027 (Why is no real title available?)
• Finally finite cyclic arithmetic function
• Arithmetic operations on short finite sequences
• scientific article; zbMATH DE number 7577570 (Why is no real title available?)
• Theories of arithmetics in finite models

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)