Diamond Open Access Journals at Cambridge
Cambridge Diamond is a platform to support diamond open access publishing at the University.
This site is maintained and managed by the Open Research Systems Team at Cambridge University Library (CUL).
Cambridge Journal of Climate Research
Cambridge Journal of Human Behaviour
Cambridge Journal of Visual Culture
Scroope
Recent Articles
Asymptotic typicality degrees of properties over finite structures
(2026) Tzouvaras, Athanassios
In previous work we defined and studied a notion of typicality, originated with B. Russell, for properties and objects in the context of general infinite first-order structures. In this paper we consider this notion in the context of finite structures. In particular we define the typicality degree of a property $\varphi(x)$ over finite $L$-structures, for a language $L$, as the limit of the probability of $\varphi(x)$ to be typical in an arbitrary $L$-structure $\mathcal{M}$ of cardinality $n$, when $n$ goes to infinity. This poses the question whether the 0-1 law holds for typicality degrees for certain kinds of languages. One of the results of the paper is that, in contrast to the classical well-known fact that the 0-1 law holds for the sentences of every relational language, the 0-1 law fails for degrees of properties of relational languages containing unary predicates. On the other hand it is shown that the 0-1 law holds for degrees of some basic properties of graphs, and this gives rise to the conjecture that the 0-1 law holds for relational languages without unary predicates. Another theme is the neutrality degree of a property $\varphi(x)$ (i.e., the fraction of $L$-structures in which neither $\varphi$ nor $\lnot\varphi$ is typical), and in particular the regular properties (i.e., those with limit neutrality degree $0$). All properties we dealt with, either of a relational or a functional language, are shown to be regular, but the question whether every such property is regular is open.
Some remarks on tall cardinals, indestructibility, and equiconsistency
(2026) Apter, Arthur W.
The ultimate goal of this note is to establish results pointing to our concluding conjecture that instances of tallness are equiconsistent with certain failures of $\mathsf{GCH}$ at a measurable cardinal. Towards that end, we begin by showing that any tall cardinal can have its tallness made indestructible under Sacks forcing, and that the construction used can be iterated so as to produce a model containing a (possibly proper) class of tall cardinals in which each member of the class has its tallness indestructible under Sacks forcing. We then make precise Hamkins' proof sketch given in Corollary 3.14 of "Tall cardinals" (2009) that the theories $\mathsf{ZFC} + {}$"There is a tall cardinal" and $\mathsf{ZFC} + {}$"There is a strong cardinal" are equiconsistent. We finish by proving two theorems concerning equiconsistency, instances of tallness, and failures of $\mathsf{GCH}$ that provide the basis for our concluding conjecture.
Compactness characterisations of large cardinals with strong Henkin models
(2026) Osinski, Jonathan; Poveda, Alejandro
We consider compactness properties for strong logics in terms of strong Henkin models and give characterisations of supercompact cardinals, $\mathrm{C}^{(n)}$-extendible cardinals, and Vopěnka's Principle by these properties. Moreover, we give a characterisation of superstrong cardinals in terms of compactness properties using the previously considered weak Henkin models.
Contact us at support@repository.cam.ac.uk