AbstractWe analyse the category-theoretical structures involved with the notion of continuity within the framework of formal topology. We compare the category of basic pairs to other categories of “spaces” by means of canonically determined functors and show how the definition of continuity is determined in a certain, canonical sense. Finally, we prove a standard adjunction between the (co)algebraic approach to spaces and the category of topological spaces
The main purpose of the present paper is to establish some new sharp integral inequalities involving...
A variant of realizability for Heyting arithmetic which validates Church's thesis with uniqueness co...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
AbstractThe Smyth completion ([15], [16], [18] and [19]) provides a topological foundation for Denot...
AbstractThis paper continues the study of the general theory, begun in [4], of semantic domains base...
AbstractThe founding idea of linear logic is the duality between A and A⊥, with values in ⊥. This id...
AbstractLet Δ be a finite set of nonzero linear forms in several variables with coefficients in a fi...
AbstractA composition of birational maps given by Laurent polynomials need not be given by Laurent p...
AbstractA method named interval analysis method, which solves the buckling load of composite laminat...
AbstractWe give some remarks to results presented in Marinković et al. (J. Comput. Appl. Math. 163 (...
AbstractThe aim of this paper is to determine the first three spaces of weight −1 of the adjoint coh...
AbstractWe prove results on the tangent spaces to Schubert varieties in G/B for G classical. We give...
AbstractLet X be a locally Noetherian scheme and φ:Y→X be a morphism of finite type, whose fibers ha...
AbstractUsing a recurrence derived from Dodgson's Condensation Method, we provide numerous explicit ...
AbstractThis article describes how the use of a higher-order syntax representation of contexts [due ...
The main purpose of the present paper is to establish some new sharp integral inequalities involving...
A variant of realizability for Heyting arithmetic which validates Church's thesis with uniqueness co...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
AbstractThe Smyth completion ([15], [16], [18] and [19]) provides a topological foundation for Denot...
AbstractThis paper continues the study of the general theory, begun in [4], of semantic domains base...
AbstractThe founding idea of linear logic is the duality between A and A⊥, with values in ⊥. This id...
AbstractLet Δ be a finite set of nonzero linear forms in several variables with coefficients in a fi...
AbstractA composition of birational maps given by Laurent polynomials need not be given by Laurent p...
AbstractA method named interval analysis method, which solves the buckling load of composite laminat...
AbstractWe give some remarks to results presented in Marinković et al. (J. Comput. Appl. Math. 163 (...
AbstractThe aim of this paper is to determine the first three spaces of weight −1 of the adjoint coh...
AbstractWe prove results on the tangent spaces to Schubert varieties in G/B for G classical. We give...
AbstractLet X be a locally Noetherian scheme and φ:Y→X be a morphism of finite type, whose fibers ha...
AbstractUsing a recurrence derived from Dodgson's Condensation Method, we provide numerous explicit ...
AbstractThis article describes how the use of a higher-order syntax representation of contexts [due ...
The main purpose of the present paper is to establish some new sharp integral inequalities involving...
A variant of realizability for Heyting arithmetic which validates Church's thesis with uniqueness co...
Partial combinatory algebras occur regularly in the literature as a framework for an abstract formul...
DOI
Add to ORKG