Matches in SemOpenAlex for { <https://semopenalex.org/work/W1570717913> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1570717913 endingPage "47" @default.
- W1570717913 startingPage "1" @default.
- W1570717913 abstract "The set theory New Foundations or NF introduced by W.V.O. Quine in 1935 is discussed, along with related systems. It is argued that, in spite of the fact that the consistency of NF remains an open question, the relative consistency results for NFU obtained by R. B. Jensen in 1969 demonstrate that Quine's general approach can be used successfully. The development of basic mathematical concepts in a version of NFU is outlined. The interpretation of set theories of the usual type in extensions of NFU is discussed. The problems with NF itself are discussed, and other fragments of NF known to be consistent are briefly introduced. The relative merits of Quine-style and Zermelo-style set theories are considered from a philosophical standpoint. Finally, systems of untyped combinatory logic or $lambda$-calculus related to NF and its fragments are introduced, and their relation to an abstract model of programming is outlined." @default.
- W1570717913 created "2016-06-24" @default.
- W1570717913 creator A5064827242 @default.
- W1570717913 date "1994-01-01" @default.
- W1570717913 modified "2023-09-27" @default.
- W1570717913 title "The set-theoretical program of Quine succeeded, but nobody noticed" @default.
- W1570717913 cites W1998916724 @default.
- W1570717913 cites W2057582788 @default.
- W1570717913 cites W2064445530 @default.
- W1570717913 cites W2125996131 @default.
- W1570717913 cites W2261622378 @default.
- W1570717913 hasPublicationYear "1994" @default.
- W1570717913 type Work @default.
- W1570717913 sameAs 1570717913 @default.
- W1570717913 citedByCount "6" @default.
- W1570717913 countsByYear W15707179132019 @default.
- W1570717913 crossrefType "journal-article" @default.
- W1570717913 hasAuthorship W1570717913A5064827242 @default.
- W1570717913 hasConcept C111472728 @default.
- W1570717913 hasConcept C111919701 @default.
- W1570717913 hasConcept C118615104 @default.
- W1570717913 hasConcept C138885662 @default.
- W1570717913 hasConcept C153046414 @default.
- W1570717913 hasConcept C177264268 @default.
- W1570717913 hasConcept C199343813 @default.
- W1570717913 hasConcept C199360897 @default.
- W1570717913 hasConcept C25343380 @default.
- W1570717913 hasConcept C2776436953 @default.
- W1570717913 hasConcept C2777686260 @default.
- W1570717913 hasConcept C33923547 @default.
- W1570717913 hasConcept C36914074 @default.
- W1570717913 hasConcept C41008148 @default.
- W1570717913 hasConcept C527412718 @default.
- W1570717913 hasConcept C71924100 @default.
- W1570717913 hasConcept C77088390 @default.
- W1570717913 hasConcept C9270016 @default.
- W1570717913 hasConceptScore W1570717913C111472728 @default.
- W1570717913 hasConceptScore W1570717913C111919701 @default.
- W1570717913 hasConceptScore W1570717913C118615104 @default.
- W1570717913 hasConceptScore W1570717913C138885662 @default.
- W1570717913 hasConceptScore W1570717913C153046414 @default.
- W1570717913 hasConceptScore W1570717913C177264268 @default.
- W1570717913 hasConceptScore W1570717913C199343813 @default.
- W1570717913 hasConceptScore W1570717913C199360897 @default.
- W1570717913 hasConceptScore W1570717913C25343380 @default.
- W1570717913 hasConceptScore W1570717913C2776436953 @default.
- W1570717913 hasConceptScore W1570717913C2777686260 @default.
- W1570717913 hasConceptScore W1570717913C33923547 @default.
- W1570717913 hasConceptScore W1570717913C36914074 @default.
- W1570717913 hasConceptScore W1570717913C41008148 @default.
- W1570717913 hasConceptScore W1570717913C527412718 @default.
- W1570717913 hasConceptScore W1570717913C71924100 @default.
- W1570717913 hasConceptScore W1570717913C77088390 @default.
- W1570717913 hasConceptScore W1570717913C9270016 @default.
- W1570717913 hasIssue "1" @default.
- W1570717913 hasLocation W15707179131 @default.
- W1570717913 hasOpenAccess W1570717913 @default.
- W1570717913 hasPrimaryLocation W15707179131 @default.
- W1570717913 hasRelatedWork W1134781054 @default.
- W1570717913 hasRelatedWork W1552390722 @default.
- W1570717913 hasRelatedWork W1633990584 @default.
- W1570717913 hasRelatedWork W1965954905 @default.
- W1570717913 hasRelatedWork W1976151458 @default.
- W1570717913 hasRelatedWork W1977614750 @default.
- W1570717913 hasRelatedWork W2002042760 @default.
- W1570717913 hasRelatedWork W2015050640 @default.
- W1570717913 hasRelatedWork W2033165246 @default.
- W1570717913 hasRelatedWork W2043543955 @default.
- W1570717913 hasRelatedWork W206580132 @default.
- W1570717913 hasRelatedWork W2073962804 @default.
- W1570717913 hasRelatedWork W2120675540 @default.
- W1570717913 hasRelatedWork W2130738500 @default.
- W1570717913 hasRelatedWork W2131525765 @default.
- W1570717913 hasRelatedWork W2319520949 @default.
- W1570717913 hasRelatedWork W2411579717 @default.
- W1570717913 hasRelatedWork W2522641011 @default.
- W1570717913 hasRelatedWork W3084769501 @default.
- W1570717913 hasRelatedWork W1990477483 @default.
- W1570717913 hasVolume "4" @default.
- W1570717913 isParatext "false" @default.
- W1570717913 isRetracted "false" @default.
- W1570717913 magId "1570717913" @default.
- W1570717913 workType "article" @default.