Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023491976> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2023491976 abstract "It is proved that in a suitable intuitionistic, locally classical, version of the theory ZFC deprived of the axiom of infinity, the requirement that every set be finite is equivalent to the assertion that every ordinal is a natural number. Moreover, the theory obtained with the addition of these finiteness assumptions is equivalent to a theory of hereditarily finite sets, developed by Previale in Induction and foundation in the theory of hereditarily finite sets. This solves some problems stated there. The analysis is undertaken using for each of these results a limited fragment of the relevant theory." @default.
- W2023491976 created "2016-06-24" @default.
- W2023491976 creator A5004230450 @default.
- W2023491976 date "2007-10-01" @default.
- W2023491976 modified "2023-09-26" @default.
- W2023491976 title "Finiteness Axioms on Fragments of Intuitionistic Set Theory" @default.
- W2023491976 cites W2006451332 @default.
- W2023491976 doi "https://doi.org/10.1305/ndjfl/1193667705" @default.
- W2023491976 hasPublicationYear "2007" @default.
- W2023491976 type Work @default.
- W2023491976 sameAs 2023491976 @default.
- W2023491976 citedByCount "1" @default.
- W2023491976 countsByYear W20234919762013 @default.
- W2023491976 crossrefType "journal-article" @default.
- W2023491976 hasAuthorship W2023491976A5004230450 @default.
- W2023491976 hasBestOaLocation W20234919761 @default.
- W2023491976 hasConcept C118615104 @default.
- W2023491976 hasConcept C134306372 @default.
- W2023491976 hasConcept C136119220 @default.
- W2023491976 hasConcept C151797676 @default.
- W2023491976 hasConcept C153046414 @default.
- W2023491976 hasConcept C162392398 @default.
- W2023491976 hasConcept C167729594 @default.
- W2023491976 hasConcept C177264268 @default.
- W2023491976 hasConcept C184264201 @default.
- W2023491976 hasConcept C199343813 @default.
- W2023491976 hasConcept C199360897 @default.
- W2023491976 hasConcept C202444582 @default.
- W2023491976 hasConcept C2524010 @default.
- W2023491976 hasConcept C2777686260 @default.
- W2023491976 hasConcept C33923547 @default.
- W2023491976 hasConcept C40422974 @default.
- W2023491976 hasConcept C41008148 @default.
- W2023491976 hasConcept C51460 @default.
- W2023491976 hasConcept C556429856 @default.
- W2023491976 hasConcept C71924100 @default.
- W2023491976 hasConcept C7321624 @default.
- W2023491976 hasConceptScore W2023491976C118615104 @default.
- W2023491976 hasConceptScore W2023491976C134306372 @default.
- W2023491976 hasConceptScore W2023491976C136119220 @default.
- W2023491976 hasConceptScore W2023491976C151797676 @default.
- W2023491976 hasConceptScore W2023491976C153046414 @default.
- W2023491976 hasConceptScore W2023491976C162392398 @default.
- W2023491976 hasConceptScore W2023491976C167729594 @default.
- W2023491976 hasConceptScore W2023491976C177264268 @default.
- W2023491976 hasConceptScore W2023491976C184264201 @default.
- W2023491976 hasConceptScore W2023491976C199343813 @default.
- W2023491976 hasConceptScore W2023491976C199360897 @default.
- W2023491976 hasConceptScore W2023491976C202444582 @default.
- W2023491976 hasConceptScore W2023491976C2524010 @default.
- W2023491976 hasConceptScore W2023491976C2777686260 @default.
- W2023491976 hasConceptScore W2023491976C33923547 @default.
- W2023491976 hasConceptScore W2023491976C40422974 @default.
- W2023491976 hasConceptScore W2023491976C41008148 @default.
- W2023491976 hasConceptScore W2023491976C51460 @default.
- W2023491976 hasConceptScore W2023491976C556429856 @default.
- W2023491976 hasConceptScore W2023491976C71924100 @default.
- W2023491976 hasConceptScore W2023491976C7321624 @default.
- W2023491976 hasIssue "4" @default.
- W2023491976 hasLocation W20234919761 @default.
- W2023491976 hasOpenAccess W2023491976 @default.
- W2023491976 hasPrimaryLocation W20234919761 @default.
- W2023491976 hasRelatedWork W123673716 @default.
- W2023491976 hasRelatedWork W1993159501 @default.
- W2023491976 hasRelatedWork W2023491976 @default.
- W2023491976 hasRelatedWork W2026451758 @default.
- W2023491976 hasRelatedWork W2114912177 @default.
- W2023491976 hasRelatedWork W2139907287 @default.
- W2023491976 hasRelatedWork W2505434214 @default.
- W2023491976 hasRelatedWork W3048792601 @default.
- W2023491976 hasRelatedWork W4244304300 @default.
- W2023491976 hasRelatedWork W4283073961 @default.
- W2023491976 hasVolume "48" @default.
- W2023491976 isParatext "false" @default.
- W2023491976 isRetracted "false" @default.
- W2023491976 magId "2023491976" @default.
- W2023491976 workType "article" @default.