BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Cameron Donnay Hill

Cameron Donnay Hill contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LO

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
1topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2013arXiv

On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension

In this paper, we build a dimension theory related to Shelah's 2-rank, dp-rank, and o-minimal dimension. We call this dimension op-dimension. We exhibit the notion of the n-multi-order property, generalizing the order property, and use this to create op-rank, which generalizes 2-rank. From this we build op-dimension. We show that op-dimension bounds dp-rank, that op-dimension is sub-additive, and op-dimension generalizes o-minimal dimension in o-minimal theories.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Generalized Indiscernibles as Model-complete Theories

We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special kinds of companionable theories of finite structures, and much of the work in our arguments is carried in the context of the model-companion. Among other things, this approach allows us to prove that the companion of a theory of indiscernibles whose "base" consists of the quantifier-free formulas is necessarily the theory of the Fraisse limit of a Fraisse class of linearly ordered finite structures (where the linear order will be at least quantifier-free definable). We also provide streamlined arguments for the result of [6] identifying extremely amenable groups with the automorphism groups of limits of Ramsey classes.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On Weak Elimination of Hyperimaginaries and its Consequences

We analyze the notion of weak elimination of hyperimaginaries (WEHI) in simple theories. A key observation in the analysis is a characterization of WEHI in terms of forking dependence -- a condition we dub dependence-witnessed-by-imaginaries (DWIP). Generalizing results of [1] and [3], we show that in a simple theory with WEHI, forking and thorn-forking coincide. We also show that, conversely, the equivalence of independence and thorn-independence is (almost) sufficient for WEHI. Thus, the WEHI and the statement independence = thorn-independence are morally equivalent. As a further application of our technology, we demonstrate stable forking for 1-based theories of finite SU-rank that have WEHI.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The Geometry of L^k-Canonization I: Rosiness from Efficient Constructibility

We demonstrate that for the $k$-variable theory $T$ of a finite structure (satisfying certain amalgamation conditions), if finite models of $T$ can be recovered from diagrams of finite {\em subsets} of model of $T$ in a certain "efficient" way, then $T$ is rosy -- in fact, a certain natural $\aleph_0$-categorical completion $T^{\lim}$ of $T$ is super-rosy of finite $U^\thorn$-rank. In an appendix, we also show that any $k$-variable theory $T$ of a finite structure for which the Strong $L^k$-Canonization Problem is efficient soluble has the necessary amalgamation properties up to taking an appropriate reduct.

0 citations0 reviewsNo code linkedOpen access