No Escape from Vardanyan's theorem

Vardanyan's theorem states that the set of PA-valid principles of Quantified Modal Logic, QML, is complete Π⁰₂. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum's Theorem.     

Finite order spreading models

Extending the classical notion of spreading model, the k$k$-spreading models of a Banach space are introduced, for every k∈N$k\in \mathbb{N}$. The definition, which is based on the k$k$-sequences and plegma families, reveals a new class of spreading sequences associated to a Banach space. Most of the results of the classical theory are stated and proved in the higher order setting. Moreover, new phenomena like the universality of the class of the 2-spreading models of _c0$c_0$ and the composition property are established. As consequence, a problem concerning the structure of the k$k$-iterated spreading models is solved.     

Krivine's theorem and the indices of a Banach lattice

In this paper we shall present an exposition of a fundamental result due to J.L. Krivine about the local structure of a Banach lattice. In [3] Krivine proved that _p (1p) is finitely lattice representable in any infinite dimensional Banach lattice. At the end of the introduction of [3] it is then stated that a value of p for which this holds is given by, what we will call below, the upper index of the Banach lattice. He states that this follows from the methods of his paper and of the paper [5] of Maurey and Pisier. One can ask whether the theorem also holds for p equal to the lower index of the Banach lattice. At first glance this is not obvious from [3], since many theorems in [3] have as a hypothesis that the upper index of the Banach lattice is finite. This can e.g. also be seen from the book [6] of H.U. Schwarz, where only the result for the upper index is stated, while both indices are discussed. One purpose of this paper is clarify this point and to present an exposition of all the ingredients of a proof of Krivine's theorem for both the upper and lower index of a Banach lattice. We first gather some definitions and state some properties of the indices of a Banach lattice. For a discussion of these indices we refer to the book of Zaanen[7].     

Completeness for flat modal fixpoint logics

This paper exhibits a general and uniform method to prove axiomatic completeness for certain modal fixpoint logics. Given a set Γ of modal formulas of the form γ(x,p₁,…,p_n), where x occurs only positively in γ, we obtain the flat modal fixpoint language L_?(Γ) by adding to the language of polymodal logic a connective ?_γ for each γ∈Γ. The term ?_γ(φ₁,…,φ_n) is meant to be interpreted as the least fixed point of the functional interpretation of the term γ(x,φ₁,…,φ_n). We consider the following problem: given Γ, construct an axiom system which is sound and complete with respect to the concrete interpretation of the language L_?(Γ) on Kripke structures. We prove two results that solve this problem.First, let be the logic obtained from the basic polymodal by adding a Kozen-Park style fixpoint axiom and a least fixpoint rule, for each fixpoint connective ?_γ. Provided that each indexing formula γ satisfies a certain syntactic criterion, we prove this axiom system to be complete.Second, addressing the general case, we prove the soundness and completeness of an extension of . This extension is obtained via an effective procedure that, given an indexing formula γ as input, returns a finite set of axioms and derivation rules for ?_γ, of size bounded by the length of γ. Thus the axiom system is finite whenever Γ is finite.     

Identity theorem for bounded p-adic meromorphic functions

Let K be a complete ultrametric algebraically closed field. We investigate several properties of sequences (an)_n∈N in a disk d(0,R⁻) with regards to bounded analytic functions in that disk: sequences of uniqueness (when f(an)=0∀n∈N implies f=0), identity sequences (when limn→+∞f(an)=0 implies f=0) and analytic boundaries (when lim supn→∞|f(an)|=‖f‖). Particularly, we show that identity sequences and analytic boundary sequences are two equivalent properties. For certain sequences, sequences of uniqueness and identity sequences are two equivalent properties. A connection with Blaschke sequences is made. Most of the properties shown on analytic functions have continuation to meromorphic functions.     

POWER STRUCTURES AND LOGIC

ABSTRACT

This paper generalizes the concept of a power alge bra to that of a power structure, and gives three application of power structures to logic.     

Around provability logic

