Related papers: Untranscendable order types
A set is nontypical in the Russell sense, if it belongs to a countable ordinal definable set. The class HNT of all hereditarily nontypical sets satisfies all axioms of ZF and the double inclusion HOD $\subseteq$ HNT $\subseteq$ V holds.…
In order to introduce the notion of causality in noncommutative geometry it is necessary to extend Gelfand theory to the context of ordered spaces. In a previous work we have already given an algebraic caracterization of the set of…
Let $Z_3$ denote $3^{rd}$ order arithmetic. Let Harrington's Principle, HP, denote the statement that there is a real $x$ such that every $x$--admissible ordinal is a cardinal in $L$. In this paper, assuming there exists a remarkable…
Apparently convergent contributions of resummed perturbative series at the next-to-leading order of the 1/N expansion in the O(N) model are reanalyzed in terms of renormalizability. Compared to our earlier article [G. Fejos et al., Phys.…
We use a localisation technique to study orthogonally additive polynomials on Banach lattices. We derive alternative characterisations for orthogonal additivity of polynomials and orthosymmetry of $m$-linear mappings. We prove that an…
We introduce super-analogues of the Schur functors defined by Akin, Buchsbaum and Weyman. These {\em Schur superfunctors} may be viewed as characteristic-free analogues of the finite dimensional atypical irreducible modules over the Lie…
We conduct a computability-theoretic study of Ramsey-like theorems of the form "Every coloring of the edges of an infinite clique admits an infinite sub-clique avoiding some pattern", with a particular focus on transitive patterns. As it…
We found another N=1 odd superanalog of complex structure (the even one is widely used in the theory of super Riemann surfaces). New N=1 superconformal-like transformations are similar to anti-holomorphic ones of nonsupersymmetric complex…
We show that countable increasing unions preserve a large family of well-studied covering properties, which are not necessarily sigma-additive. Using this, together with infinite-combinatorial methods and simple forcing theoretic methods,…
We establish several results regarding dividing and forking in NTP2 theories. We show that dividing is the same as array-dividing. Combining it with existence of strictly invariant sequences we deduce that forking satisfies the chain…
In Part 1, we classify (indecomposable) objects in the perfect derived category $\mathrm{per}\Lambda$ of a graded skew-gentle algebra $\Lambda$, generalizing technique/results of Burban-Drozd and Deng to the graded setting. We also use the…
The Donald-Flanigan conjecture asserts that any group algebra of a finite group has a separable deformation. We apply an inductive method to deform group algebras from deformations of normal subgroup algebras, establishing an infinite…
We give two examples of categorical axioms asserting that a canonically defined natural transformation is invertible where the invertibility of any natural transformation implies that the canonical one is invertible. The first example is…
We give an almost entirely model-theoretic account of both Ramsey classes of finite structures and of generalized indiscernibles as studied in special cases in (for example) [7], [9]. We understand "theories of indiscernibles" to be special…
In this paper, we show that a partitioned formula \phi is dependent if and only if \phi has uniform definability of types over finite partial order indiscernibles. This generalizes our result from a previous paper [1]. We show this by…
We show that (in ZFC) every infinite set S can be equipped with 2^|S| complete metrics which generate mutually non-homeomorphic scattered order topologies on S. Furthermore, we show that (in ZFC) every uncountable set S can be equipped with…
Answering a question by Honsell and Plotkin, we show that there are two equations between lambda terms, the so-called subtractive equations, consistent with lambda calculus but not simultaneously satisfied in any partially ordered model…
In a constructive setting, no concrete formulation of ordinal numbers can simultaneously have all the properties one might be interested in; for example, being able to calculate limits of sequences is constructively incompatible with…
For certain weak versions of the Axiom of Choice (most notably, the Boolean Prime Ideal theorem), we obtain equivalent formulations in terms of partial orders, and filter-like objects within them intersecting certain dense sets or…
We study systems $(V,T,U_1,U_2)$ consisting of a finite dimensional vector space $V$, a nilpotent $k$-linear operator $T:V\to V$ and two $T$-invariant subspaces $U_1\subset U_2\subset V$. Let $\mathcal S(n)$ be the category of such systems…