Related papers: Polish G-spaces, the generalized model theory and …
In this paper we extend a previous result of the author [Lis07] of characterization of absolutely continuous curves in Wasserstein spaces to a more general class of spaces: the spaces of probability measures endowed with the…
Let M be a transitive model of set theory and X be a space in the sense of M. Is there a reasonable way to interpret X as a space in V? A general theory due to Zapletal provides a natural candidate which behaves well on sufficiently…
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…
This paper gives a systematic study to the general dual-polar Orlicz-Minkowski problem (e.g., Problem \ref{general-dual-polar}). This problem involves the general dual volume $\widetilde{V}_G(\cdot)$ recently proposed in \cite{GHWXY, GHXY}…
We investigate the question of when a topological space $X$ has the $\textit{Generalized Bolzano-Weierstrass property}$: every sequence of subsets of $X$ has a convergent subsequence (in the sense of Kuratowski).
We introduce and study (metrically) quarter-stratifiable spaces and then apply them to generalize Rudin and Kuratowski-Montgomery theorems about the Baire and Borel complexity of separately continuous functions.
The Petrov classification is an important algebraic classification for the Weyl tensor valid in 4-dimensional space-times. In this thesis such classification is generalized to manifolds of arbitrary dimension and signature. This is…
This paper studies linear generalised complex structures over vector bundles, as a generalised geometry version of holomorphic vector bundles. In an adapted linear splitting, a linear generalised complex structure on a vector bundle $E\to…
We extend \L ukasiewicz logic obtaining the infinitary logic $\mathcal{IR}\L$ whose models are algebras $C(X,[0,1])$, where $X$ is a basically disconnected compact Hausdorff space. Equivalently, our models are unit intervals in…
In this paper we develop a framework to extend the theory of generalized stochastic processes in the Hida white noise space to more general probability spaces which include the grey noise space. To obtain a Wiener-It\^o expansion we recast…
Large Language Models (LLMs) have demonstrated unprecedented capabilities across various natural language processing tasks. Their ability to process and generate viable text and code has made them ubiquitous in many fields, while their…
Whether language models (LMs) have inductive biases that favor typologically frequent grammatical properties over rare, implausible ones has been investigated, typically using artificial languages (ALs) (White and Cotterell, 2021;…
We construct the space of valuations on a quasi-Polish space in terms of the characterization of quasi-Polish spaces as spaces of ideals of a countable transitive relation. Our construction is closely related to domain theoretical work on…
The Wadge hierarchy was originally defined and studied only in the Baire space (and some other zero-dimensional spaces). We extend it here to arbitrary topological spaces by providing a set-theoretic definition of all its levels. We show…
Given the intractably large size of the space of proofs, any model that is capable of general deductive reasoning must generalize to proofs of greater complexity. Recent studies have shown that large language models (LLMs) possess some…
Given a complex semisimple Lie algebra ${\mathfrak g}$ and a commutative ${\mathbb C}$-algebra $A$, let ${\mathfrak g}[A] = {\mathfrak g} \otimes A$ be the corresponding generalized current algebra. In this paper we explore questions…
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we wish to make are not language specific. Rather, our goal is to…
We discuss the generalized Yang Poisson models. We construct generalizations of the Yang Poisson algebra related to $\mathfrak{o}(1,5)$ algebra discussed by Meljanac and Mignemi (2023). The exact realizations of this generalized algebra on…
We solve a long-standing open problem, formulated by Krasner in the 1950's, in the context of Polish (i.e. separable complete) ultrametric spaces by providing a characterization of their isometry groups using suitable forms of generalized…