Matches in SemOpenAlex for { <https://semopenalex.org/work/W2009887247> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2009887247 endingPage "19" @default.
- W2009887247 startingPage "9" @default.
- W2009887247 abstract "Call a set A of ordinals “definable” over a theory T if T is some brand of set theory and whenever A appears in the standard part of a (not necessarily standard) model of T, A is “definable”. Two kinds of “definability” are considered, for each of which is provided a complete (or almost complete) characterization of the hereditarily countable sets of ordinals “definable” over true finitely axiomatizable set theories: (1) there is a single formula ϕ such that in any model of T containing A, A is the unique solution to ϕ ; (2) the defining formula is allowed to vary from model to model. ( Note . The restrictions “finitely axiomatizable”, and “true” are largely for the sake of convenience: such theories provably have lots of models.) There are few allusions to what a model theorist would regard as his subject—the methods coming from recursion theory and set theory; but the treatment is intended to be intelligible to nonspecialists. The referee's criticisms have greatly improved the exposition. I would like to thank Leo Harrington for several discussions, both helpful and hapless, and especially for a clever and timely proof which rescued this project from a moribund state. (Further thanks are due to the Movshon family, as a result of whose New Year's Eve party it became clear that the only really magic formulas are Σ 1 formulas.)" @default.
- W2009887247 created "2016-06-24" @default.
- W2009887247 creator A5018463045 @default.
- W2009887247 date "1980-03-01" @default.
- W2009887247 modified "2023-09-25" @default.
- W2009887247 title "Definability in models of set theory " @default.
- W2009887247 cites W1969555173 @default.
- W2009887247 cites W1970531070 @default.
- W2009887247 cites W2084042609 @default.
- W2009887247 cites W2090053325 @default.
- W2009887247 doi "https://doi.org/10.2307/2273350" @default.
- W2009887247 hasPublicationYear "1980" @default.
- W2009887247 type Work @default.
- W2009887247 sameAs 2009887247 @default.
- W2009887247 citedByCount "0" @default.
- W2009887247 crossrefType "journal-article" @default.
- W2009887247 hasAuthorship W2009887247A5018463045 @default.
- W2009887247 hasConcept C102565666 @default.
- W2009887247 hasConcept C110729354 @default.
- W2009887247 hasConcept C11413529 @default.
- W2009887247 hasConcept C118615104 @default.
- W2009887247 hasConcept C121332964 @default.
- W2009887247 hasConcept C124952713 @default.
- W2009887247 hasConcept C134306372 @default.
- W2009887247 hasConcept C142362112 @default.
- W2009887247 hasConcept C144237770 @default.
- W2009887247 hasConcept C151797676 @default.
- W2009887247 hasConcept C153046414 @default.
- W2009887247 hasConcept C168773036 @default.
- W2009887247 hasConcept C177264268 @default.
- W2009887247 hasConcept C199343813 @default.
- W2009887247 hasConcept C199360897 @default.
- W2009887247 hasConcept C2776285698 @default.
- W2009887247 hasConcept C2777686260 @default.
- W2009887247 hasConcept C2777704519 @default.
- W2009887247 hasConcept C33923547 @default.
- W2009887247 hasConcept C41008148 @default.
- W2009887247 hasConcept C47030870 @default.
- W2009887247 hasConcept C62520636 @default.
- W2009887247 hasConcept C71924100 @default.
- W2009887247 hasConcept C96488702 @default.
- W2009887247 hasConceptScore W2009887247C102565666 @default.
- W2009887247 hasConceptScore W2009887247C110729354 @default.
- W2009887247 hasConceptScore W2009887247C11413529 @default.
- W2009887247 hasConceptScore W2009887247C118615104 @default.
- W2009887247 hasConceptScore W2009887247C121332964 @default.
- W2009887247 hasConceptScore W2009887247C124952713 @default.
- W2009887247 hasConceptScore W2009887247C134306372 @default.
- W2009887247 hasConceptScore W2009887247C142362112 @default.
- W2009887247 hasConceptScore W2009887247C144237770 @default.
- W2009887247 hasConceptScore W2009887247C151797676 @default.
- W2009887247 hasConceptScore W2009887247C153046414 @default.
- W2009887247 hasConceptScore W2009887247C168773036 @default.
- W2009887247 hasConceptScore W2009887247C177264268 @default.
- W2009887247 hasConceptScore W2009887247C199343813 @default.
- W2009887247 hasConceptScore W2009887247C199360897 @default.
- W2009887247 hasConceptScore W2009887247C2776285698 @default.
- W2009887247 hasConceptScore W2009887247C2777686260 @default.
- W2009887247 hasConceptScore W2009887247C2777704519 @default.
- W2009887247 hasConceptScore W2009887247C33923547 @default.
- W2009887247 hasConceptScore W2009887247C41008148 @default.
- W2009887247 hasConceptScore W2009887247C47030870 @default.
- W2009887247 hasConceptScore W2009887247C62520636 @default.
- W2009887247 hasConceptScore W2009887247C71924100 @default.
- W2009887247 hasConceptScore W2009887247C96488702 @default.
- W2009887247 hasIssue "01" @default.
- W2009887247 hasLocation W20098872471 @default.
- W2009887247 hasOpenAccess W2009887247 @default.
- W2009887247 hasPrimaryLocation W20098872471 @default.
- W2009887247 hasRelatedWork W1659717085 @default.
- W2009887247 hasRelatedWork W1838906185 @default.
- W2009887247 hasRelatedWork W1877127512 @default.
- W2009887247 hasRelatedWork W1989586176 @default.
- W2009887247 hasRelatedWork W2009887247 @default.
- W2009887247 hasRelatedWork W2022172691 @default.
- W2009887247 hasRelatedWork W2024769114 @default.
- W2009887247 hasRelatedWork W3088044682 @default.
- W2009887247 hasRelatedWork W3105928773 @default.
- W2009887247 hasRelatedWork W999412286 @default.
- W2009887247 hasVolume "45" @default.
- W2009887247 isParatext "false" @default.
- W2009887247 isRetracted "false" @default.
- W2009887247 magId "2009887247" @default.
- W2009887247 workType "article" @default.