Matches in SemOpenAlex for { <https://semopenalex.org/work/W2050006446> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2050006446 endingPage "553" @default.
- W2050006446 startingPage "523" @default.
- W2050006446 abstract "This paper has arisen from attempts to sharpen Specker's result, which is sharpened in 7.1 and 7.2 (first cf. the definition of H(m; a) in ?7 prior to 7.1). The writer's efforts along these lines led to developments in the theory of numerations (defined in the first paragraph of ?2) of independent interest, and most of this paper is concerned with these developments. The content of this paper may be developed in an axiomatic set theory of the von Neumann-Bernays-Godel kind (cf., e.g., [1]) modified as follows to allow (but not to imply the existence of) elements which are not sets. Each object is either an element or a class. A set is any element which is a class. An atom is an element which is not a class. The usual axioms may be modified in the obvious way to accommodate atoms. We shall assume all the usual axioms so modified except the restrictive axiom and the axiom of choice (cf. ?7). We indicate briefly our use of some terminology and notation. Elements" @default.
- W2050006446 created "2016-06-24" @default.
- W2050006446 creator A5015713449 @default.
- W2050006446 date "1960-01-01" @default.
- W2050006446 modified "2023-10-16" @default.
- W2050006446 title "Some developments in the theory of numerations" @default.
- W2050006446 cites W1132673866 @default.
- W2050006446 cites W1996454832 @default.
- W2050006446 cites W1997237005 @default.
- W2050006446 cites W2043693029 @default.
- W2050006446 cites W2079646873 @default.
- W2050006446 doi "https://doi.org/10.1090/s0002-9947-1960-0123478-9" @default.
- W2050006446 hasPublicationYear "1960" @default.
- W2050006446 type Work @default.
- W2050006446 sameAs 2050006446 @default.
- W2050006446 citedByCount "6" @default.
- W2050006446 crossrefType "journal-article" @default.
- W2050006446 hasAuthorship W2050006446A5015713449 @default.
- W2050006446 hasBestOaLocation W20500064461 @default.
- W2050006446 hasConcept C144237770 @default.
- W2050006446 hasConcept C199343813 @default.
- W2050006446 hasConcept C202444582 @default.
- W2050006446 hasConcept C2777686260 @default.
- W2050006446 hasConcept C33923547 @default.
- W2050006446 hasConcept C71924100 @default.
- W2050006446 hasConceptScore W2050006446C144237770 @default.
- W2050006446 hasConceptScore W2050006446C199343813 @default.
- W2050006446 hasConceptScore W2050006446C202444582 @default.
- W2050006446 hasConceptScore W2050006446C2777686260 @default.
- W2050006446 hasConceptScore W2050006446C33923547 @default.
- W2050006446 hasConceptScore W2050006446C71924100 @default.
- W2050006446 hasIssue "3" @default.
- W2050006446 hasLocation W20500064461 @default.
- W2050006446 hasOpenAccess W2050006446 @default.
- W2050006446 hasPrimaryLocation W20500064461 @default.
- W2050006446 hasRelatedWork W1557945163 @default.
- W2050006446 hasRelatedWork W1912064545 @default.
- W2050006446 hasRelatedWork W1985218657 @default.
- W2050006446 hasRelatedWork W2064847051 @default.
- W2050006446 hasRelatedWork W2096753949 @default.
- W2050006446 hasRelatedWork W2742285599 @default.
- W2050006446 hasRelatedWork W2963341196 @default.
- W2050006446 hasRelatedWork W3099641547 @default.
- W2050006446 hasRelatedWork W3124205579 @default.
- W2050006446 hasRelatedWork W4249580765 @default.
- W2050006446 hasVolume "97" @default.
- W2050006446 isParatext "false" @default.
- W2050006446 isRetracted "false" @default.
- W2050006446 magId "2050006446" @default.
- W2050006446 workType "article" @default.