An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory

An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK_∞⁺. We show that in these conditions, we can interprete the Kelley-Morse theory (KM) in GPK_∞⁺ (Theorem 3.7). This needs a preliminary property which give an interpretation of the Zermelo-Fraenkel set theory (ZF) in GPK_∞⁺. We also see what happens in the original GPK theory. Before doing this, we first need to study the basic properties of the theory. This is done in the first two sections.     

On a Theory for AC0 and the Strength of the Induction Scheme

We define a fragment of Primitive Recursive Arithmetic by replacing the defining axioms for primitive recursive functions by those for functions in some specific complexity class. In this note we consider such theory for AC⁰. We present a model-theoretical property of this theory, by means of which we are able to characterize its provably total functions. Next we consider the problem of how strong the induction scheme can be in this theory.     

On the Bergman Theory for Solenoidal and Irrotational Vector Fields. II. Conformal Covariance and Invariance of the Main Objects

This is a continuation of our work (González-Cervantes et al. in On the Bergman theory for solenoidal and irrotational vector fields. I. General theory. Operator theory: advances and applications. Birkhauser, accepted) where for solenoidal and irrotational vector fields theory as well as for the Moisil–Théodoresco quaternionic analysis we introduced the notions of the Bergman space and the Bergman reproducing kernel and studied their main properties. In particular, we described the behavior of the Bergman theory for a given domain whenever the domain is transformed by a conformal map. The formulas obtained hint that the corresponding objects (spaces, operators, etc.) can be characterized as conformally covariant or invariant, and in the present paper we construct a series of categories and functors which allow us to give such characterizations in precise terms.     

On the Intrinsic Complexity of Elimination Theory

We consider the intrinsic complexity of selected algorithmic problems of classical elimination theory in algebraic geometry. The inputs and outputs of these problems are given by finite sets of polynomials which we represent alternatively in dense form or by straight line programs. We begin with an overview on the known upper bounds for the sequential and parallel time complexity of these problems and show then that in the most important cases these bounds are tight. Our lower bound results include both the relative and the absolute viewpoint of complexity theory. On one side we give reductions of fundamental questions of elimination theory to NP- and P^#-complete problems and on the other side we show that some of these questions may have exponential size outputs. In this way we confirm the intrinsically exponential character of algorithmic problems in elimination theory whatever the type of data structure may be.     

On the extension of involutorial Bol loops

The group theoretical problem of the existence of a system of representativesT of the subgroup H of G such that T consists of conjugacy classes of involutions leads to the theory of Bol loops of exponent 2. In this paper, we develop a theory of extensions of such loops and give two applications of the theory. First, we classify all (left) Bol loops of exponent 2 of order 16; second, we classify all Bol loops of exponent 2 whose right nucleus has index 2. In particular, we give a class of examples of non-nilpotent such Bol loops. The second author was supported by the “János Bolyai” Fellowship, the Blaschke Stiftung and the OTKA grants F030737, T029849.     

Theories in Classical Propositional Logic and the Converse of Substitution

We study theories based on the classical propositional logic. As follows from the Sushko lemma, for any classical propositional theory T and any substitution ε (where formulas stand in place of propositional variables), the set ε−1(T) is also a classical propositional theory. In this paper, we strengthen this assertion, namely, we prove that for any consistent finitely axiomatizable classical propositional theory T there exists a substitution e such that T is the inverse image of the set of all tautologies under ε. We propose an algorithm for constructing such a substitution for a given axiom of the theory.     

A comparison of the solutions of the problems of the theory of shells and the three-dimensional theory of elasticity

By comparing with the results obtained by numerical solution of a three-dimensional problem of the theory of elasticity we evaluate the different versions of the theory of elastic orthotropic cylindrical shells.Translated fromMatematicheskie Metody i Fiziko-Mekhanicheskie Polya, Issue 28, 1988, pp. 96–101.     

On Integrable Delta Functions on the Levi-Civita Field

In this paper, we develop a theory of integrable delta functions on the Levi-Civita field R as well as on R² and R³ with similar properties to the one-dimensional, two-dimensional and three-dimensional Dirac Delta functions and which reduce to them when restricted to points in R, R² and R³, respectively. First we review the recently developed Lebesgue-like measure and integration theory over R, R² and R³. Then we introduce delta functions on R, R² and R³ that are integrable in the context of the aforementioned integration theory; and we study their properties and some applications.     

On the convergence of quasi-newton methods for nonsmooth problems

We develop a theory of quasi-New ton and least-change update methods for solving systems of nonlinear equations F(x) = 0. In this theory, no differentiability conditions are necessary. Instead, we assume that Fcan be approximated, in a weak sense, by an affine function in a neighborhood of a solution. Using this assumption, we prove local and ideal convergence. Our theory can be applied to B-differentiable functions and to partially differentiable functions.     

Some details of the description of a disordered condensed system using the theory of defect states of orientational order

Using the theory of defect states of orientational order, we describe a disordered condensed system as an elastic medium with linear topological singularities. We show that elastic stress fields produced by linear disclinations are Abelian. In the quasistationary linear approximation, we obtain expressions for linear dislocation and disclination tensor potentials. We show that using the theory of defect states of orientational order, we can describe the α and β relaxations in a supercooled liquid as relaxation processes in the respective disclination and dislocation subsystems.     

