Results 1  10
of
1,551
Stability of the theory of existentially closed Ssets over a right coherent monoid S’, wwwusers.york.ac.uk/∼varg1/2003paper.ps
"... Abstract. Let LS denote the language of (right) Ssets over a monoid S and let S be a set of sentences in LS which axiomatises Ssets. A general result of model theory says that S has a model companion, denoted by TS, precisely when the class E of existentially closed Ssets is axiomatisable and in ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
and in this case, TS axiomatises E. It is known that TS exists and is stable if and only if S is right coherent. In the study of stable first order theories, superstable and totally transcendental theories are of particular interest. We describe types over TS algebraically and use our result to confirm that TS
The Hero with a Thousand Faces
, 1972
"... Botiingen Foundation, andpttt.!.,.: b % / ,.,;:,c,m B<,.ik.*, second ..."
Abstract

Cited by 353 (0 self)
 Add to MetaCart
Botiingen Foundation, andpttt.!.,.: b % / ,.,;:,c,m B<,.ik.*, second
Marketing Theory
"... Folk epistemology is a study of the commonsense knowledge and internalized beliefs of ordinary people. This paper discusses consumer knowledge in the context of consumption rituals in Japan. Studying the development of local knowledge is imperative in consumer research, despite accelerating globali ..."
Abstract
 Add to MetaCart
erating globalization, because knowledge and reasoning cannot be separated from the history in which they are embedded. Prior research tended to treat knowledge projects and consumption rituals as sequential conceptions. The purpose of this study is to propose a model of transcendental consumption rituals, underpinned
Contents
"... We compute the twoloop minimal form factors of all operators in the SU(2) sector of planar N = 4 SYM theory via onshell unitarity methods. From the UV divergence of this result, we obtain the twoloop dilatation operator in this sector. Furthermore, we calculate the corresponding finite remainder ..."
Abstract
 Add to MetaCart
functions. Since the operators break the supersymmetry, the remainder functions do not have the property of uniform transcendentality. However, the leading transcendentality part turns out to be universal and is identical to the corresponding BPS expressions. The remainder functions are shown to satisfy
TRANSCENDENTAL DISAGREEMENT
"... In metaphysical theorizing, it is common to use expressions whose function is that of denoting or being true of absolutely everything. Adopting a scolastic term, these may be called 'transcendentals'. Different metaphysical theories may adopt different transcendentals, the most usual cand ..."
Abstract
 Add to MetaCart
candidates being 'thing', 'entity', 'object', 'be', 'exist', and their counterparts in various languages dead or alive. We call 'transcendental disagreement ' any dissent between philosophical theories or traditions that may be described as a
Dynamic Energy and Mass Budgets in Biological Systems
, 2000
"... second edition Dynamic Energy Budget theory unifies the commonalities between organisms as prescribed by the implications of energetics, which link different levels of biological organization (cells, organisms and populations). The theory presents simple mechanistic rules that describe the uptake an ..."
Abstract

Cited by 80 (1 self)
 Add to MetaCart
second edition Dynamic Energy Budget theory unifies the commonalities between organisms as prescribed by the implications of energetics, which link different levels of biological organization (cells, organisms and populations). The theory presents simple mechanistic rules that describe the uptake
Workshop Summary Background and Goals
"... 2007, was devoted to the recent developments in the theory of distribution of zeros of polynomials and transcendental entire functions and some of their most important applications. The activities focused mainly on the following topics and their interplay: 1. PólyaSchur problems: classification o ..."
Abstract
 Add to MetaCart
of linear preservers of polynomials and transcendental entire functions in one or several variables with prescribed zero sets. 2. Laxtype problems: determinantal representations of multivariate G̊ardinghyperbolic polynomials and related objects. 3. Properties and applications of stable polynomials
Solving systems of transcendental equations involving the Heun functions.
, 2013
"... The Heun functions have wide application in modern physics and are expected to succeed the hypergeometrical functions in the physical problems of the 21st century. The numerical work with those functions, however, is complicated and requires filling the gaps in the theory of the Heun functions and a ..."
Abstract
 Add to MetaCart
and also, creating new algorithms able to work with them efficiently. We propose a new algorithm for solving a system of two nonlinear transcendental equations with two complex variables based on the Müller algorithm. The new algorithm is particularly useful in systems featuring the Heun functions
unknown title
"... porary, related psychoanalytic perspectives on religious phenomena. Based on data from systematic interviews, AnaMaria Rizzuto explores the way the human mind forms the idea of God as it evolves through the various stages of childhood and adult development. The objectrepresentation of God is grea ..."
Abstract
 Add to MetaCart
of religious belief as an illusion, or when accepted with certainty as real, as a delusion. Instead, Meissner sees religious belief as a developmental process that resides in the mental realm of transitional phenomena where spirituality, creativity, appreciation of beauty, transcendental states, play
Automated verification of continuous and hybrid dynamical
, 2014
"... The standard method used for verifying the behaviour of a dynamical system is simulation. But simulation can check only a finite number of operating conditions and system parameters, leading to a potentially incomplete verification result. This dissertation presents several automated theorem provin ..."
Abstract
 Add to MetaCart
. Such a closed form solution may contain transcendental functions, rendering the problem undecidable in the general case. The automated theorem prover MetiTarski can be used to solve such a problem by reducing it to one over the real closed fields. The main issue is the doubly exponential complexity
Results 1  10
of
1,551