Matches in SemOpenAlex for { <https://semopenalex.org/work/W3105221300> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W3105221300 abstract "We use model theoretic techniques and games to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of specified countable cardinalities correspond to intersections and unions, respectively." @default.
- W3105221300 created "2020-11-23" @default.
- W3105221300 creator A5000606764 @default.
- W3105221300 date "2019-06-01" @default.
- W3105221300 modified "2023-09-27" @default.
- W3105221300 title "Recursive axiomatizations for representable posets" @default.
- W3105221300 cites W1026721552 @default.
- W3105221300 cites W1991614578 @default.
- W3105221300 cites W2008228064 @default.
- W3105221300 cites W2072087802 @default.
- W3105221300 cites W2093397547 @default.
- W3105221300 cites W2220905346 @default.
- W3105221300 cites W2333748530 @default.
- W3105221300 cites W2528121602 @default.
- W3105221300 cites W2913276123 @default.
- W3105221300 cites W3103937443 @default.
- W3105221300 cites W4229690001 @default.
- W3105221300 cites W4293176479 @default.
- W3105221300 cites W868252825 @default.
- W3105221300 doi "https://doi.org/10.1142/s021819671950022x" @default.
- W3105221300 hasPublicationYear "2019" @default.
- W3105221300 type Work @default.
- W3105221300 sameAs 3105221300 @default.
- W3105221300 citedByCount "1" @default.
- W3105221300 countsByYear W31052213002021 @default.
- W3105221300 crossrefType "journal-article" @default.
- W3105221300 hasAuthorship W3105221300A5000606764 @default.
- W3105221300 hasBestOaLocation W31052213002 @default.
- W3105221300 hasConcept C10138342 @default.
- W3105221300 hasConcept C114614502 @default.
- W3105221300 hasConcept C118615104 @default.
- W3105221300 hasConcept C124101348 @default.
- W3105221300 hasConcept C136119220 @default.
- W3105221300 hasConcept C162324750 @default.
- W3105221300 hasConcept C180645754 @default.
- W3105221300 hasConcept C182306322 @default.
- W3105221300 hasConcept C195800304 @default.
- W3105221300 hasConcept C199360897 @default.
- W3105221300 hasConcept C202444582 @default.
- W3105221300 hasConcept C25343380 @default.
- W3105221300 hasConcept C2780801425 @default.
- W3105221300 hasConcept C33923547 @default.
- W3105221300 hasConcept C41008148 @default.
- W3105221300 hasConceptScore W3105221300C10138342 @default.
- W3105221300 hasConceptScore W3105221300C114614502 @default.
- W3105221300 hasConceptScore W3105221300C118615104 @default.
- W3105221300 hasConceptScore W3105221300C124101348 @default.
- W3105221300 hasConceptScore W3105221300C136119220 @default.
- W3105221300 hasConceptScore W3105221300C162324750 @default.
- W3105221300 hasConceptScore W3105221300C180645754 @default.
- W3105221300 hasConceptScore W3105221300C182306322 @default.
- W3105221300 hasConceptScore W3105221300C195800304 @default.
- W3105221300 hasConceptScore W3105221300C199360897 @default.
- W3105221300 hasConceptScore W3105221300C202444582 @default.
- W3105221300 hasConceptScore W3105221300C25343380 @default.
- W3105221300 hasConceptScore W3105221300C2780801425 @default.
- W3105221300 hasConceptScore W3105221300C33923547 @default.
- W3105221300 hasConceptScore W3105221300C41008148 @default.
- W3105221300 hasLocation W31052213001 @default.
- W3105221300 hasLocation W31052213002 @default.
- W3105221300 hasOpenAccess W3105221300 @default.
- W3105221300 hasPrimaryLocation W31052213001 @default.
- W3105221300 hasRelatedWork W106298841 @default.
- W3105221300 hasRelatedWork W1409918785 @default.
- W3105221300 hasRelatedWork W1492647052 @default.
- W3105221300 hasRelatedWork W159262180 @default.
- W3105221300 hasRelatedWork W160867650 @default.
- W3105221300 hasRelatedWork W1987660018 @default.
- W3105221300 hasRelatedWork W1999817765 @default.
- W3105221300 hasRelatedWork W2426976802 @default.
- W3105221300 hasRelatedWork W2496865676 @default.
- W3105221300 hasRelatedWork W2799391092 @default.
- W3105221300 hasRelatedWork W2887699351 @default.
- W3105221300 hasRelatedWork W2944555146 @default.
- W3105221300 hasRelatedWork W2951952125 @default.
- W3105221300 hasRelatedWork W3105221300 @default.
- W3105221300 hasRelatedWork W564651247 @default.
- W3105221300 hasRelatedWork W580107462 @default.
- W3105221300 hasRelatedWork W589223911 @default.
- W3105221300 hasRelatedWork W613574867 @default.
- W3105221300 hasRelatedWork W962264156 @default.
- W3105221300 hasRelatedWork W2284749098 @default.
- W3105221300 isParatext "false" @default.
- W3105221300 isRetracted "false" @default.
- W3105221300 magId "3105221300" @default.
- W3105221300 workType "article" @default.