On the Consistency of a Positive Theory

In positive theories, we have an axiom scheme of comprehension for positive formulas. We study here the “generalized positive” theory GPK_∞⁺. Natural models of this theory are hyperuniverses. The author has shown in [2] that GPK_∞⁺ interprets the Kelley Morse class theory. Here we prove that GPK_∞⁺ + AC_WF (AC_WF being a form of the axiom of choice allowing to choose elements in well-founded sets) and the Kelley-Morse class theory with the axiom of global choice and the axiom “On is ramifiable” are mutually interpretable. This shows that GPK_∞⁺ + AC_WF is a “strong” theory since “On is ramifiable” implies the existence of a proper class of inaccessible cardinals.     

Halfway to Infinity: Systems Theorizing for the Practitioners?

Systems theory is seen as stressing the rational mind (what we think about) to the detriment of the transactional mind (which we use day-to-day). This stress can be harmful to practitioners who must work in practical, transactional worlds. Rather than attempting to be infinitely rational, we propose a position halfway to infinity-rational and transactional combined.Much of systems theory is pleasing to hear and difficult to contradict. Much of the theory is about design of systems, but it is in the often non-rational process of implementation that the real system emerges. Also the theory tells us about systems but not how to identify the `correct' system that our O.R. efforts are impacting. The theory also tells about complexity, but the tools presented for handling it do not seem related to the theory.The halfway position is to build a body of contingent theory from reflection on experience, using systems theory as a framework for thinking rather than a guide for action.     

On the tangent space to the BMO-Teichmüller space

In a previous paper [31] we established the complex analytic manifold theory of the BMO-Teichmüller space. In this paper we identify the function space which is the tangent space to the BMO-Teichmüller space.     

A local instructional theory for the guided reinvention of the quotient group concept

In this paper we describe a local instructional theory for supporting the guided reinvention of the quotient group concept. This local instructional theory takes the form of a sequence of key steps in the process of reinventing the quotient group concept. We describe these steps and frame them in terms of the theory of Realistic Mathematics Education. Each step of the local instructional theory is illustrated using example instructional tasks and either samples of students’ written work or excerpts of discussions.     

On the existence of product stochastic measures

In this paper, we prove that the existence of product stochastic measures depends on the axiom-system of set theory: If one accepts the axiom of choice, the answer is negative, and we give a counter-example where the product stochastic measure doesn't exist; but in the Solovay model (one kind of set theory which refuses the axiom of choice), the answer is positive, and we give a proof.     

Frequency of digits in the Lüroth expansion

In this note we consider the Lüroth expansion of a real number, and we study the Hausdorff dimension of a class of sets defined in terms of the frequencies of digits in the expansion. We also study the speed at which the approximants obtained from the Lüroth expansion converge. In addition, we describe the multifractal properties of the level sets of the Lyapunov exponent, which measures the exponential speed of approximation obtained from the approximants. Finally, we describe the relation of the Lüroth expansion with the continued fraction expansion and the β-expansion. We remark that our work is still another application of the theory of dynamical systems to number theory.     

On the order of iterated defect correction

Summary In a recent article [2] Frank and Überhuber define and motivate the method of iterated defect correction for Runge-Kutta methods. They prove a theorem on the order of that method using the theory of asymptotic expansions.In this paper we give similar results using the theory of Butcher series (see [4]). Our proofs are purely algebraic. We don't restrict our considerations to Runge-Kutta methods, but we admit arbitrary linear one-step methods. At the same time we consider more general defect functions as in [2].     

Spectrum structure and decay rate estimates on the Landau equation with Coulomb potential

In this paper we first deduce the estimates on the linearized Landau operator with Coulomb potential and then analyze its spectrum structure by using semigroup theory and linear operator perturbation theory. Based on these estimates, we give the precise time decay rate estimates on the semigroup generated by the linearized Landau operator so that the optimal time decay rates of the nonlinear Landau equation follow. In addition, we present a similar result for the non-angular cutoff Boltzmann equation with soft potentials.

     

Elements of the Theory of Linear Volterra Operators in Banach Spaces

The new definition of Volterra operator introduced in [5] allows specification of the classical theory of linear equations in Banach spaces to equations with such operators. Here we specially address relations between properties of the given linear equation with Volterra operator and properties of its conjugate. As well we treat the theory of Noetherian and Fredholm equations.     

Oscillatory solutions of fourth order conservative systems via the Conley index

In this paper we investigate periodic solutions of second order Lagrangian systems which oscillate around equilibrium points of center type. The main ingredients are the discretization of second order Lagrangian systems that satisfy the twist property and the theory of discrete braid invariants developed by Ghrist et al. (2003) [5]. The problem with applying this topological theory directly is that the braid types in our analysis are so-called improper. This implies that the braid invariants do not entirely depend on the topology: the relevant braid classes are non-isolating neighborhoods of the flow, so that their Conley index is not universal. In first part of this paper we develop the theory of the braid invariant for improper braid classes and in the second part this theory is applied to second order Lagrangian system and in particular to the Swift–Hohenberg equation.