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

Andrew Brooke-Taylor

Andrew Brooke-Taylor contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.CTmath.CO

Trust snapshot

Quick read

Trust 21 - Emerging
6works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

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

6 published item(s)

preprint2016arXiv

Accessible images revisited

We extend and improve the result of Makkai and Paré that the powerful image of any accessible functor F is accessible, assuming there exists a sufficiently large strongly compact cardinal. We reduce the required large cardinal assumption to the existence of $L_{μ,ω}$-compact cardinals for sufficiently large μ, and also show that under this assumption the λ-pure powerful image of F is accessible. From the first of these statements, we obtain that the tameness of every Abstract Elementary Class follows from a weaker large cardinal assumption than was previously known. We provide two ways of employing the large cardinal assumption to prove each result - one by a direct ultraproduct construction and one using the machinery of elementary embeddings of the set-theoretic universe.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Cichon's Diagram for uncountable cardinals

We develop a version of Cichon&#39;s diagram for cardinal invariants on the generalized Cantor space 2^kappa or the generalized Baire space kappa^kappa where kappa is an uncountable regular cardinal. For strongly inaccessible kappa, many of the ZFC-results about the order relationship of the cardinal invariants which hold for omega generalize; for example we obtain a natural generalization of the Bartoszynski-Raisonnier-Stern Theorem. We also prove a number of independence results, both with <kappa-support iterations and kappa-support iterations and products, showing that we consistently have strict inequality between some of the cardinal invariants.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

An analogy between cardinal characteristics and highness properties of oracles

We present an analogy between cardinal characteristics from set theory and highness properties from computability theory, which specify a sense in which a Turing oracle is computationally strong. While this analogy was first studied explicitly by Rupprecht in his PhD thesis, many prior results can be viewed from this perspective. After a comprehensive survey of the analogy for characteristics from Cichon&#39;s diagram, we extend it to Kurtz randomness and the analogue of the Specker-Eda number.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The infinite random simplicial complex

We study the Fraisse limit of the class of all finite simplicial complexes. Whilst the natural model-theoretic setting for this class uses an infinite language, a range of results associated with Fraisse limits of structures for finite languages carry across to this important example. We introduce the notion of a local class, with the class of finite simplicial complexes as an archetypal example, and in this general context prove the existence of a 0-1 law and other basic model-theoretic results. Constraining to the case where all relations are symmetric, we show that every direct limit of finite groups, and every metrizable profinite group, appears as a subgroup of the automorphism group of the Fraisse limit. Finally, for the specific case of simplicial complexes, we show that the geometric realisation is topologically surprisingly simple: despite the combinatorial complexity of the Fraisse limit, its geometric realisation is homeomorphic to the infinite simplex.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Unprepared Indestructibility

This article is based on the talk of the same name which I gave at the &#34;Aspects of Descriptive Set Theory&#34; RIMS Symposium in Kyoto in October 2011; it is essentially just a survey of my article &#34;Indestructibility of Vopenka&#39;s Principle&#34;. In particular, I present (with a sketch of the proof) a forcing indestructibility theorem for the large cardinal axiom Vopenka&#39;s Principle. It is notable in that there is no preparatory forcing required to make the axiom indestructible, unlike other indestructibility results.

0 citations0 reviewsNo code linkedOpen access