Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382395964> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W4382395964 endingPage "103313" @default.
- W4382395964 startingPage "103313" @default.
- W4382395964 abstract "In this paper, it is shown that the fact that the BPI holds in the Cohen's symmetric model can be used as an equal substitute for the Halpern-Läuchli theorem. Also, some alternatives to the Halpern-Läuchli theorem in the form of absoluteness theorems for a certain class of statements are consequences1 of such consistency results. The article also contains a new proof of the Halpern-Läuchli theorem." @default.
- W4382395964 created "2023-06-29" @default.
- W4382395964 creator A5046314106 @default.
- W4382395964 date "2023-10-01" @default.
- W4382395964 modified "2023-10-16" @default.
- W4382395964 title "Alternatives to the Halpern-Läuchli theorem" @default.
- W4382395964 cites W1975674911 @default.
- W4382395964 cites W2073797527 @default.
- W4382395964 cites W2115456387 @default.
- W4382395964 cites W3040612663 @default.
- W4382395964 cites W4213174560 @default.
- W4382395964 doi "https://doi.org/10.1016/j.apal.2023.103313" @default.
- W4382395964 hasPublicationYear "2023" @default.
- W4382395964 type Work @default.
- W4382395964 citedByCount "0" @default.
- W4382395964 crossrefType "journal-article" @default.
- W4382395964 hasAuthorship W4382395964A5046314106 @default.
- W4382395964 hasConcept C111472728 @default.
- W4382395964 hasConcept C114614502 @default.
- W4382395964 hasConcept C118615104 @default.
- W4382395964 hasConcept C138885662 @default.
- W4382395964 hasConcept C199343813 @default.
- W4382395964 hasConcept C202444582 @default.
- W4382395964 hasConcept C2776436953 @default.
- W4382395964 hasConcept C2777212361 @default.
- W4382395964 hasConcept C2777686260 @default.
- W4382395964 hasConcept C2780102774 @default.
- W4382395964 hasConcept C33923547 @default.
- W4382395964 hasConcept C71924100 @default.
- W4382395964 hasConceptScore W4382395964C111472728 @default.
- W4382395964 hasConceptScore W4382395964C114614502 @default.
- W4382395964 hasConceptScore W4382395964C118615104 @default.
- W4382395964 hasConceptScore W4382395964C138885662 @default.
- W4382395964 hasConceptScore W4382395964C199343813 @default.
- W4382395964 hasConceptScore W4382395964C202444582 @default.
- W4382395964 hasConceptScore W4382395964C2776436953 @default.
- W4382395964 hasConceptScore W4382395964C2777212361 @default.
- W4382395964 hasConceptScore W4382395964C2777686260 @default.
- W4382395964 hasConceptScore W4382395964C2780102774 @default.
- W4382395964 hasConceptScore W4382395964C33923547 @default.
- W4382395964 hasConceptScore W4382395964C71924100 @default.
- W4382395964 hasIssue "9" @default.
- W4382395964 hasLocation W43823959641 @default.
- W4382395964 hasOpenAccess W4382395964 @default.
- W4382395964 hasPrimaryLocation W43823959641 @default.
- W4382395964 hasRelatedWork W1966518060 @default.
- W4382395964 hasRelatedWork W1978042415 @default.
- W4382395964 hasRelatedWork W2007735529 @default.
- W4382395964 hasRelatedWork W2013258735 @default.
- W4382395964 hasRelatedWork W2015043718 @default.
- W4382395964 hasRelatedWork W2017331178 @default.
- W4382395964 hasRelatedWork W2025307771 @default.
- W4382395964 hasRelatedWork W2976797620 @default.
- W4382395964 hasRelatedWork W3086542228 @default.
- W4382395964 hasRelatedWork W3106133691 @default.
- W4382395964 hasVolume "174" @default.
- W4382395964 isParatext "false" @default.
- W4382395964 isRetracted "false" @default.
- W4382395964 workType "article" @default.