Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108448248> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2108448248 abstract "If a structureB is isomorphic to a computable structureA thenA is called a computable presentation of B. We often identify computable and computably presentable structures. If there exists an algorithm that decides the full diagram of a structure A then A is called a decidable structure. Clearly, decidable structures are computable but the opposite is not always true. Each computable structure is countable. Therefore, in this paper we restrict ourselves to countable structures. One of the major themes in computable model theory investigates computable models of theories. Let T be a deductively closed consistent theory. If T is decidable then the Henkin’s construction can be carried out eectively for T . Therefore, a complete theory T has a decidable model if and only if T is decidable. For complete decidable theories T the class of all decidable models of T has been well studied starting in the 70s. See for example the results by Goncharov [GN73] [Gon78], Millar [Mil78] [Mil81], Morley [Mor76], Harrington [Har74], and Peretyatkin [Per78]. These results investigate decidability of specic models of T such as prime models, saturated models, and homogeneous models. Roughly, prime models are the smallest models since they can be embedded into all models of T , and saturated models are the largest models since all (countable) models of T can be embedded into saturated models. Prime and saturated models are unique up to isomorphism, and homogeneous models are characterized by" @default.
- W2108448248 created "2016-06-24" @default.
- W2108448248 creator A5008155376 @default.
- W2108448248 creator A5034299594 @default.
- W2108448248 date "2008-01-01" @default.
- W2108448248 modified "2023-09-27" @default.
- W2108448248 title "A COMPUTABLE @0-CATEGORICAL STRUCTURE WHOSE THEORY COMPUTES TRUE ARITHMETIC" @default.
- W2108448248 cites W1511607758 @default.
- W2108448248 cites W1978521098 @default.
- W2108448248 cites W1980621400 @default.
- W2108448248 cites W1982821787 @default.
- W2108448248 cites W1987148015 @default.
- W2108448248 cites W2055585831 @default.
- W2108448248 cites W2065230732 @default.
- W2108448248 cites W2070346525 @default.
- W2108448248 cites W2071127196 @default.
- W2108448248 cites W2083196185 @default.
- W2108448248 cites W2084068730 @default.
- W2108448248 cites W2086643971 @default.
- W2108448248 cites W2110464795 @default.
- W2108448248 cites W2125305054 @default.
- W2108448248 cites W3187762542 @default.
- W2108448248 cites W888331534 @default.
- W2108448248 hasPublicationYear "2008" @default.
- W2108448248 type Work @default.
- W2108448248 sameAs 2108448248 @default.
- W2108448248 citedByCount "1" @default.
- W2108448248 crossrefType "journal-article" @default.
- W2108448248 hasAuthorship W2108448248A5008155376 @default.
- W2108448248 hasAuthorship W2108448248A5034299594 @default.
- W2108448248 hasConcept C110729354 @default.
- W2108448248 hasConcept C114614502 @default.
- W2108448248 hasConcept C115624301 @default.
- W2108448248 hasConcept C118615104 @default.
- W2108448248 hasConcept C153269930 @default.
- W2108448248 hasConcept C184992742 @default.
- W2108448248 hasConcept C185592680 @default.
- W2108448248 hasConcept C203436722 @default.
- W2108448248 hasConcept C33923547 @default.
- W2108448248 hasConcept C47030870 @default.
- W2108448248 hasConcept C5852641 @default.
- W2108448248 hasConcept C66882249 @default.
- W2108448248 hasConcept C8010536 @default.
- W2108448248 hasConceptScore W2108448248C110729354 @default.
- W2108448248 hasConceptScore W2108448248C114614502 @default.
- W2108448248 hasConceptScore W2108448248C115624301 @default.
- W2108448248 hasConceptScore W2108448248C118615104 @default.
- W2108448248 hasConceptScore W2108448248C153269930 @default.
- W2108448248 hasConceptScore W2108448248C184992742 @default.
- W2108448248 hasConceptScore W2108448248C185592680 @default.
- W2108448248 hasConceptScore W2108448248C203436722 @default.
- W2108448248 hasConceptScore W2108448248C33923547 @default.
- W2108448248 hasConceptScore W2108448248C47030870 @default.
- W2108448248 hasConceptScore W2108448248C5852641 @default.
- W2108448248 hasConceptScore W2108448248C66882249 @default.
- W2108448248 hasConceptScore W2108448248C8010536 @default.
- W2108448248 hasLocation W21084482481 @default.
- W2108448248 hasOpenAccess W2108448248 @default.
- W2108448248 hasPrimaryLocation W21084482481 @default.
- W2108448248 hasRelatedWork W1492946114 @default.
- W2108448248 hasRelatedWork W158678971 @default.
- W2108448248 hasRelatedWork W1653322752 @default.
- W2108448248 hasRelatedWork W181419582 @default.
- W2108448248 hasRelatedWork W1985060429 @default.
- W2108448248 hasRelatedWork W2033003213 @default.
- W2108448248 hasRelatedWork W2106599710 @default.
- W2108448248 hasRelatedWork W2158020605 @default.
- W2108448248 hasRelatedWork W2167890881 @default.
- W2108448248 hasRelatedWork W2321851447 @default.
- W2108448248 hasRelatedWork W2415296035 @default.
- W2108448248 hasRelatedWork W2473383067 @default.
- W2108448248 hasRelatedWork W2578805736 @default.
- W2108448248 hasRelatedWork W2771600437 @default.
- W2108448248 hasRelatedWork W2947474490 @default.
- W2108448248 hasRelatedWork W2964002528 @default.
- W2108448248 hasRelatedWork W3045657301 @default.
- W2108448248 hasRelatedWork W3091923320 @default.
- W2108448248 hasRelatedWork W3209531054 @default.
- W2108448248 hasRelatedWork W2741503428 @default.
- W2108448248 isParatext "false" @default.
- W2108448248 isRetracted "false" @default.
- W2108448248 magId "2108448248" @default.
- W2108448248 workType "article" @default.