Matches in SemOpenAlex for { <https://semopenalex.org/work/W1564014701> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1564014701 endingPage "256" @default.
- W1564014701 startingPage "240" @default.
- W1564014701 abstract "In 1969, Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. We know the answer to this question for various subsystems obtained by restricting in different ways the language of arithmetic expressions, yet, up to now we knew nothing of the original system that Tarski considered when he started all this research, namely the theory of integers under sum, product, exponentiation with two constants for zero and one." @default.
- W1564014701 created "2016-06-24" @default.
- W1564014701 creator A5084069631 @default.
- W1564014701 creator A5087991671 @default.
- W1564014701 date "2005-01-01" @default.
- W1564014701 modified "2023-10-01" @default.
- W1564014701 title "The Equational Theory of 〈ℕ, 0, 1, + , ×, ↑〉 Is Decidable, but Not Finitely Axiomatisable" @default.
- W1564014701 cites W10244702 @default.
- W1564014701 cites W1544757976 @default.
- W1564014701 cites W1987877697 @default.
- W1564014701 cites W2003399024 @default.
- W1564014701 cites W2102447479 @default.
- W1564014701 cites W2124764481 @default.
- W1564014701 cites W2151657107 @default.
- W1564014701 cites W2155946751 @default.
- W1564014701 cites W4233228248 @default.
- W1564014701 doi "https://doi.org/10.1007/978-3-540-32275-7_17" @default.
- W1564014701 hasPublicationYear "2005" @default.
- W1564014701 type Work @default.
- W1564014701 sameAs 1564014701 @default.
- W1564014701 citedByCount "4" @default.
- W1564014701 countsByYear W15640147012014 @default.
- W1564014701 countsByYear W15640147012019 @default.
- W1564014701 crossrefType "book-chapter" @default.
- W1564014701 hasAuthorship W1564014701A5084069631 @default.
- W1564014701 hasAuthorship W1564014701A5087991671 @default.
- W1564014701 hasConcept C118615104 @default.
- W1564014701 hasConcept C153269930 @default.
- W1564014701 hasConcept C202444582 @default.
- W1564014701 hasConcept C33923547 @default.
- W1564014701 hasConcept C41008148 @default.
- W1564014701 hasConceptScore W1564014701C118615104 @default.
- W1564014701 hasConceptScore W1564014701C153269930 @default.
- W1564014701 hasConceptScore W1564014701C202444582 @default.
- W1564014701 hasConceptScore W1564014701C33923547 @default.
- W1564014701 hasConceptScore W1564014701C41008148 @default.
- W1564014701 hasLocation W15640147011 @default.
- W1564014701 hasOpenAccess W1564014701 @default.
- W1564014701 hasPrimaryLocation W15640147011 @default.
- W1564014701 hasRelatedWork W1557945163 @default.
- W1564014701 hasRelatedWork W1985218657 @default.
- W1564014701 hasRelatedWork W1989920940 @default.
- W1564014701 hasRelatedWork W2096753949 @default.
- W1564014701 hasRelatedWork W2104190504 @default.
- W1564014701 hasRelatedWork W2963341196 @default.
- W1564014701 hasRelatedWork W2964292522 @default.
- W1564014701 hasRelatedWork W3103780039 @default.
- W1564014701 hasRelatedWork W4200384650 @default.
- W1564014701 hasRelatedWork W4249580765 @default.
- W1564014701 isParatext "false" @default.
- W1564014701 isRetracted "false" @default.
- W1564014701 magId "1564014701" @default.
- W1564014701 workType "book-chapter" @default.