Related papers: Towards computable analysis on the generalised rea…
We prove that if there are $\mathfrak c$ incomparable selective ultrafilters then, for every infinite cardinal $\kappa$ such that $\kappa^\omega=\kappa$, there exists a group topology on the free Abelian group of cardinality $\kappa$…
This article is devoted to two different generalizations of projective Boolean algebras: openly generated Boolean algebras and tightly sigma-filtered Boolean algebras. We show that for every uncountable regular cardinal kappa there are…
A simplified construction is presented for Komj\'ath's result that for every uncountable cardinal $\kappa$, there are $2^\kappa$ graphs of size $\kappa$ none of them being a minor of another.
In this paper we first formulate several ``combinatorial principles'' concerning kappa \times omega matrices of subsets of omega and prove that they are valid in the generic extension obtained by adding any number of Cohen reals to any…
In this note, we prove that for every ordinary genus-2 curve $X$ over a finite field $\kappa$ of characteristic 2 with $\text{Aut}(X/\kappa)=\db{Z}/2\db{Z} \times S_3$, there exist $\text{SL}(2,\kappa\sembrack{s})$-representations of…
We study the Borel reducibility of isomorphism relations in the generalized Baire space $\kappa^\kappa$. In the main result we show for inaccessible $\kappa$, that if $T$ is a classifiable theory and $T'$ is stable with OCP, then the…
The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M…
For finite semidistributive lattices the map $\kappa$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements. Here we study the $\kappa$-map in the context of torsion classes. It…
An inaccessible cardinal kappa is supercompact when (kappa, lambda)-ITP holds for all lambda greater than or equal to kappa. We prove that if there is a model of ZFC with infinitely many supercompact cardinals, then there is a model of ZFC…
For a regular uncountable cardinal kappa, we discuss the order relationship between the unbounding and dominating numbers on kappa and cardinal invariants of the higher meager ideal M_kappa. In particular, we obtain a complete…
The deformations of the Galilei algebra and their associated noncommutative Newtonian spacetimes are investigated. This is done by analyzing the possible nonrelativistic limits of an eleven generator (pseudo)extended \kap-Poincar\'e algebra…
We give an exposition of Natural Topology (NToP), which highlights its advantages for exact computation. The NToP-definition of the real numbers (and continuous real functions) matches recent expert recommendations for exact real…
We present an overview of results on the question of whether the non-stationary ideal of an uncountable regular cardinal $\kappa$ can be defined by a $\Pi_1$-formula using parameters of hereditary cardinality at most $\kappa$. These results…
The dynamics of symbolic systems, such as multidimensional subshifts of finite type or cellular automata, are known to be closely related to computability theory. In particular, the appropriate tools to describe and classify topological…
We study $\kappa$-maximal cofinitary groups for $\kappa$ regular uncountable, $\kappa = \kappa^{<\kappa}$. Revisiting earlier work of Kastermans and building upon a recently obtained higher analogue of Bell's theorem, we show that: 1. Any…
While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…
Theoretical foundations of a new algorithm for determining the p-capitulation type kappa(K) of a number field K with p-class rank rho=2 are presented. Since kappa(K) alone is insufficient for identifying the second p-class group…
For any cardinal $\kappa \geq 2$, there is a unique complete real tree whose points all have valence $\kappa$. In this note, we show that, when $\kappa \geq 3$, it is necessary to assume completeness. More precisely, we show that there…
In this work we investigate generalized kappa-deformed spaces. We develop a systematic method for constructing realizations of noncommutative (NC) coordinates as formal power series in the Weyl algebra. All realizations are related by a…
A notable feature of the TTE approach to computability is the representation of the argument values and the corresponding function values by means of infinitistic names. Two ways to eliminate the using of such names in certain cases are…