Constructive Axiomatization of Plane Hyperbolic Geometry

We provide a universal axiom system for plane hyperbolic geometry in a firstorder language with two sorts of individual variables, ‘points’ (upper‐case) and ‘lines’ (lowercase), containing three individual constants, A₀, A₁, A₂, standing for three non‐collinear points, two binary operation symbols, φ and ι, with φ(A, B) = l to be interpreted as ‘𝓁 is the line joining A and B’ (provided that A ≠ B, an arbitrary line, otherwise), and ι(g, h) = P to be interpreted as 𝓁P is the point of intersection of g and h (provided that g and h are distinct and have a point of intersection, an arbitrary point, otherwise), and two binary operation symbols, π₁(P, 𝓁) and —₂(P, 𝓁), with π_i(P, 𝓁) = g (for i = 1, 2) to be interpreted as ‘g is one of the two limiting paralle lines from P to 𝓁 (provided that P is not on 𝓁, an arbitrary line, otherwise).     

Inconsistency of GPK + AFA

M. Forti and F. Honsell showed in [4] that the hyperuniverses defined in [2] satisfy the anti-foundation axiom X₁ introduced in [3]. So it is interesting to study the axiom AFA, which is equivalent to X₁ in ZF, introduced by P. Aczel in [1]. We show in this paper that AFA is inconsistent with the theory GPK. This theory, which is first order, is defined by E. Weydert in [6] and later by M. Forti and R. Hinnion in [2]. It includes all general hyperuniverses as defined in [5]. In order to achieve our aim, we need to define ordinals in GPK and to study some of their properties. Mathematics Subject Classification: 03E70, 03E10.     

Translations of Logical Formulas and the Equiconsistency Problem

A translation of formulas in a language L₁ to formulas in a language L₂ is a mapping which preserves the parameters and commutes with the substitution prefix, the propositional connectives and the quantifiers. Every translation generates a corresponding transformation of theories in L₁ to theories in L₂. We formulate the equiconsistency problem for such transformations and propose a variant of its solution. First, for a transformation F we find the least theory A(F) in L₁ such that its inclusion in a theory T (in L₁) guarantees equiconsistency of F and F(T), then we propose axiomatizations of A(F) for some F's. Mathematics Subject Classification: 03B10, 03B15, 03F25.     

A hierarchy of axiom systemZF

In this paper we develop a sequenceZ ₀, ...,Z _α,... of axiom systems for set theory, such that (1) the consistency of any system within the sequence is provable in its succeeding systems, (2) the first system in the sequence is Zermelo's system Z and the union of all systems in the sequence is justZF. And we prove that for ordinal number α>1, there exists a sequence of ℵ_a+1 axiom systems between systemsZ _α andZ _α+1 such that these systems satisfy the above condition (1).     

Typical ambiguity and elementary equivalence

A sentence of the usual language of set theory is said to be stratified if it is obtained by “erasing” type indices in a sentence of the language of Russell's Simple Theory of Types. In this paper we give an alternative presentation of a proof the ambiguity theorem stating that any provable stratified sentence has a stratified proof. To this end, we introduce a new set of ambiguity axioms, inspired by Fraïssé's characterization of elementary equivalence; these axioms can be naturally used to give different proofs of the ambiguity theorem (semantic or syntactic, classical or intuitionistic). MSC: 03B15, 03F50, 03F55.     

The generalized Levinger transformation

In this paper, we present new results relating the numerical range of a matrix A with the generalized Levinger transformation L(A,α,β)=αH_A+βS_A, where H_A and S_A, are, respectively the Hermitian and skew-Hermitian parts of A. Using these results, we then derive expressions for eigenvalues and eigenvectors of the perturbed matrix A+L(E,α,β), for a fixed matrix E and α, β are real parameters.     

Uniqueness properties in finite-continuous additive measurement

