Stone Duality for Nominal Boolean Algebras with И

DOI10.1007/978-3-642-22944-2_14zbMath1241.68050OpenAlexW73621118MaRDI QIDQ3090869

Tadeusz Litak, Daniela Petrişan, Murdoch James Gabbay

Publication date: 2 September 2011

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22944-2_14

Mathematics Subject Classification ID

Logic in computer science (03B70) Stone spaces (Boolean spaces) and related structures (06E15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (only showing first 100 items - show all)

Differential properties of crinkly functions ⋮ An inequality for equimeasurable rearrangements and its application in the theory of differentiation of integrals ⋮ Estimation of the Green function of the singular Schrödinger operator ⋮ On Kantorovich type operators and Schoenberg integral splines ⋮ Approximation of continuous functions by Euler means ⋮ The symmetrical deformation of a circular membrane under the action of uniformly distributed loads on its central portion ⋮ Reconstruction of periodic functions of several variables with respect to the values in the nodes of number-theoretic nets ⋮ Limit relation for various methods of approximation of periodic functions by splines and trigonometric polynomials ⋮ Decomposition of linear singularly perturbed systems ⋮ On continuity of functions of several variables of the class of generalized bounded variation ⋮ On Markov models of random fields ⋮ An unconditional basis in periodic spaces with dominating mixed smoothness properties ⋮ On optimal extrapolation and interpolation of fuzzy analytic functions ⋮ On the approximation by de la Vallée Poussin sums and interpolatory polynomials in Lipschitz norms ⋮ On the divergence of Lagrange interpolation processes on a set of second category ⋮ \(L_ p\)-spaces with mixed norm on an infinite Cartesian product of probabilistic spaces ⋮ On the solution of a generalized Schrödinger-type equation ⋮ Riesz bases of exponentials and sine-type functions ⋮ On norms in weighted spaces of functions given on infinite intervals ⋮ Approximations, widths and optimal quadrature formulae for classes of periodic functions with rearrangements invariant sets of derivatives ⋮ Inequalities of the ``large sieve type and applications to problems of trigonometric approximation ⋮ The spaces \({\mathfrak L}^\alpha_{p,r}({\mathbb{R}}^{n+1})\) of parabolic potentials ⋮ Orders of one-sided approximations of functions in \(L_ p\)-metric ⋮ Summation of weakly dependent sequences by Cesàro methods ⋮ Estimate of a polynomial in generalized exponential functions in the convex hull of two domains ⋮ Convergence of series with respect to generalized Haar systems ⋮ Best approximation by an angle and approximation by an angle of singular integrals of functions \(f\in L_ p(R_ n)\), \(2<p<\infty\) ⋮ On an imbedding problem for functions of several variables ⋮ Bernstein inequality for differential operators ⋮ On a characteristic of random matrices connected with unconditional convergence almost everywhere ⋮ Summability of generalized Fourier series and Dirichlet's problem in \(L^ p(d\mu)\) and weighted \(H^ p\)-spaces \((p>1)\) ⋮ On the smoothness of the symbol of multidimensional singular integral operators ⋮ The method of multi-parameter interpolation and imbedding theorems of Besov spaces \(B^{\overrightarrow{\alpha}}_{\overrightarrow{p}}[0,2{\pi})\) ⋮ Strong approximation by Fourier series and differentiability properties of functions ⋮ Rational approximation to \(x^\alpha\) on \([0,1\)] ⋮ Some exact integral estimates of the derivative of rational and algebraic functions. Applications ⋮ Estimate of the norms of trigonometric polynomials on intervals and sets ⋮ Absolute convergence of Fourier-Haar series for superpositions of functions ⋮ A generalization of close-to-starlike functions regular in a disc to the case of several complex variables ⋮ Monosplines and best quadrature formulae for certain classes of nonperiodic functions ⋮ Interpolation of operators of weak type ⋮ Optimal methods for the approximate calculation of functionals on classes \(W^rL_\infty\) ⋮ On the unconditional convergence of Walsh series ⋮ Polynomiality of invariants, unimodularity and adapted pairs ⋮ Extended equivariant Picard complexes and homogeneous spaces ⋮ On a problem of Tandori ⋮ On an application of infinitely divisible distributions to quadrature problems ⋮ On p-Helson sets in \(R^ n\) ⋮ Existence of homoenergetic affine flows for the Boltzmann equation ⋮ Generalized absolute convergence of single and double Fourier series with respect to multiplicative systems ⋮ On the best approximation of periodic functions by trigonometric polynomials and the exact values of widths of function classes in \(L_2\) ⋮ On series with respect to the Franklin system ⋮ On asymptotically harmonic functions ⋮ On a theorem of Ch. Gorovic on the zeros of functions in the Bergman spaces ⋮ Generalized Haar series and their applications ⋮ Diameters and best approximation of the classes \(B^r_{p,\theta}\) of periodic functions of several variables ⋮ Estimates of best approximations in integral metrics and Fourier coefficients with respect to multiplicative systems ⋮ On equivalent normalizations of functional spaces associated with the generalized Gegenbauer shift ⋮ On the rate of convergence of Fourier series of functions of bounded variation in two variables ⋮ Open problems on central simple algebras. ⋮ Geometric structures encoded in the Lie structure of an Atiyah algebroid ⋮ Approximation by Nörlund-Voronoi means in the Hölder metric ⋮ Approximation of functions in several variables from classes \(H^{\Omega}_p\) by polynomials with respect to the Haar system ⋮ Dynamic response of viscoelastic beam ⋮ On imbedding of certain function classes in symmetric spaces ⋮ On the existence of functions from \(L_ p\), p\(\geq 1\), whose Fourier series converge to zero on a prescribed set and diverge unboundedly outside it ⋮ Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness ⋮ Algebraic subgroups of the Cremona group ⋮ Low cohomogeneity and polar actions on exceptional compact Lie groups ⋮ Affine quotients of supergroups ⋮ On coefficients of null-series and on sets of uniqueness of trigonometric and Walsh systems ⋮ Fortsetzungssätze und Moduln über semifields. (Extension theorems and modules on semifields) ⋮ On projecting symmetries by unbranched regular coverings of Riemann surfaces ⋮ Anisotropic function spaces. I: Hardy's inequality, decompositions ⋮ Anisotropic function spaces. II: Traces ⋮ Asymptotic properties of ``snakes ⋮ Exact estimates of quasiwidths of some classes of differentiable periodic functions of two variables ⋮ On asymptotics and estimates for the uniform norms of the Lagrange interpolation polynomials corresponding to the Chebyshev nodal points ⋮ \({\mathfrak M}\)-additive functions. I ⋮ On some convergence properties of Haar-Fourier series in the classes \(\phi\) (L) ⋮ Optimal recovery methods for the integral on classes of differentiable functions ⋮ On the best approximation and polynomials of the least quadratic deviation ⋮ On a strengthened extremal property of the Carathéodory-Fejér functions ⋮ On the unconditional convergence of orthogonal series ⋮ Bases of exponential functions in \(L^ p\)-spaces ⋮ On the metric Darboux property ⋮ Unsymmetrical bending of annular and circular thin plates under various supports. II ⋮ On approximation by polynomials and rational functions in Orlicz spaces ⋮ On a Jackson type theorem in several variables for linear polynomial approximation ⋮ The metric projection on the class \(H(\Omega)\) satisfies Lipschitz condition ⋮ On the structure of divergence sets of Fourier-Walsh series ⋮ On absolute convergence of Haar-Fourier series of superpositions of functions ⋮ Multidimensional variations of sets and their contingencies ⋮ On convex multiplies of convergence of some classes of bivariate Fourier series ⋮ On the representation of measurable functions by martingales ⋮ Imbedding theorems for generalized Hölder classes of one variable ⋮ Approximation of conjugate functions by Fourier sums in \(L^ p_{2\pi}\) ⋮ On rational approximations of functions of complex variable integrable over plane domains ⋮ On a question of convergence and Cesàro \((C,\alpha)\)-summability of trigonometric Fourier series ⋮ On sets of divergence of series with respect to some orthogonal systems of functions

This page was built for publication: Stone Duality for Nominal Boolean Algebras with И