Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574925081> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1574925081 abstract "We build a model in nominal sets for TST+; typed set theory with typical ambiguity. It is known that this is equivalent to the consistency of Quine's New Foundations. Nominal techniques are used to constrain the size of powersets and thus model typical ambiguity." @default.
- W1574925081 created "2016-06-24" @default.
- W1574925081 creator A5022313675 @default.
- W1574925081 date "2014-06-16" @default.
- W1574925081 modified "2023-10-06" @default.
- W1574925081 title "Consistency of Quine's New Foundations using nominal techniques." @default.
- W1574925081 cites W1493381672 @default.
- W1574925081 cites W1512535792 @default.
- W1574925081 cites W1534018603 @default.
- W1574925081 cites W1589736618 @default.
- W1574925081 cites W1594900487 @default.
- W1574925081 cites W1975082667 @default.
- W1574925081 cites W2003017965 @default.
- W1574925081 cites W2004983508 @default.
- W1574925081 cites W2057292961 @default.
- W1574925081 cites W2060214165 @default.
- W1574925081 cites W2061275016 @default.
- W1574925081 cites W2082549583 @default.
- W1574925081 cites W2097411185 @default.
- W1574925081 cites W2105683431 @default.
- W1574925081 cites W2108640219 @default.
- W1574925081 cites W2108857165 @default.
- W1574925081 cites W2121757274 @default.
- W1574925081 cites W2126723972 @default.
- W1574925081 cites W2127052734 @default.
- W1574925081 cites W2134022633 @default.
- W1574925081 cites W2154273644 @default.
- W1574925081 cites W2161033077 @default.
- W1574925081 cites W2182660693 @default.
- W1574925081 cites W2313175711 @default.
- W1574925081 cites W2319520949 @default.
- W1574925081 cites W2547099725 @default.
- W1574925081 cites W283524483 @default.
- W1574925081 cites W427601738 @default.
- W1574925081 cites W597497677 @default.
- W1574925081 cites W61593882 @default.
- W1574925081 hasPublicationYear "2014" @default.
- W1574925081 type Work @default.
- W1574925081 sameAs 1574925081 @default.
- W1574925081 citedByCount "0" @default.
- W1574925081 crossrefType "posted-content" @default.
- W1574925081 hasAuthorship W1574925081A5022313675 @default.
- W1574925081 hasConcept C111472728 @default.
- W1574925081 hasConcept C138885662 @default.
- W1574925081 hasConcept C144237770 @default.
- W1574925081 hasConcept C154945302 @default.
- W1574925081 hasConcept C177264268 @default.
- W1574925081 hasConcept C199360897 @default.
- W1574925081 hasConcept C2776436953 @default.
- W1574925081 hasConcept C2780522230 @default.
- W1574925081 hasConcept C33923547 @default.
- W1574925081 hasConcept C41008148 @default.
- W1574925081 hasConcept C9270016 @default.
- W1574925081 hasConceptScore W1574925081C111472728 @default.
- W1574925081 hasConceptScore W1574925081C138885662 @default.
- W1574925081 hasConceptScore W1574925081C144237770 @default.
- W1574925081 hasConceptScore W1574925081C154945302 @default.
- W1574925081 hasConceptScore W1574925081C177264268 @default.
- W1574925081 hasConceptScore W1574925081C199360897 @default.
- W1574925081 hasConceptScore W1574925081C2776436953 @default.
- W1574925081 hasConceptScore W1574925081C2780522230 @default.
- W1574925081 hasConceptScore W1574925081C33923547 @default.
- W1574925081 hasConceptScore W1574925081C41008148 @default.
- W1574925081 hasConceptScore W1574925081C9270016 @default.
- W1574925081 hasLocation W15749250811 @default.
- W1574925081 hasOpenAccess W1574925081 @default.
- W1574925081 hasPrimaryLocation W15749250811 @default.
- W1574925081 hasRelatedWork W1505067566 @default.
- W1574925081 hasRelatedWork W1547560990 @default.
- W1574925081 hasRelatedWork W1650349198 @default.
- W1574925081 hasRelatedWork W1772198254 @default.
- W1574925081 hasRelatedWork W186061991 @default.
- W1574925081 hasRelatedWork W2013731033 @default.
- W1574925081 hasRelatedWork W2326151365 @default.
- W1574925081 hasRelatedWork W2349237311 @default.
- W1574925081 hasRelatedWork W2353451922 @default.
- W1574925081 hasRelatedWork W2359653402 @default.
- W1574925081 hasRelatedWork W2371844173 @default.
- W1574925081 hasRelatedWork W2374850938 @default.
- W1574925081 hasRelatedWork W2385039331 @default.
- W1574925081 isParatext "false" @default.
- W1574925081 isRetracted "false" @default.
- W1574925081 magId "1574925081" @default.
- W1574925081 workType "article" @default.