Pseudo-monotonicity seems to be a good notion to deal with convergence in nonlinear terms of partial differential equations. J.-L. Lions [16] used two different definitions of pseudo-monotonicity for elliptic and parabolic problems, and derived associated existence results. Nonlinear...

Familiar proof theoretical and especially automated deduction methods sometimes accept infinity where in fact it can be omitted. Our first example (Section 1 in the text) deals with the infinite supply of individual variables admitted in 1-order deductions, the second one (Section 2 in the text)...

A complete asymptotic expansion is constructed for transport equation with small diffusion compared to the convection. Error estimates are obtained by using matched asymptotic expansion technique and building all the boundary layer terms in time and in space, necessary for obtaining an accurate...

Physical and intellectual spaces are visualized making use of concepts from intuitive set theory. Intellectual space is defined as the set of all proofs of mathematical logic, contained in The Book conceived by Erdös

Ten years ago, Borenshtein and Shul'man proved a minimax theorem for real-valued functions defined in the product of a compact metric space and a real interval. Recently, this result has been improved, in a remarkable way, by J. Saint Raymond who, however, kept compactness and metrizability of...

The technique of soil venting is commonly used for remediation of the unsaturated zone of the soil, which is contaminated by gaseous organic pollutants in the pores. We study a steady state model with a finite number of extraction wells, where the air flow field in the subsurface is described by...

The logics of formal inconsistency s) are paraconsistent logics which permit us to internalize the concepts of consistency or inconsistency inside our object language, introducing new operators to talk about them, and allowing us, in principle, to logically separate the notions of...

Given two convex polygons and we want to find a line segment (a bridge) that connects and so that the maximum distance from a point inside across the bridge to a point inside is minimized. We propose a linear-time algorithm to solve this problem, improving the (log()) algorithm described by Cai,...

This note uses some recent powerful tools related with semidirect products * of pseu-dovarieties of semigroups, particularly when the second factor is the pseudovariety of all finite groups, to give syntactic proofs of equalities of the form , where denotes the pseudovariety consisting of the...