Matches in SemOpenAlex for { <https://semopenalex.org/work/W2048357263> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2048357263 endingPage "120" @default.
- W2048357263 startingPage "109" @default.
- W2048357263 abstract "Introduction . The purpose of this paper is to show how results from the theory of inductive definitions can be used to obtain new compactness theorems for uncountable admissible languages. These will include improvements of the compactness theorem by J. Green [9]. In [2] Barwise studies admissible sets satisfying the Σ 1 -compactness theorem. Our approach is to consider admissible sets satisfying what could be called the abstract extended completeness theorem, that is, sets where the consequence relation of the admissible fragment L A is Σ 1 -definable over A . We will call such sets Σ 1 - complete . For countable admissible sets, Σ 1 -completeness follows from the completeness theorem for L A . Having restricted our attention to Σ 1 -complete sets we are led to a stronger notion also true on countable admissible sets, namely what we shall call uniform Σ 1 - completeness . We will see that this notion can be viewed as extending to uncountable admissible sets, properties related to both the “recursion theory” and “proof theory” of countable admissible sets. By following Barwise's recent approach to admissible sets allowing “urelements,” we show that there is a natural connection between certain structures arising from the theory of inductive definability, and uniformly Σ 1 -complete admissible sets . The structures we have in mind are called uniform Kleene structures ." @default.
- W2048357263 created "2016-06-24" @default.
- W2048357263 creator A5035273296 @default.
- W2048357263 date "1976-03-01" @default.
- W2048357263 modified "2023-09-26" @default.
- W2048357263 title "Uniform inductive definability and infinitary languages" @default.
- W2048357263 cites W1963979545 @default.
- W2048357263 cites W1989284628 @default.
- W2048357263 cites W1996932891 @default.
- W2048357263 doi "https://doi.org/10.1017/s002248120005180x" @default.
- W2048357263 hasPublicationYear "1976" @default.
- W2048357263 type Work @default.
- W2048357263 sameAs 2048357263 @default.
- W2048357263 citedByCount "2" @default.
- W2048357263 crossrefType "journal-article" @default.
- W2048357263 hasAuthorship W2048357263A5035273296 @default.
- W2048357263 hasConcept C110729354 @default.
- W2048357263 hasConcept C11413529 @default.
- W2048357263 hasConcept C118615104 @default.
- W2048357263 hasConcept C134306372 @default.
- W2048357263 hasConcept C142399903 @default.
- W2048357263 hasConcept C168773036 @default.
- W2048357263 hasConcept C171636804 @default.
- W2048357263 hasConcept C17231256 @default.
- W2048357263 hasConcept C18648836 @default.
- W2048357263 hasConcept C194886279 @default.
- W2048357263 hasConcept C200116569 @default.
- W2048357263 hasConcept C202444582 @default.
- W2048357263 hasConcept C33923547 @default.
- W2048357263 hasConcept C45962547 @default.
- W2048357263 hasConcept C89507440 @default.
- W2048357263 hasConceptScore W2048357263C110729354 @default.
- W2048357263 hasConceptScore W2048357263C11413529 @default.
- W2048357263 hasConceptScore W2048357263C118615104 @default.
- W2048357263 hasConceptScore W2048357263C134306372 @default.
- W2048357263 hasConceptScore W2048357263C142399903 @default.
- W2048357263 hasConceptScore W2048357263C168773036 @default.
- W2048357263 hasConceptScore W2048357263C171636804 @default.
- W2048357263 hasConceptScore W2048357263C17231256 @default.
- W2048357263 hasConceptScore W2048357263C18648836 @default.
- W2048357263 hasConceptScore W2048357263C194886279 @default.
- W2048357263 hasConceptScore W2048357263C200116569 @default.
- W2048357263 hasConceptScore W2048357263C202444582 @default.
- W2048357263 hasConceptScore W2048357263C33923547 @default.
- W2048357263 hasConceptScore W2048357263C45962547 @default.
- W2048357263 hasConceptScore W2048357263C89507440 @default.
- W2048357263 hasIssue "1" @default.
- W2048357263 hasLocation W20483572631 @default.
- W2048357263 hasOpenAccess W2048357263 @default.
- W2048357263 hasPrimaryLocation W20483572631 @default.
- W2048357263 hasRelatedWork W125849057 @default.
- W2048357263 hasRelatedWork W2052469854 @default.
- W2048357263 hasRelatedWork W2131524578 @default.
- W2048357263 hasRelatedWork W2360668589 @default.
- W2048357263 hasRelatedWork W2550969341 @default.
- W2048357263 hasRelatedWork W2938315078 @default.
- W2048357263 hasRelatedWork W3006582179 @default.
- W2048357263 hasRelatedWork W3105242402 @default.
- W2048357263 hasRelatedWork W4221156678 @default.
- W2048357263 hasRelatedWork W4256444464 @default.
- W2048357263 hasVolume "41" @default.
- W2048357263 isParatext "false" @default.
- W2048357263 isRetracted "false" @default.
- W2048357263 magId "2048357263" @default.
- W2048357263 workType "article" @default.