相关论文: Cardinal invariants above the continuum
The axiomatic foundations of Bentham and Rawls solutions are discussed within the broader domain of cardinal preferences. It is unveiled that both solution concepts share all four of the following axioms: Nonemptiness, Anonymity, Unanimity,…
Consider complex semisimple Lie algebras of a given dimension specified by their structure constants. We describe a finite collection of rational functions in the structure constants that form a complete set of invariants: two sets of…
Quandle 2-cocycles define invariants of classical and virtual knots, and extensions of quandles. We show that the quandle 2-cocycle invariant with respect to a non-trivial $2$-cocycle is constant, or takes some other restricted form, for…
We introduce a generalization of bivariate Griffiths polynomials depending on an additional parameter $\lambda$. These $\lambda$-Griffiths polynomials are bivariate, bispectral and biorthogonal. For two specific values of the parameter…
This paper contributes to the theory of large cardinals beyond the Kunen inconsistency, or choiceless large cardinal axioms, in the context where the Axiom of Choice is not assumed. The first part of the paper investigates a periodicity…
We consider natural cardinal invariants hm_n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I)>=hm_n, then non(I) is provably small. The proofs integrate the determinacy theory,…
``Constants of Nature'' and cosmological parameters may in fact be variables related to some slowly-varying fields. In models of eternal inflation, such fields will take different values in different parts of the universe. Here I show how…
We exhibit a change of variables that maintains the Mahler measure of a given polynomial. This method leads to the construction of highly non-trivial polynomials with given Mahler measure and settles some conjectural numerical formulas due…
Suppose lambda is a singular cardinal of uncountable cofinality kappa. For a model M of cardinality lambda, let No(M) denote the number of isomorphism types of models N of cardinality lambda which are L_{infty lambda}-equivalent to M. In…
Recent developments in the categorical foundations of universal algebra have given fresh impetus to an understanding of the lambda calculus coming from categorical logic: an interpretation is a semi-closed algebraic theory. Scott's…
We will consider a number of new large-cardinal properties, the $\alpha$-tremendous cardinals for each limit ordinal $\alpha>0$, the hyper-tremendous cardinals, the $\alpha$-enormous cardinals for each limit ordinal $\alpha>0$, and the…
We construct Boolean Algebras answering questions of Monk on cardinal invariants. The results are proved in ZFC (rather than giving consistency results). We deal with the existence of superatomic Boolean Algebras with ``few automorphisms'',…
A class K of structures is controlled if, for all cardinals lambda, the relation of L_{infty,lambda}-equivalence partitions K into a set of equivalence classes (as opposed to a proper class). We prove that the class of doubly transitive…
We show that the character spectrum $Sp_\chi(\lambda)$, for a singular cardinal $\lambda$ of countable cofinality, may include any prescribed set of regular cardinals between $\lambda$ and $2^\lambda$.
We demonstrate the equivalence of two classes of $D$-invariant polynomial subspaces introduced in [8] and [9], i.e., these two classes of subspaces are different representations of the breadth-one $D$-invariant subspace. Moreover, we solve…
The lattice of fully invariant subgroups of an abelian $p$--group and the lattice of ideals of its endomorphism ring are classified by systems of cardinal invariants.
Invariants withstand transformations and, therefore, represent the essence of objects or phenomena. In mathematics, transformations often constitute a group action. Since the 19th century, studying the structure of various types of…
We provide a model where u(\kappa) < 2^{\kappa} for a supercompact cardinal \kappa. Garti and Shelah have provided a sketch of how to obtain such a model by modifying the construction in a paper of Dzamonja and Shelah; we provide here a…
We prove that the space of complex irreducible polynomials of degree $d$ in $n$ variables satisfies two forms of homological stability: first, its cohomology stabilizes as $d$ increases, and second, its compactly supported cohomology…
The higher order matching problem is the problem of determining whether a term is an instance of another in the simply typed $\lambda$-calculus, i.e. to solve the equation a = b where a and b are simply typed $\lambda$-terms and b is…