First steps in descriptive theory of locales
نویسندگان
چکیده
منابع مشابه
First Steps in Glass Theory
This paper is an introduction to some of the main present issues in the theory of structural glasses. After recalling a few experimental facts, it gives a short account of the analogy between fragile glasses and the mean field discontinuous spin glasses. The many valley picture is presented, and a brief account of recent attempts to obtain quantitative results from first principle computations ...
متن کاملFirst Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair amount of Gödel encodings which sometime obscure ingenious arguments. Consequently, there have been a number of presentations of computability theory that aimed to present the subject in an abstract and conceptually ple...
متن کاملFirst Steps in Pointfree Functional Dependency Theory
When software designers refer to the relational calculus, what they usually mean is the set-theoretic kernel of relational database design “à la Codd” and not the calculus of binary relations which was initiated by De Morgan in the 1860s an eventually became the core of the algebra of programming. Contrary to the intuition that a binary relation is just a particular case of -ary relation, this ...
متن کاملFirst Steps in Algorithmic Fewnomial Theory
Fewnomial theory began with explicit bounds — solely in terms of the number of variables and monomial terms — on the number of real roots of systems of polynomial equations. Here we take the next logical step of investigating the corresponding existence problem: Let FEASR denote the problem of deciding whether a given system of multivariate polynomial equations with integer coefficients has a r...
متن کاملFirst Steps in Synthetic Guarded Domain Theory
We present the topos S of trees as a model of guarded recursion. We study the internal dependently-typed higher-order logic of S and show that S models two modal operators, on predicates and types, which serve as guards in recursive definitions of terms, predicates, and types. In particular, we show how to solve recursive type equations involving dependent types. We propose that the internal lo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1991
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-1991-1091230-6