Matches in SemOpenAlex for { <https://semopenalex.org/work/W45321844> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W45321844 endingPage "274" @default.
- W45321844 startingPage "251" @default.
- W45321844 abstract "In this paper we shall investigate fragments of Kripke–Platek set theory with Infinity which arise from the full theory by restricting Foundation to Πn Foundation, where n ≥ 2. The strength of such fragments will be characterized in terms of the smallest ordinal α such that Lα is a model of every Π2 sentence which is provable in the theory." @default.
- W45321844 created "2016-06-24" @default.
- W45321844 creator A5011325191 @default.
- W45321844 date "1993-02-11" @default.
- W45321844 modified "2023-09-25" @default.
- W45321844 title "Fragments of Kripke-Platek set theory with infinity" @default.
- W45321844 cites W1177814939 @default.
- W45321844 cites W2734815139 @default.
- W45321844 cites W3038873949 @default.
- W45321844 cites W40029885 @default.
- W45321844 doi "https://doi.org/10.1017/cbo9780511896262.011" @default.
- W45321844 hasPublicationYear "1993" @default.
- W45321844 type Work @default.
- W45321844 sameAs 45321844 @default.
- W45321844 citedByCount "15" @default.
- W45321844 countsByYear W453218442015 @default.
- W45321844 countsByYear W453218442016 @default.
- W45321844 countsByYear W453218442017 @default.
- W45321844 countsByYear W453218442020 @default.
- W45321844 countsByYear W453218442022 @default.
- W45321844 crossrefType "book-chapter" @default.
- W45321844 hasAuthorship W45321844A5011325191 @default.
- W45321844 hasConcept C134306372 @default.
- W45321844 hasConcept C177264268 @default.
- W45321844 hasConcept C199360897 @default.
- W45321844 hasConcept C202444582 @default.
- W45321844 hasConcept C33923547 @default.
- W45321844 hasConcept C41008148 @default.
- W45321844 hasConcept C7321624 @default.
- W45321844 hasConceptScore W45321844C134306372 @default.
- W45321844 hasConceptScore W45321844C177264268 @default.
- W45321844 hasConceptScore W45321844C199360897 @default.
- W45321844 hasConceptScore W45321844C202444582 @default.
- W45321844 hasConceptScore W45321844C33923547 @default.
- W45321844 hasConceptScore W45321844C41008148 @default.
- W45321844 hasConceptScore W45321844C7321624 @default.
- W45321844 hasLocation W453218441 @default.
- W45321844 hasOpenAccess W45321844 @default.
- W45321844 hasPrimaryLocation W453218441 @default.
- W45321844 hasRelatedWork W2015637480 @default.
- W45321844 hasRelatedWork W2042647247 @default.
- W45321844 hasRelatedWork W2050349771 @default.
- W45321844 hasRelatedWork W2057821759 @default.
- W45321844 hasRelatedWork W2064969015 @default.
- W45321844 hasRelatedWork W2600496572 @default.
- W45321844 hasRelatedWork W2962875760 @default.
- W45321844 hasRelatedWork W2963299114 @default.
- W45321844 hasRelatedWork W4226519444 @default.
- W45321844 hasRelatedWork W4246802113 @default.
- W45321844 isParatext "false" @default.
- W45321844 isRetracted "false" @default.
- W45321844 magId "45321844" @default.
- W45321844 workType "book-chapter" @default.