Matches in SemOpenAlex for { <https://semopenalex.org/work/W3204346767> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W3204346767 abstract "Equational Boolean Relation Theory concerns the Boolean equations between sets and their forward images under multivariate functions. We study a particular instance of equational BRT involving two multivariate functions on the natural numbers and three infinite sets of natural numbers. We prove this instance from certain large cardinal axioms going far beyond the usual axioms of mathematics as formalized by ZFC. We show that this particular instance cannot be proved in ZFC, even with the addition of slightly weaker large cardinal axioms, assuming the latter are consistent." @default.
- W3204346767 created "2021-10-11" @default.
- W3204346767 creator A5046248935 @default.
- W3204346767 date "2002-09-01" @default.
- W3204346767 modified "2023-09-26" @default.
- W3204346767 title "Equational Boolean Relation Theory" @default.
- W3204346767 cites W1984346100 @default.
- W3204346767 cites W2057797149 @default.
- W3204346767 cites W3182391597 @default.
- W3204346767 hasPublicationYear "2002" @default.
- W3204346767 type Work @default.
- W3204346767 sameAs 3204346767 @default.
- W3204346767 citedByCount "1" @default.
- W3204346767 crossrefType "posted-content" @default.
- W3204346767 hasAuthorship W3204346767A5046248935 @default.
- W3204346767 hasConcept C118615104 @default.
- W3204346767 hasConcept C124101348 @default.
- W3204346767 hasConcept C167729594 @default.
- W3204346767 hasConcept C184264201 @default.
- W3204346767 hasConcept C187455244 @default.
- W3204346767 hasConcept C2524010 @default.
- W3204346767 hasConcept C25343380 @default.
- W3204346767 hasConcept C33923547 @default.
- W3204346767 hasConcept C41008148 @default.
- W3204346767 hasConceptScore W3204346767C118615104 @default.
- W3204346767 hasConceptScore W3204346767C124101348 @default.
- W3204346767 hasConceptScore W3204346767C167729594 @default.
- W3204346767 hasConceptScore W3204346767C184264201 @default.
- W3204346767 hasConceptScore W3204346767C187455244 @default.
- W3204346767 hasConceptScore W3204346767C2524010 @default.
- W3204346767 hasConceptScore W3204346767C25343380 @default.
- W3204346767 hasConceptScore W3204346767C33923547 @default.
- W3204346767 hasConceptScore W3204346767C41008148 @default.
- W3204346767 hasLocation W32043467671 @default.
- W3204346767 hasOpenAccess W3204346767 @default.
- W3204346767 hasPrimaryLocation W32043467671 @default.
- W3204346767 hasRelatedWork W105297334 @default.
- W3204346767 hasRelatedWork W1671801921 @default.
- W3204346767 hasRelatedWork W1707309362 @default.
- W3204346767 hasRelatedWork W2005337919 @default.
- W3204346767 hasRelatedWork W2070357850 @default.
- W3204346767 hasRelatedWork W2089061648 @default.
- W3204346767 hasRelatedWork W2102470096 @default.
- W3204346767 hasRelatedWork W2107848035 @default.
- W3204346767 hasRelatedWork W2273589892 @default.
- W3204346767 hasRelatedWork W244430048 @default.
- W3204346767 hasRelatedWork W2558831533 @default.
- W3204346767 hasRelatedWork W2593641697 @default.
- W3204346767 hasRelatedWork W2949610887 @default.
- W3204346767 hasRelatedWork W2971927321 @default.
- W3204346767 hasRelatedWork W2996782717 @default.
- W3204346767 hasRelatedWork W3099269944 @default.
- W3204346767 hasRelatedWork W3194163377 @default.
- W3204346767 hasRelatedWork W44069527 @default.
- W3204346767 hasRelatedWork W565574218 @default.
- W3204346767 hasRelatedWork W597708701 @default.
- W3204346767 isParatext "false" @default.
- W3204346767 isRetracted "false" @default.
- W3204346767 magId "3204346767" @default.
- W3204346767 workType "article" @default.