We present some results on algebraic and modal analysis of polynomial (intrinsically definable) distortions of the standard provability predicate in Peano Arithmetic PA, and investigate three provability-like modal systems related to the Gödel-Löb modal system GL. We also present a short review of relational and topological semantics for these systems, and describe the dual category of algebraic models of our main modal system.     

Point-Free Version of Kakutani Duality

There are many results proved using the Axiom of Choice. Using point-free topology, we can prove some of these results without using this axiom. B. Banaschewski in [Pointfree Topology and the Spectra of f-rings, Ordered algebraic structures (Curacoa, 1995), Kluwer, Dordrecht, 123–148], studying the spectra of f-rings, describes the point-free version of the classical Gelfand duality without using the Axiom of Choice In this paper, referring to [Ebrahimi, M. M., Karimi Feizabadi, A. and Mahmoudi, M.: Pointfree Spectra of Riesz Space, Appl. Categ. Struct. 12 (2004), 397–409; Ebrahimi, M. M. and Karimi Feizabadi, A.: Pointfree Spectra of ℓ-Modules, To appear in J. Pure Appl. Algebra], we describe a point-free version of the classical Kakutani duality. For this, using one of the spectra given in [Ebrahimi, M. M., Karimi Feizabadi, A. and Mahmoudi, M.: Pointfree Spectra of Riesz Space, Appl. Categ. Struct. 12 (2004), 397–409; Ebrahimi, M. M. and Karimi Feizabadi, A.: Pointfree Spectra of l-Modules, To appear in J. Pure Appl. Algebra], we find an adjunction between the category of compact completely regular frames with frame maps and the category of Archimedean bounded Riesz spaces with continuous Riesz maps.     

Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.     

A note on subsymmetric renormings of Banach spaces

We revisit the concept of a subsymmetric norm and construct a subsymmetric renorming of a Banach space with a subsymmetric basis. As a by-product of our work we introduce the concept of a lower symmetric basis and investigate its connection with subsymmetric bases and subsymmetric renormings.     

The bounded proof property via step algebras and step frames

The paper introduces semantic and algorithmic methods for establishing a variant of the analytic subformula property (called ‘the bounded proof property’, bpp) for modal propositional logics. The bpp is much weaker property than full cut-elimination, but it is nevertheless sufficient for establishing decidability results. Our methodology originated from tools and techniques developed on one side within the algebraic/coalgebraic literature dealing with free algebra constructions and on the other side from classical correspondence theory in modal logic. As such, our approach is orthogonal to recent literature based on proof-theoretic methods and, in a way, complements it.     

Characterizing filters by convergence (with respect to filters) in Banach spaces

Let X be a topological space and let F be a filter on N, recall that a sequence (xn)_n∈N in X is said to be F-convergent to the point x∈X, if for each neighborhood U of x, {n∈N:xn∈U}∈F. By using F-convergence in ?₁ and in Banach spaces, we characterize the P-filters, the P-filters⁺, the weak P-filters, the Q-filters, the Q-filters⁺, the weak Q-filters, the selective filters and the selective⁺ filters.     

A solution to the problem of Lp-L^p-maximal regularity

We give a negative solution to the problem of the -maximal regularity on various classes of Banach spaces including -spaces with . Received June 11, 1999; in final form September 6, 1999 / Published online September 14, 2000     

Generalized ordinal sums and the decidability of BL-chains

We present a general construction of a family of ordinal sums of a sequence of structures and prove an elimination theorem for the class of ordinal sums in an expanded language. From this we deduce the decidability of the class of -ordinal sums of models of a decidable theory T. As an application of this result we prove that the theory of BL-chains is decidable.In Celebration of the Sixtieth Birthday of Ralph N. McKenzieReceived June 9, 2002; accepted in final form June 19, 2003.     

Hölder estimates of p-harmonic extension operators

It is now a well-known fact that for 1<p<∞ the p-harmonic functions on domains in metric measure spaces equipped with a doubling measure supporting a (1,p)-Poincaré inequality are locally Hölder continuous. In this note we provide a characterization of domains in such metric spaces for which p-harmonic extensions of Hölder continuous boundary data are globally Hölder continuous. We also provide a link between this regularity property of the domain and the uniform p-fatness of the complement of the domain.     

