Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386977319> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4386977319 abstract "We answer a question of Pakhomov by showing that there is a consistent, c.e. theory $T$ such that no theory which is definitionally equivalent to $T$ has a computable model. A key tool in our proof is the model-theoretic notion of mutual algebraicity." @default.
- W4386977319 created "2023-09-23" @default.
- W4386977319 creator A5015163256 @default.
- W4386977319 creator A5018319982 @default.
- W4386977319 date "2023-09-20" @default.
- W4386977319 modified "2023-10-18" @default.
- W4386977319 title "A theory satisfying a strong version of Tennenbaum's theorem" @default.
- W4386977319 doi "https://doi.org/10.48550/arxiv.2309.11598" @default.
- W4386977319 hasPublicationYear "2023" @default.
- W4386977319 type Work @default.
- W4386977319 citedByCount "0" @default.
- W4386977319 crossrefType "posted-content" @default.
- W4386977319 hasAuthorship W4386977319A5015163256 @default.
- W4386977319 hasAuthorship W4386977319A5018319982 @default.
- W4386977319 hasBestOaLocation W43869773191 @default.
- W4386977319 hasConcept C118615104 @default.
- W4386977319 hasConcept C144237770 @default.
- W4386977319 hasConcept C199343813 @default.
- W4386977319 hasConcept C26517878 @default.
- W4386977319 hasConcept C2777686260 @default.
- W4386977319 hasConcept C33923547 @default.
- W4386977319 hasConcept C38652104 @default.
- W4386977319 hasConcept C41008148 @default.
- W4386977319 hasConcept C47030870 @default.
- W4386977319 hasConcept C71924100 @default.
- W4386977319 hasConceptScore W4386977319C118615104 @default.
- W4386977319 hasConceptScore W4386977319C144237770 @default.
- W4386977319 hasConceptScore W4386977319C199343813 @default.
- W4386977319 hasConceptScore W4386977319C26517878 @default.
- W4386977319 hasConceptScore W4386977319C2777686260 @default.
- W4386977319 hasConceptScore W4386977319C33923547 @default.
- W4386977319 hasConceptScore W4386977319C38652104 @default.
- W4386977319 hasConceptScore W4386977319C41008148 @default.
- W4386977319 hasConceptScore W4386977319C47030870 @default.
- W4386977319 hasConceptScore W4386977319C71924100 @default.
- W4386977319 hasLocation W43869773191 @default.
- W4386977319 hasOpenAccess W4386977319 @default.
- W4386977319 hasPrimaryLocation W43869773191 @default.
- W4386977319 hasRelatedWork W1794016765 @default.
- W4386977319 hasRelatedWork W2063488590 @default.
- W4386977319 hasRelatedWork W2317919771 @default.
- W4386977319 hasRelatedWork W2329452785 @default.
- W4386977319 hasRelatedWork W2356380379 @default.
- W4386977319 hasRelatedWork W2363925233 @default.
- W4386977319 hasRelatedWork W2366284060 @default.
- W4386977319 hasRelatedWork W2391464953 @default.
- W4386977319 hasRelatedWork W3104631496 @default.
- W4386977319 hasRelatedWork W4230623537 @default.
- W4386977319 isParatext "false" @default.
- W4386977319 isRetracted "false" @default.
- W4386977319 workType "article" @default.