Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367672023> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4367672023 endingPage "106403" @default.
- W4367672023 startingPage "106403" @default.
- W4367672023 abstract "There is a remarkable argument for Krull's maximal ideal theorem in the countable case—which is constructive, the essence of which traces back to Krivine, with no choice involved, and requiring minimal logic only. A simple extension to abstract domains is possible: principles of intuitionistic set theory on top of minimal logic suffice to ensure that every countably based bounded complete dcpo has a maximal element. The aforesaid theorem is a ready instance." @default.
- W4367672023 created "2023-05-03" @default.
- W4367672023 creator A5002674094 @default.
- W4367672023 date "2023-08-01" @default.
- W4367672023 modified "2023-09-27" @default.
- W4367672023 title "Maximal elements with minimal logic" @default.
- W4367672023 cites W1525647423 @default.
- W4367672023 cites W1820081687 @default.
- W4367672023 cites W1970510519 @default.
- W4367672023 cites W1977659025 @default.
- W4367672023 cites W1986260727 @default.
- W4367672023 cites W1995714798 @default.
- W4367672023 cites W2028924965 @default.
- W4367672023 cites W2031104901 @default.
- W4367672023 cites W2055514745 @default.
- W4367672023 cites W2060996059 @default.
- W4367672023 cites W2073185604 @default.
- W4367672023 cites W2124870057 @default.
- W4367672023 cites W2147202919 @default.
- W4367672023 cites W2169772316 @default.
- W4367672023 cites W3157536011 @default.
- W4367672023 cites W4285037784 @default.
- W4367672023 cites W4312193194 @default.
- W4367672023 doi "https://doi.org/10.1016/j.ipl.2023.106403" @default.
- W4367672023 hasPublicationYear "2023" @default.
- W4367672023 type Work @default.
- W4367672023 citedByCount "0" @default.
- W4367672023 crossrefType "journal-article" @default.
- W4367672023 hasAuthorship W4367672023A5002674094 @default.
- W4367672023 hasConcept C110729354 @default.
- W4367672023 hasConcept C111472728 @default.
- W4367672023 hasConcept C118615104 @default.
- W4367672023 hasConcept C134306372 @default.
- W4367672023 hasConcept C138885662 @default.
- W4367672023 hasConcept C17744445 @default.
- W4367672023 hasConcept C178421362 @default.
- W4367672023 hasConcept C185592680 @default.
- W4367672023 hasConcept C199360897 @default.
- W4367672023 hasConcept C199539241 @default.
- W4367672023 hasConcept C200288055 @default.
- W4367672023 hasConcept C2776639384 @default.
- W4367672023 hasConcept C2778029271 @default.
- W4367672023 hasConcept C2778701210 @default.
- W4367672023 hasConcept C2780586882 @default.
- W4367672023 hasConcept C33923547 @default.
- W4367672023 hasConcept C34388435 @default.
- W4367672023 hasConcept C41008148 @default.
- W4367672023 hasConcept C55493867 @default.
- W4367672023 hasConcept C69562738 @default.
- W4367672023 hasConcept C98045186 @default.
- W4367672023 hasConcept C98184364 @default.
- W4367672023 hasConceptScore W4367672023C110729354 @default.
- W4367672023 hasConceptScore W4367672023C111472728 @default.
- W4367672023 hasConceptScore W4367672023C118615104 @default.
- W4367672023 hasConceptScore W4367672023C134306372 @default.
- W4367672023 hasConceptScore W4367672023C138885662 @default.
- W4367672023 hasConceptScore W4367672023C17744445 @default.
- W4367672023 hasConceptScore W4367672023C178421362 @default.
- W4367672023 hasConceptScore W4367672023C185592680 @default.
- W4367672023 hasConceptScore W4367672023C199360897 @default.
- W4367672023 hasConceptScore W4367672023C199539241 @default.
- W4367672023 hasConceptScore W4367672023C200288055 @default.
- W4367672023 hasConceptScore W4367672023C2776639384 @default.
- W4367672023 hasConceptScore W4367672023C2778029271 @default.
- W4367672023 hasConceptScore W4367672023C2778701210 @default.
- W4367672023 hasConceptScore W4367672023C2780586882 @default.
- W4367672023 hasConceptScore W4367672023C33923547 @default.
- W4367672023 hasConceptScore W4367672023C34388435 @default.
- W4367672023 hasConceptScore W4367672023C41008148 @default.
- W4367672023 hasConceptScore W4367672023C55493867 @default.
- W4367672023 hasConceptScore W4367672023C69562738 @default.
- W4367672023 hasConceptScore W4367672023C98045186 @default.
- W4367672023 hasConceptScore W4367672023C98184364 @default.
- W4367672023 hasFunder F4320324084 @default.
- W4367672023 hasLocation W43676720231 @default.
- W4367672023 hasOpenAccess W4367672023 @default.
- W4367672023 hasPrimaryLocation W43676720231 @default.
- W4367672023 hasRelatedWork W1916943071 @default.
- W4367672023 hasRelatedWork W1984745836 @default.
- W4367672023 hasRelatedWork W1985684185 @default.
- W4367672023 hasRelatedWork W2045141709 @default.
- W4367672023 hasRelatedWork W2121711034 @default.
- W4367672023 hasRelatedWork W2136017802 @default.
- W4367672023 hasRelatedWork W2963375143 @default.
- W4367672023 hasRelatedWork W3080875783 @default.
- W4367672023 hasRelatedWork W4214582154 @default.
- W4367672023 hasRelatedWork W3100109466 @default.
- W4367672023 hasVolume "182" @default.
- W4367672023 isParatext "false" @default.
- W4367672023 isRetracted "false" @default.
- W4367672023 workType "article" @default.