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

Antonio Montalbán

Antonio Montalbán appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.LOmath.COphysics.soc-phPopulations and Evolution

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)

preprint2022arXiv

Herd immunity under individual variation and reinfection

We study a SEIR model considered by Gomes et al. \cite{Gomes2020} and Aguas et al. \cite{Aguas2020} where different individuals are assumed to have different levels of susceptibility or exposure to infection. Under this heterogeneity assumption, epidemic growth is effectively suppressed when the percentage of population having acquired immunity surpasses a critical level - the herd immunity threshold - that is lower than in homogeneous populations. We find explicit formulas to calculate herd immunity thresholds and stable configuration, and explore extensions of the model.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The structural complexity of models of arithmetic

We calculate the possible Scott ranks of countable models of Peano arithmetic. We show that no non-standard model can have Scott rank less than $ω$ and that non-standard models of true arithmetic must have Scott rank greater than $ω$. Other than that there are no restrictions. By giving a reduction via $Δ^{\mathrm{in}}_{1}$ bi-interpretability from the class of linear orderings to the canonical structural $ω$-jump of models of an arbitrary completion $T$ of $\mathrm{PA}$ we show that every countable ordinal $α>ω$ is realized as the Scott rank of a model of $T$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

The determined property of Baire in reverse math

We define the notion of a determined Borel code in reverse math, and consider the principle $DPB$, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than $ATR$. Any $ω$-model of $DPB$ must be closed under hyperarithmetic reduction, but $DPB$ is not a theory of hyperarithmetic analysis. We show that whenever $M\subseteq 2^ω$ is the second-order part of an $ω$-model of $DPB$, then for every $Z \in M$, there is a $G \in M$ such that $G$ is $Δ^1_1$-generic relative to $Z$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

The uniform Martin's conjecture for many-one degrees

We study functions from reals to reals which are uniformly degree-invariant from Turing-equivalence to many-one equivalence, and compare them "on a cone." We prove that they are in one-to-one correspondence with the Wadge degrees, which can be viewed as a refinement of the uniform Martin's conjecture for uniformly invariant functions from Turing- to Turing-equivalence. Our proof works in the general case of many-one degrees on $\mathcal{Q}^ω$ and Wadge degrees of functions $ω^ω\to\mathcal{Q}$ for any better quasi ordering $\mathcal{Q}$.

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
preprint2013arXiv

Analytic equivalence relations satisfying hyperarithmetic-is-recursive

We prove, in ZF+$\bfΣ^1_2$-determinacy, that for any analytic equivalence relation $E$, the following three statements are equivalent: (1) $E$ does not have perfectly many classes, (2) $E$ satisfies hyperarithmetic-is-recursive on a cone, and (3) relative to some oracle, for every equivalence class $[Y]_E$ we have that a real $X$ computes a member of the equivalence class if and only if $\om_1^X\geq\om_1^{[Y]}$. We also show that the implication from (1) to (2) is equivalent to the existence of sharps over $ZF$.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Classes of structures with no intermediate isomorphism problems

We say that a theory $T$ is intermediate under effective reducibility if the isomorphism problems among its computable models is neither hyperarithmetic nor on top under effective reducibility. We prove that if an infinitary sentence $T$ is uniformly effectively dense, a property we define in the paper, then no extension of it is intermediate, at least when relativized to every oracle on a cone. As an application we show that no infinitary sentence whose models are all linear orderings is intermediate under effective reducibility relative to every oracle on a cone.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Computing Maximal Chains

In 1967 Wolk proved that every well partial order (wpo) has a maximal chain; that is a chain of maximal order type. (Note that all chains in a wpo are well-ordered.) We prove that such maximal chain cannot be found computably, not even hyperarithmetically: No hyperarithmetic set can compute maximal chains in all computable wpos. However, we prove that almost every set, in the sense of category, can compute maximal chains in all computable wpos. Wolk's original result actually shows that every wpo has a strongly maximal chain, which we define below. We show that a set computes strongly maximal chains in all computable wpo if and only if it computes all hyperarithmetic sets.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

The Veblen functions for computability theorists

We study the computability-theoretic complexity and proof-theoretic strength of the following statements: (1) "If X is a well-ordering, then so is epsilon_X", and (2) "If X is a well-ordering, then so is phi(alpha,X)", where alpha is a fixed computable ordinal and phi the two-placed Veblen function. For the former statement, we show that omega iterations of the Turing jump are necessary in the proof and that the statement is equivalent to ACA_0^+ over RCA_0. To prove the latter statement we need to use omega^alpha iterations of the Turing jump, and we show that the statement is equivalent to Pi^0_{omega^alpha}-CA_0. Our proofs are purely computability-theoretic. We also give a new proof of a result of Friedman: the statement "if X is a well-ordering, then so is phi(X,0)" is equivalent to ATR_0 over RCA_0.

0 citations0 reviewsNo code linkedOpen access