Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079076596> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2079076596 endingPage "51" @default.
- W2079076596 startingPage "41" @default.
- W2079076596 abstract "We generalize two classical results on cylindric algebra to certain expansions of cylindric algebras where the extra operations are defined via first order formulas. The first result is the Neat Embedding Theorem of Henkin and the second is Monk's classical non-finitizability result of the class of representable algebras. As a corollary we obtain known classical results of Johnson and Biro published in the Journal of Symbolic logic." @default.
- W2079076596 created "2016-06-24" @default.
- W2079076596 creator A5023742065 @default.
- W2079076596 creator A5078773945 @default.
- W2079076596 date "2006-08-16" @default.
- W2079076596 modified "2023-09-25" @default.
- W2079076596 title "A Neat Embedding Theorem for Expansions of Cylindric Algebras" @default.
- W2079076596 cites W1544936696 @default.
- W2079076596 cites W1988149857 @default.
- W2079076596 cites W2005985369 @default.
- W2079076596 cites W2053885400 @default.
- W2079076596 cites W2070636184 @default.
- W2079076596 cites W2074105006 @default.
- W2079076596 cites W2094894200 @default.
- W2079076596 cites W2108163838 @default.
- W2079076596 cites W964793347 @default.
- W2079076596 doi "https://doi.org/10.1093/jigpal/jzl032" @default.
- W2079076596 hasPublicationYear "2006" @default.
- W2079076596 type Work @default.
- W2079076596 sameAs 2079076596 @default.
- W2079076596 citedByCount "20" @default.
- W2079076596 countsByYear W20790765962013 @default.
- W2079076596 countsByYear W20790765962014 @default.
- W2079076596 countsByYear W20790765962015 @default.
- W2079076596 countsByYear W20790765962016 @default.
- W2079076596 countsByYear W20790765962022 @default.
- W2079076596 crossrefType "journal-article" @default.
- W2079076596 hasAuthorship W2079076596A5023742065 @default.
- W2079076596 hasAuthorship W2079076596A5078773945 @default.
- W2079076596 hasConcept C10138342 @default.
- W2079076596 hasConcept C136119220 @default.
- W2079076596 hasConcept C154945302 @default.
- W2079076596 hasConcept C162324750 @default.
- W2079076596 hasConcept C182306322 @default.
- W2079076596 hasConcept C202444582 @default.
- W2079076596 hasConcept C2777212361 @default.
- W2079076596 hasConcept C2780012671 @default.
- W2079076596 hasConcept C33923547 @default.
- W2079076596 hasConcept C41008148 @default.
- W2079076596 hasConcept C41608201 @default.
- W2079076596 hasConceptScore W2079076596C10138342 @default.
- W2079076596 hasConceptScore W2079076596C136119220 @default.
- W2079076596 hasConceptScore W2079076596C154945302 @default.
- W2079076596 hasConceptScore W2079076596C162324750 @default.
- W2079076596 hasConceptScore W2079076596C182306322 @default.
- W2079076596 hasConceptScore W2079076596C202444582 @default.
- W2079076596 hasConceptScore W2079076596C2777212361 @default.
- W2079076596 hasConceptScore W2079076596C2780012671 @default.
- W2079076596 hasConceptScore W2079076596C33923547 @default.
- W2079076596 hasConceptScore W2079076596C41008148 @default.
- W2079076596 hasConceptScore W2079076596C41608201 @default.
- W2079076596 hasIssue "1" @default.
- W2079076596 hasLocation W20790765961 @default.
- W2079076596 hasOpenAccess W2079076596 @default.
- W2079076596 hasPrimaryLocation W20790765961 @default.
- W2079076596 hasRelatedWork W2007735529 @default.
- W2079076596 hasRelatedWork W2082455413 @default.
- W2079076596 hasRelatedWork W2150706552 @default.
- W2079076596 hasRelatedWork W2234982114 @default.
- W2079076596 hasRelatedWork W2619363043 @default.
- W2079076596 hasRelatedWork W2766222296 @default.
- W2079076596 hasRelatedWork W3011491025 @default.
- W2079076596 hasRelatedWork W3213865809 @default.
- W2079076596 hasRelatedWork W4226433484 @default.
- W2079076596 hasRelatedWork W4301288030 @default.
- W2079076596 hasVolume "15" @default.
- W2079076596 isParatext "false" @default.
- W2079076596 isRetracted "false" @default.
- W2079076596 magId "2079076596" @default.
- W2079076596 workType "article" @default.