Matches in SemOpenAlex for { <https://semopenalex.org/work/W78632181> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W78632181 abstract "Abstract We show that every model of IΔ 0 has an end extension to a model of a theory (extending Buss' S 2 0 ) where log-space computable function are formalizable. We also show the existence of an isomorphism between models of IΔ 0 and models of linear arithmetic LA (i.e., second-order Presburger arithmetic with finite comprehension for bounded formulas)." @default.
- W78632181 created "2016-06-24" @default.
- W78632181 creator A5027169167 @default.
- W78632181 date "1995-01-01" @default.
- W78632181 modified "2023-09-28" @default.
- W78632181 title "End extensions of models of linearly bounded arithmetic" @default.
- W78632181 hasPublicationYear "1995" @default.
- W78632181 type Work @default.
- W78632181 sameAs 78632181 @default.
- W78632181 citedByCount "0" @default.
- W78632181 crossrefType "journal-article" @default.
- W78632181 hasAuthorship W78632181A5027169167 @default.
- W78632181 hasConcept C111919701 @default.
- W78632181 hasConcept C115624301 @default.
- W78632181 hasConcept C118615104 @default.
- W78632181 hasConcept C134306372 @default.
- W78632181 hasConcept C136119220 @default.
- W78632181 hasConcept C14036430 @default.
- W78632181 hasConcept C153269930 @default.
- W78632181 hasConcept C185592680 @default.
- W78632181 hasConcept C199360897 @default.
- W78632181 hasConcept C202444582 @default.
- W78632181 hasConcept C203436722 @default.
- W78632181 hasConcept C2778029271 @default.
- W78632181 hasConcept C2778572836 @default.
- W78632181 hasConcept C33923547 @default.
- W78632181 hasConcept C34388435 @default.
- W78632181 hasConcept C41008148 @default.
- W78632181 hasConcept C5852641 @default.
- W78632181 hasConcept C65148605 @default.
- W78632181 hasConcept C78458016 @default.
- W78632181 hasConcept C8010536 @default.
- W78632181 hasConcept C86803240 @default.
- W78632181 hasConcept C94375191 @default.
- W78632181 hasConcept C97489613 @default.
- W78632181 hasConceptScore W78632181C111919701 @default.
- W78632181 hasConceptScore W78632181C115624301 @default.
- W78632181 hasConceptScore W78632181C118615104 @default.
- W78632181 hasConceptScore W78632181C134306372 @default.
- W78632181 hasConceptScore W78632181C136119220 @default.
- W78632181 hasConceptScore W78632181C14036430 @default.
- W78632181 hasConceptScore W78632181C153269930 @default.
- W78632181 hasConceptScore W78632181C185592680 @default.
- W78632181 hasConceptScore W78632181C199360897 @default.
- W78632181 hasConceptScore W78632181C202444582 @default.
- W78632181 hasConceptScore W78632181C203436722 @default.
- W78632181 hasConceptScore W78632181C2778029271 @default.
- W78632181 hasConceptScore W78632181C2778572836 @default.
- W78632181 hasConceptScore W78632181C33923547 @default.
- W78632181 hasConceptScore W78632181C34388435 @default.
- W78632181 hasConceptScore W78632181C41008148 @default.
- W78632181 hasConceptScore W78632181C5852641 @default.
- W78632181 hasConceptScore W78632181C65148605 @default.
- W78632181 hasConceptScore W78632181C78458016 @default.
- W78632181 hasConceptScore W78632181C8010536 @default.
- W78632181 hasConceptScore W78632181C86803240 @default.
- W78632181 hasConceptScore W78632181C94375191 @default.
- W78632181 hasConceptScore W78632181C97489613 @default.
- W78632181 hasLocation W786321811 @default.
- W78632181 hasOpenAccess W78632181 @default.
- W78632181 hasPrimaryLocation W786321811 @default.
- W78632181 hasRelatedWork W1489496002 @default.
- W78632181 hasRelatedWork W1975484720 @default.
- W78632181 hasRelatedWork W1983665017 @default.
- W78632181 hasRelatedWork W1992256491 @default.
- W78632181 hasRelatedWork W1997250390 @default.
- W78632181 hasRelatedWork W2015666295 @default.
- W78632181 hasRelatedWork W2030406276 @default.
- W78632181 hasRelatedWork W2056827464 @default.
- W78632181 hasRelatedWork W2104715607 @default.
- W78632181 hasRelatedWork W2121683501 @default.
- W78632181 hasRelatedWork W2164015489 @default.
- W78632181 hasRelatedWork W2169150716 @default.
- W78632181 hasRelatedWork W2171572930 @default.
- W78632181 hasRelatedWork W2237393932 @default.
- W78632181 hasRelatedWork W2460611553 @default.
- W78632181 hasRelatedWork W2514492620 @default.
- W78632181 hasRelatedWork W2900444034 @default.
- W78632181 hasRelatedWork W3037298425 @default.
- W78632181 hasRelatedWork W64299615 @default.
- W78632181 hasRelatedWork W280074217 @default.
- W78632181 isParatext "false" @default.
- W78632181 isRetracted "false" @default.
- W78632181 magId "78632181" @default.
- W78632181 workType "article" @default.