Infinite systems of linear equations and mathematical logic (Q1348107)
From MaRDI portal
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