Infinite systems of linear equations and mathematical logic (Q1348107): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 13:58, 31 January 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Infinite systems of linear equations and mathematical logic |
scientific article |
Statements
Infinite systems of linear equations and mathematical logic (English)
0 references
15 May 2002
0 references
The compactness theorem of a first-order logic is applied to a collection of infinitely many (finitary) homogeneous linear equations. The properties of a non-trivial \(h\)-solution are discussed. This procedure is then illustrated by the problem of the fundamental period of a Fibonacci sequence in a finite \(p\)-group of an exponent \(p\).
0 references
compactness theorem
0 references
Fibonacci sequence
0 references
first-order logic
0 references
first-order language
0 references
finitary homogeneous equations
0 references
