Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520256551> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1520256551 abstract "We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of arithmetic is decidable." @default.
- W1520256551 created "2016-06-24" @default.
- W1520256551 creator A5056375116 @default.
- W1520256551 creator A5057267162 @default.
- W1520256551 date "2006-02-20" @default.
- W1520256551 modified "2023-09-27" @default.
- W1520256551 title "Decidability of the Natural Numbers with the Almost-All Quantifier" @default.
- W1520256551 cites W1592891131 @default.
- W1520256551 cites W1822440022 @default.
- W1520256551 cites W1871045369 @default.
- W1520256551 cites W1985825462 @default.
- W1520256551 cites W2031773420 @default.
- W1520256551 hasPublicationYear "2006" @default.
- W1520256551 type Work @default.
- W1520256551 sameAs 1520256551 @default.
- W1520256551 citedByCount "0" @default.
- W1520256551 crossrefType "posted-content" @default.
- W1520256551 hasAuthorship W1520256551A5056375116 @default.
- W1520256551 hasAuthorship W1520256551A5057267162 @default.
- W1520256551 hasConcept C10138342 @default.
- W1520256551 hasConcept C11413529 @default.
- W1520256551 hasConcept C114614502 @default.
- W1520256551 hasConcept C118615104 @default.
- W1520256551 hasConcept C127413603 @default.
- W1520256551 hasConcept C153269930 @default.
- W1520256551 hasConcept C154945302 @default.
- W1520256551 hasConcept C162324750 @default.
- W1520256551 hasConcept C182306322 @default.
- W1520256551 hasConcept C184264201 @default.
- W1520256551 hasConcept C2776235265 @default.
- W1520256551 hasConcept C2778523021 @default.
- W1520256551 hasConcept C32278780 @default.
- W1520256551 hasConcept C33923547 @default.
- W1520256551 hasConcept C41008148 @default.
- W1520256551 hasConcept C66938386 @default.
- W1520256551 hasConcept C94375191 @default.
- W1520256551 hasConcept C99679407 @default.
- W1520256551 hasConceptScore W1520256551C10138342 @default.
- W1520256551 hasConceptScore W1520256551C11413529 @default.
- W1520256551 hasConceptScore W1520256551C114614502 @default.
- W1520256551 hasConceptScore W1520256551C118615104 @default.
- W1520256551 hasConceptScore W1520256551C127413603 @default.
- W1520256551 hasConceptScore W1520256551C153269930 @default.
- W1520256551 hasConceptScore W1520256551C154945302 @default.
- W1520256551 hasConceptScore W1520256551C162324750 @default.
- W1520256551 hasConceptScore W1520256551C182306322 @default.
- W1520256551 hasConceptScore W1520256551C184264201 @default.
- W1520256551 hasConceptScore W1520256551C2776235265 @default.
- W1520256551 hasConceptScore W1520256551C2778523021 @default.
- W1520256551 hasConceptScore W1520256551C32278780 @default.
- W1520256551 hasConceptScore W1520256551C33923547 @default.
- W1520256551 hasConceptScore W1520256551C41008148 @default.
- W1520256551 hasConceptScore W1520256551C66938386 @default.
- W1520256551 hasConceptScore W1520256551C94375191 @default.
- W1520256551 hasConceptScore W1520256551C99679407 @default.
- W1520256551 hasLocation W15202565511 @default.
- W1520256551 hasOpenAccess W1520256551 @default.
- W1520256551 hasPrimaryLocation W15202565511 @default.
- W1520256551 hasRelatedWork W1161996442 @default.
- W1520256551 hasRelatedWork W1487351738 @default.
- W1520256551 hasRelatedWork W1540595797 @default.
- W1520256551 hasRelatedWork W1543119249 @default.
- W1520256551 hasRelatedWork W1551884619 @default.
- W1520256551 hasRelatedWork W1935924216 @default.
- W1520256551 hasRelatedWork W2019169974 @default.
- W1520256551 hasRelatedWork W2033443348 @default.
- W1520256551 hasRelatedWork W2037751306 @default.
- W1520256551 hasRelatedWork W2053762111 @default.
- W1520256551 hasRelatedWork W2066692146 @default.
- W1520256551 hasRelatedWork W2076326799 @default.
- W1520256551 hasRelatedWork W2077704773 @default.
- W1520256551 hasRelatedWork W2754530097 @default.
- W1520256551 hasRelatedWork W2961332145 @default.
- W1520256551 hasRelatedWork W2986248253 @default.
- W1520256551 hasRelatedWork W3086629457 @default.
- W1520256551 hasRelatedWork W3102787008 @default.
- W1520256551 hasRelatedWork W3144220040 @default.
- W1520256551 hasRelatedWork W66717164 @default.
- W1520256551 isParatext "false" @default.
- W1520256551 isRetracted "false" @default.
- W1520256551 magId "1520256551" @default.
- W1520256551 workType "article" @default.