Let ? be a binary relation on A×X, and suppose that there are real valued functions f on A and g on X such that, for all ax, by ∈ A×X, ax ? by if and only if f (a)+g(x) ? f(b)+g(y). This paper establishes uniqueness properties for f and g when A is a finite set, X is a real interval with g increasing on X, and for any a, b and x there is a y for which f(a)+g(x)=f(b)+g(y). The resultant uniqueness properties occupy an intermediate position among uniqueness properties for other structural cases of two-factor additive measurement.It is shown that f is unique up to a positive affine transformation (αf+β₁ with α > 0), but that g is unique up to a similar positive affine transformation (αg+β₂) if and only if the ratio [f(a)?f(b)]/[f(a)?f(c)] is irrational for some a, b, c ∈ A. When the f ratios are rational for all cases where they are defined, there will be a half-open interval (x₀, x₁) in X such that the restriction of g on (x₀, x₁) can be any increasing function for which sup {g(x)?g(x₀): x₀ ? x < x₁} does not exceed a specified bound, and, when g is thus defines on (x₀, x₁), it will be uniquely determined on the rest of X. In general, g must be continuous only in the ‘irrational’ case.     

Properties of Modules and Rings Relative to Some Matrices

Let R be a ring and  _β×α(R) (?   _β×α(R)) the set of all β × α full (row finite) matrices over R where α and β ≥ 1 are two cardinal numbers. A left R-module M is said to be “injective relative” to a matrix A ? ?   _β×α(R) if every R-homomorphism from R ^(β) A to M extends to one from R ^(α) to M. It is proved that M is injective relative to A if and only if it is A-pure in every module which contains M as a submodule. A right R-module N is called flat relative to a matrix A ?  _β×α(R) if the canonical map μ: N? R ^(β) A → N ^α is a monomorphism. This extends the notion of (m, n)-flat modules so that n-projectivity, finitely projectivity, and τ-flatness can be redefined in terms of flatness relative to certain matrices. R is called left coherent relative to a matrix A ?  _β×α(R) if R ^(β) A is a left R-ML module. Some results on τ-coherent rings and (m, n)-coherent rings are extended.     

Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

Dzik [2] gives a direct proof of the axiom of choice from the generalized Lindenbaum extension theorem LET. The converse is part of every decent logical education. Inspection of Dzik’s proof shows that its premise let attributes a very special version of the Lindenbaum extension property to a very special class of deductive systems, here called Dzik systems. The problem therefore arises of giving a direct proof, not using the axiom of choice, of the conditional . A partial solution is provided. Mathematics Subject Classification (2000): Primary 03B22; Secondary 03E25     

Graphs of Large Girth with Prescribed Partial Circular Colourings

This paper completes the constructive proof of the following result: Suppose p/q2 is a rational number, A is a finite set and f₁,f₂,···,f_n are mappings from A to {0,1,···,p–1}. Then for any integer g, there is a graph G=(V,E) of girth at least g with such that G has exactly n (p,q)-colourings (up to equivalence) g₁,g₂,···,g_n, and each g_i is an extension of f_i. A probabilistic proof of this result was given in [8]. A constructive proof of the case p/q3 was given in [7].This research was partially supported by the National Science Council under grant NSC91-2115-M-110-004     

The Hahn-Banach Property and the Axiom of Choice

We work in set theory ZF without axiom of choice. Though the Hahn-Banach theorem cannot be proved in ZF, we prove that every Gateaux-differentiable uniformly convex Banach space E satisfies the following continuous Hahn-Banach property: if p is a continuous sublinear functional on E, if F is a subspace of E, and if f: F → ? is a linear functional such that f ≤ p|F then there exists a linear functional g : E → ? such that g extends f and g ≤ p. We also prove that the continuous Hahn-Banach property on a topological vector space E is equivalent to the classical geometrical forms of the Hahn-Banach theorem on E. We then prove that the axiom of Dependent choices DC is equivalent to Ekeland's variational principle, and that it implies the continuous Hahn-Banach property on Gateaux-differentiable Banach spaces. Finally, we prove that, though separable normed spaces satisfy the continuous Hahn-Banach property, they do not satisfy the whole Hahn-Banach property in ZF+DC.     

