scientific article; zbMATH DE number 4068843

MaRDI QIDQ3801532zbMATH OpenFDO

Authors Alexander Abian

Publication date 1987

zbMATH Keywords

compactnesscompletenessfirst order languagessatisfiabilitysystems of linear equations

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Model-theoretic algebra (03C60)

Recommendations

• On the satisfiability of linear systems of equations for quantifiers
• Remarks on infinite systems of equations
• A compactness theorem for linear equations
• Nikolai Ivanovich Lobachevskii (on the bicentenary of his birth)
• Infinite systems of linear equations and mathematical logic

Cited in

(7)

• Affine systems of equations and counting infinitary logic
• Useful mathematical relationships embedded in Tversky's \textit{elimination by aspects} model.
• Equational fragments of systems for arithmetic.
• On the satisfiability of linear systems of equations for quantifiers
• A compactness theorem for linear equations
• Systems of equations in inductive sets
• Non-solvable spaces of linear equation systems

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 Q3801532)