Theories of arithmetics in finite models (Q3370752): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1983665017 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115921923 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5286672 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak Second‐Order Arithmetic and Finite Automata / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Pascal triangles modulo a prime power / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On uniformity within \(NC^ 1\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elementary Methods in Number Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetic of divisibility in finite models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2765574 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Arithmetical definability over finite structures / rank | |||
Normal rank |
Latest revision as of 11:11, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Theories of arithmetics in finite models |
scientific article |
Statements
Theories of arithmetics in finite models (English)
0 references
8 February 2006
0 references
finite models
0 references
arithmetic
0 references
definability
0 references
spectrum
0 references
complexity
0 references
decidability
0 references
sufficiently large models
0 references