Analytic completeness theorem for singular biprobability models

The aim of the paper is to prove tha analytic completeness theorem for a logic L(∫₁, ∫₂)_A^s with two integral operators in the singular case. The case of absolute continuity was proved in [4]. MSC: 03B48, 03C70.     

On Invariants and Strict Systems of Irreducible Polynomials Over Henselian Valued Fields

Let g(x) be a monic irreducible defectless polynomial over a henselian valued field (K, v), i.e., K(θ) is a defectless extension of (K, v) for any root θ of g(x). It is known that a complete distinguished chain for θ with respect to (K, v) gives rise to several invariants associated with g(x). Recently Ron Brown studied certain invariants of defectless polynomials by introducing strict systems of polynomial extensions. In this article, the authors establish a one-to-one correspondence between strict systems of polynomial extensions and conjugacy classes of complete distinguished chains. This correspondence leads to a simple interpretation of various results proved for strict systems. The authors give new characterizations of an invariant γ _g introduced by Brown.     

Continuous extension operators and convexity

Given a nonempty closed subset A of a Hilbert space X, we denote by L(A) the space of all bounded Lipschitz mappings from A into X, equipped with the supremum norm. We show that there is a continuous mapping F_c:L(A)?L(X) such that for each g∈L(A), F_c(g)|_A=g, , and . We also prove that the corresponding set-valued extension operator is lower semicontinuous.     

Down-Up Algebras From Trees

It is shown that the global dimension of any n-ary down-up algebra A _n  = A(n,α, β,γ) is less than or equal to n + 2, and when γ _i  = 0 for all i (A _n is graded by total degree in the generators), then the global dimension of A _n is n + 2. Furthermore, a sufficient condition for A _n to be prime is given; when γ _i  = 0 for all i this condition is also necessary. An example is given to show that the condition is not always necessary.     

On the predecessor relation in abstract algebras

In this paper we generalize the Dedekind theory of order for the natural numbers N to abstract algebras with arbitrarily many finitary or infinitary operations. For any algebra ??, we introduce an algebraic predecessor relation P?? and its transitive hull P*?? coinciding in N with the unary injective successor function' resp. the >-relation. For some important classes of algebras ??, including Peano algebras (absolutely free algebras, word algebras), the algebraic predecessor relation is well-founded. Hence, its transitive hull, the natural ordering >?? of ??, is a well-founded partial order, which turns out to be a convenient device for classifying Peano algebras with respect to the number of operations and their arities. Moreover, the property of well-foundedness is an efficient tool for giving simple proofs of structure theorems as, e. g., that the class of all Peano algebras is closed under subalgebras and non-void direct products. - Finally, we will show how in the case of a formal language ??, i. e., the Peano algebra ?? of expressions (= terms & formulas), relations P??, resp. P*_?? can be used to define basic syntactical notions as occurences of free and bound variables etc. without any reference to a particular representation (“coding”) of the formal language. MSC: 03B22, 03E30, 03E75, 03F35, 08A55, 08B20.     

On the First Galois Cohomology Group of the Algebraic Group SL1(D)

Let A be a central simple algebra over a field F. Denote the reduced norm of A over F by Nrd: A* → F* and its kernel by SL₁(A). For a field extension K of F, we study the first Galois Cohomology group H ¹(K,SL₁(A)) by two methods, valuation theory for division algebras and K-theory. We shall show that this group fails to be stable under purely transcendental extension and formal Laurent series.     

Completeness of indexed ε-calculus

Epsilon terms indexed by contexts were used by K. von Heusinger to represent definite and indefinite noun phrases as well as some other constructs of natural language. We provide a language and a complete first order system allowing to formalize basic aspects of this representation. The main axiom says that for any finite collection S ₁,,S _k of distinct definable sets and elements a ₁,,a _k of these sets there exists a choice function assigning a _i to S _i for all ik. We prove soundness and completeness theorems for this system S _i ^fin . Mathematics Subject Classification (2000): 03B10, 03B65