Euclid's reasoning is essentially constructive. Tarski's elegant and concise first-order theory of Euclidean geometry, on the other hand, is essentially non-constructive, even if we restrict attention (as we do here) to the theory with line-circle an...
Abelian and center gauges are considered in continuum Yang-Mills theory in order to detect the magnetic monopole and center vortex content of gauge field configurations. Specifically we examine the Laplacian Abelian and center gauges, which are fre...
We are seeing more and more organizations undertaking activities to engage dispersed populations through IS. Using the knowledge-based view of the organization, this work conceptualizes a theory of Crowd Capital to explain this phenomenon. Crowd Capi...
We give the details of the proof of the equality between the critical groups, with respect the H^1 and C^1 topology, at a non-degenerate critical point of the energy functional of a non-reversible Finsler manifold (M,F), defined on the Hilbert manifo...
In this paper, within the framework of uncertainty theory, the valuation of equity warrants is investigated. Different from the methods of probability theory, the equity warrants pricing problem is solved by using the method of uncertain calculus. Ba...
We extend unbounded Kasparov theory to encompass conformal group and quantum group equivariance. This new framework allows us to treat conformal actions on both manifolds and noncommutative spaces. As examples, we present unbounded representatives of...
In this Masters thesis we present an implementation of a fragment of "book HoTT" as an object logic for the interactive proof assistant Isabelle. We also give a mathematical description of the underlying theory of the Isabelle/Pure logical framework,...
We investigate a density-functional theory (DFT) approach for an unpolarized trapped dilute Fermi gas in the unitary limit . A reformulation of the recent work of T. Papenbrock [Phys. Rev. A, {\bf 72}, 041602(R) (2005)] in the language of fractiona...
As we kickoff the 2025 NFL season, a VERY special Manic and Chill/Dynasty Theory crossover LIVE show as Scott, Shane, John, and Mitch will be taking live trade offers from their 200+ combined dynasty ...
The light cone method provides a convenient non-perturbative tool to study the heavy-to-light form factors. We construct a light cone quark model utilizing the soft collinear effective theory. In the leading order of effective theory, the ten $B$ t...
In general coding theory, we often assume that error is observed in transferring or storing encoded symbols, while the process of encoding itself is error-free. Motivated by recent applications of coding theory, in this paper, we consider the case wh...
Empirical evidence shows that wealthy households have substantially higher saving rates and markedly lower marginal propensity to consume (MPC) than other groups. Existing theory cannot account for this pattern unless under restrictive assumptions on...
We formulate a definition of the existence property that works with "structural" set theories, in the mode of ETCS (the elementary theory of the category of sets). We show that a range of structural set theories, when formulated using constructive lo...
We calculate the double resonant (DR) Raman spectrum of graphene, and determine the lines associated to both phonon-defect processes, and two-phonons ones. Phonon and electronic dispersions reproduce calculations based on density functional theory co...
We propose a unified methodology to input non-linear views from any number of users in fully general non-normal markets, and perform, among others, stress-testing, scenario analysis, and ranking allocation. We walk the reader through the theory and w...
A visual introduction to probability and statistics. (⭐ 2118)
Computability logic (CL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a semantical platform and research program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth which it has more traditional...
[.](https://i.ytimg.com/vi/svD9xjg5uhw/maxresdefault.jpg) I know this is a bold statement, but I feel that I can back this claim up. You may ask, "What do you mean by this one theory solves *every* *...
We investigate the $O(N)$--symmetric $φ^6$ theory in three spacetime dimensions using dimensional regularisation and minimal subtraction. The predictions of other methods are scrutinised in a large-$N$ expansion. We show how the tricritical line of...
We prove that the satisfaction relation $\mathcal{N}\models\varphi[\vec a]$ of first-order logic is not absolute between models of set theory having the structure $\mathcal{N}$ and the formulas $\varphi$ all in common. Two models of set theory can ha...