Stone Duality for Nominal Boolean Algebras with И
From MaRDI portal
Publication:3090869
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
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)
On partial sums of Fourier series of bounded functions on polyhedra ⋮ On certain imbedding and extension theorems for a weighted class of functions ⋮ Duality for nonconvex optimization and its applications ⋮ Wiener measures and some questions of approximation in Banach spaces ⋮ Limit theorems in approximation theory ⋮ On some problems of interpolation by \({\mathcal L}\)-splines ⋮ Structural properties of typical continuous functions defined on locally compact metric spaces ⋮ Sharpening of Stečkin's theorem to strong approximation with exponent \(p\) ⋮ On a \(U\)-set for multiple Walsh series ⋮ On sets of uniqueness and representation of functions by series \(\sum\sin 2\pi n_ k x\) ⋮ Sergei Konstantinovich Godunov has turned 85 years old ⋮ On the non-relativistic two-dimensional purely magnetic supersymmetric Pauli operator ⋮ Gaussian optimizers and the additivity problem in quantum information theory ⋮ Method for constructing solutions of linear ordinary differential equations with constant coefficients ⋮ On approximation of functions in terms of \(\Phi\)-variation ⋮ On the widths of multivariate periodic classes of functions whose mixed moduli of continuity are bounded by a product of power- and logarithmic-type functions ⋮ Mixed moduli of continuity and their applications in polynomial approximations with interpolation ⋮ Approximation of functions of several variables by trigonometric polynomials with given number of harmonics, and estimates of \(\epsilon\)- entropy ⋮ On optimality of spline interpolation for recovery of differentiable functions ⋮ On cubature formulas on the basis of lattices ⋮ Fractional integration and differentiation of variable order ⋮ Infinite symmetric groups and combinatorial constructions of topological field theory type ⋮ Boundedness of singular integral operators on the Heisenberg group in weighted generalized Hölder spaces ⋮ On the sets of points of radial continuity of analytic functions ⋮ On linear summation methods for Jacobi series in the case of half integer \(\alpha\) ⋮ Estimates of the deviation of optimal meshes in \(L_ p\)-norm and the theory of quadrature formulas ⋮ Polynomial approximation on compact sets of zero logarithmic capacity and analyticity of functions ⋮ On the factorization and the zeros of Fourier transforms of infinitely differentiable functions with compact support ⋮ Modular classes of skew algebroid relations ⋮ On linear summation methods of Fourier series ⋮ On the Kolmogorov widths of classes of functions with given mixed moduli of continuity ⋮ On interpolation in the complex domain ⋮ On the approximation of conjugate functions from Hölder classes by Fejer means ⋮ Wavelet approximation and Fourier widths of classes of periodic functions of several variables. II ⋮ Absolute convergence of multiple series with respect to multiplicative systems ⋮ Perfect splines of least uniform deviation ⋮ Boundary-value problems for elliptic functional-differential equations and their applications ⋮ Perturbations of self-adjoint and normal operators with discrete spectrum ⋮ Evgenii Sergeevich Polovinkin (on his 70th birthday) ⋮ An estimate of the capacity of singular sets of functions that are defined by continued fractions ⋮ Deviation of best discrete and uniform polynomial approximants ⋮ On approximation of a class by another class and extremal subspaces in \(L_ 1\). ⋮ On Abel-Poisson type and Riesz means ⋮ Rearrangements of the Haar system in \(L_ p-\)spaces ⋮ On the completeness of function systems and systems of orthogonal polynomials ⋮ On expansions into series of generalized absolutely monotonic functions ⋮ Unsymmetrical bending problems for the annular and circular thin plates under various supporting conditions. I ⋮ On the approximation of functions by Cesaro means of second order ⋮ On the coefficients of a Fourier series on Sidon sets ⋮ The translation-asymptotic and the quasiasymptotic behaviour of a distribution ⋮ On the growth of the entire functions of exponential type with given zeros along a line ⋮ Locally trivial principal homogeneous spaces ⋮ On verification of the expressions of many-valued sentential calculi. I ⋮ On the basis property of a certain system of functions ⋮ On convergence of rearranged trigonometric Fourier series in \(L^ 1\) ⋮ Rademacher series in symmetric spaces ⋮ On the degree of weighted polynomial approximation of holomorphic functions ⋮ Remarks on multiple Fourier series ⋮ Inequalities for upper bounds of functionals ⋮ On Weyl's multipliers for almost everywhere convergence of orthogonal series ⋮ Moduli of smoothness and best approximation in the spaces \(L^p\), \(O<p<1\) ⋮ On equivalent norms in subspaces of \(L_2\) ⋮ Eine Verallgemeinerung von in einem Kreis regulären nahezu konvexen Funktionen auf den Fall von mehreren komplexen Veränderlichen ⋮ A remark on the continuity of metric projections ⋮ General function spaces. IV: (Spaces \(B^{g(x)}_{p,q}\) and \(F^{g(x)}_{p,q}\), \(1<p<\infty\): special properties) ⋮ Orthonormal systems satisfying an inequality of S. M. Nikol'skii ⋮ On the multiplicative completion of some incomplete orthonormal systems to bases in \(L^p\), \(1\leq p\infty\) ⋮ On the approximation of periodic functions by de la Vallee Poussin sums ⋮ On the mean value of certain functions connected with the convergence of orthogonal series ⋮ Determination of Locations in Corporate Wi-Fi Networks ⋮ Some nonlinear effects in the relativistic two-body problem ⋮ BOUNDARY VALUE PROBLEM FOR A THIRD-ORDER DEGENERATE EQUATION ⋮ On summability of subsequences of partial sums of trigonometric Fourier series ⋮ On the best approximation of functions on the sphere in the metric of \(L_ p(S^ n), 1<p<{\infty}\) ⋮ Nontrivial expansions of zero and absolutely representing systems ⋮ Certain properties of sine series with monotone coefficients ⋮ The prediction theory of stationary random fields. II: Nonsymmetrical half-plane prediction ⋮ Asymptotic equalities for integrals of the modulus of the sum of a multiple sine series ⋮ On some local properties of the sum of lacunary trigonometric series ⋮ Rational surfaces over perfect fields ⋮ On a multiplicative inequality for derived functions ⋮ Sharpening of Stečkin's theorem to strong approximation ⋮ Integrability of double trigonometric series with special coefficients ⋮ The ascending varietal chain of a variety of semigroups ⋮ On the convergence and saturation problem of a sequence of discrete linear operators of exponential type in \(L_ p(-\infty,\infty)\) spaces ⋮ On the intermediate spaces and quasi-linearizability of a pair of spaces of Sobolev-Liouville type ⋮ An asymptotic Fuglede theorem for generators of \(C_ 0\) groups ⋮ Interpolation theorems for classes of functions with dominating mixed derivative ⋮ The algebraic fractions of Chebyshev and Markov on several segments ⋮ Some imbedding theorems of generalized Nikol'skij classes from Lorentz spaces ⋮ Fractional integrals on spaces of homogeneous type ⋮ On the A-integral representation of the Hilbert transform and conjugate function ⋮ Fourier series and the conjugate function in the classes phi(L) ⋮ On the best convergence of trigonometric integrals ⋮ Asymptotics of the approximation of individual functions by generalized Fejér operators ⋮ On a test of Jordan type for double Fourier series with respect to multiplicative systems ⋮ Approximation of functions of bounded \(p\)-fluctuation by polynomials with respect to multiplicative systems ⋮ Condition for the boundedness of oscillatory integrals with cubic polynomials ⋮ Harmonic analysis in the complex domain and applications in the theory of analytic and infinitely differentiable functions ⋮ Morera type theorems on the unit disc
This page was built for publication: Stone Duality for Nominal Boolean Algebras with И