MacNeille completions of lattice expansions

There are two natural ways to extend an arbitrary map between (the carriers of) two lattices, to a map between their MacNeille completions. In this paper we investigate which properties of lattice maps are preserved under these constructions, and for which kind of maps the two extensions coincide. Our perspective involves a number of topologies on lattice completions, including the Scott topologies and topologies that are induced by the original lattice. We provide a characterization of the MacNeille completion in terms of these induced topologies. We then turn to expansions of lattices with additional operations, and address the question of which equational properties of such lattice expansions are preserved under various types of MacNeille completions that can be defined for these algebras. For a number of cases, including modal algebras and residuated (ortho)lattice expansions, we provide reasonably sharp sufficient conditions on the syntactic shape of equations that guarantee preservation. Generally, our results show that the more residuation properties the primitive operations satisfy, the more equations are preserved. Received August 21, 2005; accepted in final form October 17, 2006.     

Maximal linear groups induced on the Frattini quotient of a p-group

Let $p>3$ be a prime. For each maximal subgroup $H?\mathrm{GL}(d,p)$ with $|H|?p^{3d+1}$, we construct a d-generator finite p-group G with the property that $\mathrm{Aut}(G)$ induces H on the Frattini quotient $G/\mathrm{\Phi }(G)$ and $|G|?p^{\frac{d^4}{2}}$. A significant feature of this construction is that $|G|$ is very small compared to $|H|$, shedding new light upon a celebrated result of Bryant and Kovács. The groups G that we exhibit have exponent p, and of all such groups G with the desired action of H on $G/\mathrm{\Phi }(G)$, the construction yields groups with smallest nilpotency class, and in most cases, the smallest order.     

The endomorphism spectrum of an ordered set

Theendomorphism spectrum of an ordered setP, spec(P)={|f(P)|:f End(P)} andspectrum number, sp(P)=max(spec(P)\{|P|}) are introduced. It is shown that |P|>(1/2)n(n – 1) ^{n – 1} implies spec(P) = {1, 2, ...,n} and that if a projective plane of ordern exists, then there is an ordered setP of size 2n ²+2n+2 with spec(P)={1, 2, ..., 2n+2, 2n+4}. Lettingh(n)=max{|P|: sp(P)n}, it follows thatc ₁ n ²h(n)c ₂ n ⁿ⁺¹ for somec ₁ andc ₂. The lower bound disproves the conjecture thath(n)2n. It is shown that if |P| – 1 spec(P) thenP has a retract of size |P| – 1 but that for all there is a bipartite ordered set with spec(P) = {|P| – 2, |P| – 4, ...} which has no proper retract of size|P| – . The case of reflexive graphs is also treated.Partially supported by a grant from the NSERC.Partially supported by a grant from the NSERC.     

Gelfand Numbers of Identity Operators Between Symmetric Sequence Spaces

Complementing and generalizing classical as well as recent results, we prove asymptotically optimal formulas for the Gelfand and approximation numbers of identities Eⁿ ↪ Fⁿ, where Eⁿ and Fⁿ denote the n-th sections of symmetric quasi-Banach sequence spaces E and F satisfying certain interpolation assumptions. We illustrate our results by considering classical spaces such as Lorentz and Orlicz sequence spaces. Supported by DFG grant Hi 584/2-2.     

The strength of extensionality II — Weak weak set theories without infinity

By obtaining several new results on Cook-style two-sorted bounded arithmetic, this paper measures the strengths of the axiom of extensionality and of other weak fundamental set-theoretic axioms in the absence of the axiom of infinity, following the author’s previous work [K. Sato, The strength of extensionality I — weak weak set theories with infinity, Annals of Pure and Applied Logic 157 (2009) 234-268] which measures them in the presence. These investigations provide a uniform framework in which three different kinds of reverse mathematics-Friedman-Simpson’s “orthodox” reverse mathematics, Cook’s bounded reverse mathematics and large cardinal theory-can be reformulated within one language so that we can compare them more directly.