Preframe techniques in constructive locale theory

Preframe techniques in constructive locale theory

Bibliographic Details
Main Author:	Townsend, Christopher Francis
Published:	Imperial College London 1996
Subjects:	510 Coverage theorem
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.244021

Similar Items

Theory and applications of crossed complexes
by: Tonks, Andrew Peter
Published: (1993)

Approximate identities for certain dual classes
by: Robinson, Symon Philip
Published: (1996)

Exploiting dependencies in search and inference mechanisms
by: Shanahan, Murray Patrick
Published: (1987)

Knots, links, and cubical sets
by: Wiest, Bertold
Published: (1997)

Algebraic functions, differentially algebraic power series and Hadamard operations
by: Sharif, H.
Published: (1989)

A novel term rewriting strategy for certain hierarchical AC-algebraic systems
by: Okoli, Ifeyinwa
Published: (1989)

Universal constructions in algebraic and locally covariant quantum field theory
by: Lang, Benjamin
Published: (2014)

Derived constructions in homotopy theory
by: Hardie, K. A.
Published: (1958)

Intervals Constructions in the Theory of Numbers
by: Pollington, A. D.
Published: (1979)

Large sets in constructive set theory
by: Ziegler, Albert
Published: (2014)

Contributions to the theory of locally convex algebras
by: Allan, G. R.
Published: (1965)

Topics in the Theory of Locally Convex Algebras
by: Wood, A. W.
Published: (1974)

Transcendence theory over local fields
by: Flicker, Y.
Published: (1978)

Des récréations arithmétiques au corps des nombres surréels et à la victoire d’un programme aux échecs : une histoire de la théorie des jeux combinatoires au XXème siècle
by: Rougetet, Lisa
Published: (2014)

Constructive mathematics : its set theory and practice
by: Bridges, Douglas Sutherland
Published: (1974)

Modified Fourier expansions : theory, construction and applications
by: Adcock, Ben
Published: (2010)

Some topics in the theory of locally convex Algebras
by: Bartlett, D. L.
Published: (1978)

Homotopy type-theoretic interpretations of constructive set theories
by: Gallozzi, Cesare
Published: (2018)

On a new construction in group theory
by: Gatward, Sally Morrell
Published: (2011)

Some 3-Local Problems in Finite Group Theory
by: Henry, P. G.
Published: (1976)

Contributions to the theory of linear operators in locally convex spaces
by: Chilana, A. K.
Published: (1969)

Formation theory in a class of locally finite groups
by: Dixon, M. R.
Published: (1979)

Some topics in the theory of eigenfunctions
by: Bell, Francis K.
Published: (1973)

Techniques of Data Analysis 1. Seriation Theory 2. Spline and Deltaspline
by: Wilkinson, Edward Martin
Published: (1972)

Ring constructions on spectral spaces
by: Tedd, Christopher
Published: (2017)

Graph theory and combinatorial games
by: Richer, Duncan Christopher
Published: (2000)

Théorèmes d'annulation et théorèmes de structure sur les variétés kähleriennes compactes
by: Cao, Junyan
Published: (2013)

Convexity and local theory in the geometry of Banach spaces
by: Dilworth, S. J.
Published: (1984)

Fitting and formation theory in locally finite groups
by: Klimowicz, Anthony Aleksander
Published: (1973)

The bee in Poincare's bonnet : investigations in constructive set theory
by: MacDougall, Margaret
Published: (1998)

Simultaneous Confidence Bands for the Estimation of Expected Discounted Warranty Costs for Coherent Systems under Minimal Repair
by: Carlos M. Lopera-Gómez, et al.

Mathematical techniques for free boundary problems with multiple boundaries
by: Green, Christopher
Published: (2013)

Local and global aspects of the module theory of singular curves
by: Cook, Phillip Richard
Published: (1993)

Rational homotopy theory in arithmetic geometry : applications to rational points
by: Lazda, Christopher David
Published: (2014)

Algebraic quantum field theory
by: Wilde, Ivan Francis
Published: (1971)

The theory and method of construction of a particular type of finite soluble group, with special reference to soluble groups of cube free order
by: Taunt, Derek Roy
Published: (1949)

Multi-Agent Area Coverage Control Using Reinforcement Learning Techniques
by: Adepegba, Adekunle Akinpelu
Published: (2016)

The non-abelian Wilson loop as a theory of strings with contact interaction
by: Curry, Christopher Hewson
Published: (2018)

Local and global bifurcation theory for multiparameter nonlinear eigenvalue problems
by: Bari, Rehana
Published: (1995)

Applications of S-function techniques to the representation theory of Lie superalgebras and symmetry breaking
by: Cummins, C. J.
Published: (1986)