BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Matthew Harrison-Trainor

Matthew Harrison-Trainor appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOecon.THmath.ACMultiagent Systems

Catalog footprint

What is connected

10works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

10 published item(s)

preprint2020arXiv

An Analysis of Random Elections with Large Numbers of Voters

In an election in which each voter ranks all of the candidates, we consider the head-to-head results between each pair of candidates and form a labeled directed graph, called the margin graph, which contains the margin of victory of each candidate over each of the other candidates. A central issue in developing voting methods is that there can be cycles in this graph, where candidate $\mathsf{A}$ defeats candidate $\mathsf{B}$, $\mathsf{B}$ defeats $\mathsf{C}$, and $\mathsf{C}$ defeats $\mathsf{A}$. In this paper we apply the central limit theorem, graph homology, and linear algebra to analyze how likely such situations are to occur for large numbers of voters. There is a large literature on analyzing the probability of having a majority winner; our analysis is more fine-grained. The result of our analysis is that in elections with the number of voters going to infinity, margin graphs that are more cyclic in a certain precise sense are less likely to occur.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?

When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both pseudo-elementary and $\mathcal{L}_{ω_1 ω}$-elementary? We find that these are exactly the classes that can be defined by an infinitary formula that has no infinitary disjunctions.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Some new computable structures of high rank

We give several new examples of computable structures of high Scott rank. For earlier known computable structures of Scott rank $ω_1^{CK}$, the computable infinitary theory is $\aleph_0$-categorical. Millar and Sacks asked whether this was always the case. We answer this question by constructing an example whose computable infinitary theory has non-isomorphic countable models. The standard known computable structures of Scott rank $ω_1^{CK}+1$ have infinite indiscernible sequences. We give two constructions with no indiscernible ordered triple.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Degrees of categoricity on a cone

We investigate the complexity of isomorphisms of computable structures on cones in the Turing degrees. We show that, on a cone, every structure has a strong degree of categoricity, and that degree of categoricity is $\bf{0^{(α)}}$ for some $α$. To prove this, we extend Montalbán's $η$-system framework to deal with limit ordinals in a more general way. We also show that, for any fixed computable structure, there is an ordinal $α$ and a cone in the Turing degrees such that the exact complexity of computing an isomorphism between the given structure and another copy $\mathcal{B}$ in the cone is a c.e. degree in $Δ^0_α(\mathcal{B})$. In each of our theorems the cone in question is clearly described in the beginning of the proof, so it is easy to see how the theorems can be viewed as general theorems with certain effectiveness conditions.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Independence in computable algebra

We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply the condition to differentially closed, real closed, and difference closed fields with the relevant notions of independence. To cover these classes of structures we introduce a new technique of safe extensions that was not necessary for the previously known results of this kind. We will then apply our techniques to derive new corollaries on the number of computable presentations of these structures. The condition also implies classical and new results on vector spaces, algebraically closed fields, torsion-free abelian groups and Archimedean ordered abelian groups.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Scott ranks of models of a theory

The Scott rank of a countable structure is a measure, coming from the proof of Scott's isomorphism theorem, of the complexity of that structure. The Scott spectrum of a theory (by which we mean a sentence of $\mathcal{L}_{ω_1 ω}$) is the set of Scott ranks of countable models of that theory. In $ZFC + PD$ we give a descriptive-set-theoretic classification of the sets of ordinals which are the Scott spectrum of a theory: they are particular $\boldsymbolΣ^1_1$ classes of ordinals. Our investigation of Scott spectra leads to the resolution (in $ZFC$) of a number of open problems about Scott ranks. We answer a question of Montalbán by showing, for each $α< ω_1$, that there is a $Π^{\mathtt{in}}_2$ theory with no models of Scott rank less than $α$. We also answer a question of Knight and Calvert by showing that there are computable models of high Scott rank which are not computably approximable by models of low Scott rank. Finally, we answer a question of Sacks and Marker by showing that $δ^1_2$ is the least ordinal $α$ such that if the models of a computable theory $T$ have Scott rank bounded below $ω_1$, then their Scott ranks are bounded below $α$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Degree Spectra of Relations on a Cone

Let $\mathcal{A}$ be a mathematical structure with an additional relation $R$. We are interested in the degree spectrum of $R$, either among computable copies of $\mathcal{A}$ when $(\mathcal{A},R)$ is a "natural" structure, or (to make this rigorous) among copies of $(\mathcal{A},R)$ computable in a large degree \textbf{d}. We introduce the partial order of degree spectra \textit{on a cone} and begin the study of these objects. Using a result of Harizanov---that, assuming an effectiveness condition on $\mathcal{A}$ and $R$, if $R$ is not intrinsically computable, then its degree spectrum contains all c.e.\ degrees---we see that there is a minimal non-trivial degree spectrum on a cone, consisting of the c.e.\ degrees. We show that this does not generalize to d.c.e.\ degrees by giving an example of two incomparable degree spectra on a cone. We also give a partial answer to a question of Ash and Knight: they asked whether (subject to some effectiveness conditions) a relation which is not intrinsically $Δ^0_α$ must have a degree spectrum which contains all of the $α$-CEA degrees. We give a positive answer to this question for $α= 2$ by showing that any degree spectrum on a cone which strictly contains the $Δ^0_2$ degrees must contain all of the 2-CEA degrees. We also investigate the particular case of degree spectra on the structure $(ω,<)$. This work represents the beginning of an investigation of the degree spectra of "natural" structures, and we leave many open questions to be answered.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Differential-algebraic jet spaces preserve internality to the constants

This paper concerns the model theory of jet spaces (i.e., higher-order tangent spaces) in differentially closed fields. Suppose p is the generic type of the jet space to a finite dimensional differential-algebraic variety at a generic point. It is shown that p satisfies a certain strengthening of almost internality to the constant field called "preserving internality to the constants". This strengthening is a model-theoretic abstraction of the generic behaviour of jet spaces in complex-analytic geometry. A counterexample is constructed showing that only this generic analogue holds in differential-algebraic geometry.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Nonstandard methods for bounds in differential polynomial rings

Motivated by the problem of the existence of bounds on degrees and orders in checking primality of radical (partial) differential ideals, the nonstandard methods of van den Dries and Schmidt ["Bounds in the theory of polynomial rings over fields. A nonstandard approach.", Inventionnes Mathematicae, 76:77--91, 1984] are here extended to differential polynomial rings over differential fields. Among the standard consequences of this work are: a partial answer to the primality problem, the equivalence of this problem with several others related to the Ritt problem, and the existence of bounds for characteristic sets of minimal prime differential ideals and for the differential Nullstellensatz.

0 citations0 reviewsNo code linkedOpen access