相关论文: Toward classification theory of good lambda frames…

This is the second in a series of articles developing abstract classification theory for classes that have a notion of prime models over independent pairs and over chains. It deals with the problem of smoothness and establishing the…

Based on an earlier introduced new class of generalized gravity-matter models defined in terms of two independent non-Riemannian volume forms (alternative generally covariant integration measure densities) on the space-time manifold, we…

A specific value for the cosmological constant, \Lambda, can account for late-time cosmic acceleration. However, motivated by the so-called cosmological constant problem(s), several alternative mechanisms have been explored. To date, a host…

Tractability results for the model checking problem of logics yield powerful algorithmic meta theorems of the form: Every computational problem expressible in a logic $L$ can be solved efficiently on every class $\mathscr{C}$ of structures…

By way of a complete integration of the Friedmann equations, in terms of observables, it is shown that for the cosmological constant $\Lambda > 0$ there exist non-flat FLRW models for which the total density parameter $\Omega$ remains $\sim…

Let G be a semisimple Lie group with no compact factors, K a maximal compact subgroup of G, and $\Gamma$ a lattice in G. We study automorphic forms for $\Gamma$ if G is of real rank one with some additional assumptions, using dynamical…

Let K be an Abstract Elementary Class. Under the asusmptions that K has a nicely behaved forking-like notion, regular types and existence of some prime models we establish a decomposition theorem for such classes. The decomposition implies…

For an arbitrary finite dimensional algebra $\Lambda$, we prove that any wide subcategory of $\mathsf{mod} \Lambda$ satisfying a certain finiteness condition is $\theta$-semistable for some stability condition $\theta$. More generally, we…

The relationship between overparameterization, stability, and generalization remains incompletely understood in the setting of discontinuous classifiers. We address this gap by establishing a generalization bound for finite function classes…

This paper presents a unified framework for determining the congruences on a number of monoids and categories of transformations, diagrams, matrices and braids, and on all their ideals. The key theoretical advances present an iterative…

While Large Language Models (LLMs) are fundamentally next-token prediction systems, their practical applications extend far beyond this basic function. From natural language processing and text generation to conversational assistants and…

In this paper, we discuss a proof system $\mathsf{NGL}$ for the logic $\mathbf{GL}$ of provability, which is equipped with an $\omega$-rule. We show the three classes of transitive Kripke frames, the class which strongly validates the…

Abashidze and Blass independently proved that the modal logic $\sf{GL}$ is complete for its topological interpretation over any ordinal greater than or equal to $\omega^\omega$ equipped with the interval topology. Icard later introduced a…

We establish two characterizations of an algebraic group scheme $\bigwedge^m GL_n$ over $\mathbb{Z}$. Geometrically, the scheme $\bigwedge^m GL_n$ is a stabilizer of an explicitly given invariant form or, generally, an invariant ideal of…

Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the construction of a filter model isomorphic to a given…

We fix a path model for the space of filters of the inverse semigroup $\mathcal{S}_\Lambda$ associated to a left cancellative small category $\Lambda$. Then, we compute its tight groupoid, thus giving a representation of its $C^*$-algebra…

A longstanding open problem is whether there exists a non syntactical model of the untyped lambda-calculus whose theory is exactly the least lambda-theory (l-beta). In this paper we investigate the more general question of whether the…

The scalar-tensor theory is plagued by nagging questions if different conformal frames, in particular the Jordan and Einstein conformal frames, are equivalent to each other. As a closely related question, there are opposing views on which…

Here we show that, given a finite homological system $({\cal P},\leq,\{\Delta_u\}_{u\in {\cal P}})$ for a finite-dimensional algebra $\Lambda$ over an algebraically closed field, the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules…

In this thesis, the implications of a new cosmological model are studied, which has features similar to that of decaying vacuum cosmologies. Decaying vacuum (or cosmological constant \Lambda) models are the results of attempts to resolve…