*k*-Universal Finite Graphs

Simple item page
dc.contributor.authorRosen, Eric
dc.contributor.authorWeinstein, Scott
dc.contributor.authorWeinstein, Scott
dc.date2023-05-16T23:42:00.000
dc.date.accessioned2023-05-22T19:57:22Z
dc.date.available2023-05-22T19:57:22Z
dc.date.issued1996-02-01
dc.date.submitted2006-07-31T08:08:03-07:00
dc.description.abstractThis paper investigates the class of k-universal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The main results of the paper, which are due to Shelah, establish that the class of k-universal graphs is not definable by an infinite disjunction of first-order existential sentences with a finite number of variables and that there exist k-universal graphs with no k-extendible induced subgraphs.
dc.description.commentsUniversity of Pennsylvania Institute for Research in Cognitive Science Technical Report No. IRCS-96-02.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/37511
dc.legacy.articleid1007
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1007&context=ircs_reports&unstamped=1
dc.source.issue10
dc.source.journalIRCS Technical Reports Series
dc.source.statuspublished
dc.title*k*-Universal Finite Graphs
dc.typeReport
digcom.contributor.authorRosen, Eric
digcom.contributor.authorShelah, Saharon
digcom.contributor.authorisAuthorOfPublication|email:weinstein@cis.upenn.edu|institution:University of Pennsylvania|Weinstein, Scott
digcom.identifierircs_reports/10
digcom.identifier.contextkey188286
digcom.identifier.submissionpathircs_reports/10
digcom.typereport
dspace.entity.typePublication
relation.isAuthorOfPublicationbb44d063-7dcd-4648-bbad-4d874af66e56
relation.isAuthorOfPublicationbb44d063-7dcd-4648-bbad-4d874af66e56
relation.isAuthorOfPublication.latestForDiscoverybb44d063-7dcd-4648-bbad-4d874af66e56
upenn.schoolDepartmentCenterIRCS Technical Reports Series
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
96_02.pdf
Size:
236.58 KB
Format:
Adobe Portable Document Format
Download
Collection
Reports