Year:

  1.  4
    Diagonal Supercompact Radin Forcing.Omer Ben-Neria, Chris Lambie-Hanson & Spencer Unger - 2020 - Annals of Pure and Applied Logic 171 (10):102828.
    Motivated by the goal of constructing a model in which there are no κ-Aronszajn trees for any regular $k>\aleph_1$, we produce a model with many singular cardinals where both the singular cardinals hypothesis and weak square fail.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    Rules with Parameters in Modal Logic II.Emil Jeřábek - 2020 - Annals of Pure and Applied Logic 171 (10):102829.
  3.  2
    Modal Extension of Ideal Paraconsistent Four-Valued Logic and its Subsystem.Norihiro Kamide & Yoni Zohar - 2020 - Annals of Pure and Applied Logic 171 (10):102830.
    This study aims to introduce a modal extension M4CC of Arieli, Avron, and Zamansky's ideal paraconsistent four-valued logic 4CC as a Gentzen-type sequent calculus and prove the Kripke-completeness and cut-elimination theorems for M4CC. The logic M4CC is also shown to be decidable and embeddable into the normal modal logic S4. Furthermore, a subsystem of M4CC, which has some characteristic properties that do not hold for M4CC, is introduced and the Kripke-completeness and cut-elimination theorems for this subsystem are proved. This subsystem (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    Algebraically Closed Structures in Positive Logic.Mohammed Belkasmi - 2020 - Annals of Pure and Applied Logic 171 (9):102822.
    In this paper we extend of the notion of algebraically closed given in the case of groups and skew fields to an arbitrary h-inductive theory. The main subject of this paper is the study of the notion of positive algebraic closedness and its relationship with the notion of positive closedness and the amalgamation property.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Perfect Tree Forcings for Singular Cardinals.Natasha Dobrinen, Dan Hathaway & Karel Prikry - 2020 - Annals of Pure and Applied Logic 171 (9):102827.
  6.  4
    Silver Type Theorems for Collapses.Moti Gitik - 2020 - Annals of Pure and Applied Logic 171 (9):102825.
    Let κ be a cardinal of cofinality \omega_1 witnessed by a club of cardinals (κ_\alpha | \alpha < \omega_1) . We study Silver's type effects of collapsing of κ^+_\alphas 's on κ^+ . A model in which κ^+_\alphas 's (and also κ^+) are collapsed on a stationary co-stationary set is constructed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  5
    Expander Construction in VNC1.Sam Buss, Valentine Kabanets, Antonina Kolokolova & Michal Koucký - 2020 - Annals of Pure and Applied Logic 171 (7):102796.
    We give a combinatorial analysis (using edge expansion) of a variant of the iterative expander construction due to Reingold, Vadhan, and Wigderson [44], and show that this analysis can be formalized in the bounded arithmetic system VNC^1 (corresponding to the “NC^1 reasoning”). As a corollary, we prove the assumption made by Jeřábek [28] that a construction of certain bipartite expander graphs can be formalized in VNC^1 . This in turn implies that every proof in Gentzen's sequent calculus LK of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  4
    Expansions of Real Closed Fields That Introduce No New Smooth Functions.Pantelis E. Eleftheriou & Alex Savatovsky - 2020 - Annals of Pure and Applied Logic 171 (7):102808.
  9.  5
    Turing Reducibility in the Fine Hierarchy.Alexander G. Melnikov, Victor L. Selivanov & Mars M. Yamaleev - 2020 - Annals of Pure and Applied Logic 171 (7):102766.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  6
    The Density Zero Ideal and the Splitting Number.Dilip Raghavan - 2020 - Annals of Pure and Applied Logic 171 (7):102807.
    The main result of this paper is an improvement of the upper bound on the cardinal invariant $cov^*(L_0)$ that was discovered in [11]. Here $L_0$ is the ideal of subsets of the set of natural numbers that have asymptotic density zero. This improved upper bound is also dualized to get a better lower bound on the cardinal $non^*(L_0)$. En route some variations on the splitting number are introduced and several relationships between these variants are proved.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    M-Separable Spaces of Functions Are Productive in the Miller Model.Dušan Repovš & Lyubomyr Zdomskyy - 2020 - Annals of Pure and Applied Logic 171 (7):102806.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    Herbrand's Theorem as Higher Order Recursion.Bahareh Afshari, Stefan Hetzl & Graham E. Leigh - 2020 - Annals of Pure and Applied Logic 171 (6):102792.
  13.  5
    Bilattice Logic of Epistemic Actions and Knowledge.Zeinab Bakhtiari, Hans van Ditmarsch & Umberto Rivieccio - 2020 - Annals of Pure and Applied Logic 171 (6):102790.
    Baltag, Moss, and Solecki proposed an expansion of classical modal logic, called logic of epistemic actions and knowledge (EAK), in which one can reason about knowledge and change of knowledge. Kurz and Palmigiano showed how duality theory provides a flexible framework for modeling such epistemic changes, allowing one to develop dynamic epistemic logics on a weaker propositional basis than classical logic (for example an intuitionistic basis). In this paper we show how the techniques of Kurz and Palmigiano can be further (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  6
    Characterizations of the Weakly Compact Ideal on Pλ.Brent Cody - 2020 - Annals of Pure and Applied Logic 171 (6):102791.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    Some Lower Bounds on Shelah Rank in the Free Group.Javier de la Nuez González, Chloé Perin & Rizos Sklinos - 2020 - Annals of Pure and Applied Logic 171 (6):102794.
    We give some lower bounds on the Shelah rank of varieties in the free group whose coordinate groups are hyperbolic towers.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  5
    Embeddings Between Well-Orderings: Computability-Theoretic Reductions.Jun Le Goh - 2020 - Annals of Pure and Applied Logic 171 (6):102789.
    We study the computational content of various theorems with reverse mathematical strength around Arithmetical Transfinite Recursion (ATR_0) from the point of view of computability-theoretic reducibilities, in particular Weihrauch reducibility. Our main result states that it is equally hard to construct an embedding between two given well-orderings, as it is to construct a Turing jump hierarchy on a given well-ordering. This answers a question of Marcone. We obtain a similar result for Fraïssé's conjecture restricted to well-orderings.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  3
    Definable Groups in Models of Presburger Arithmetic.Alf Onshuus & Mariana Vicaría - 2020 - Annals of Pure and Applied Logic 171 (6):102795.
    This paper is devoted to understand groups definable in Presburger Arithmetic. We prove the following theorems: Theorem 1. Every group definable in a model of Presburger Arithmetic is abelian-by-finite. Theorem 2. Every bounded abelian group definable in a model of (Z, +, <) Presburger Arithmetic is definably isomorphic to (Z, +)^n mod out by a lattice.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  7
    Univalent polymorphism.Benno van den Berg - 2020 - Annals of Pure and Applied Logic 171 (6):102793.
    We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category EFF. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as such provide a context in which one can interpret many notions from homotopy theory and Homotopy Type Theory. Within the path category EFF one can identify a class of discrete fibrations which is closed under push forward along arbitrary fibrations (in other words, this (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  3
    Short Extenders Forcings – Doing Without Preparations.Moti Gitik - 2020 - Annals of Pure and Applied Logic 171 (5):102787.
    We introduce certain morass type structures and apply them to blowing up powers of singular cardinals. As a bonus, a forcing for adding clubs with finite conditions to higher cardinals is obtained.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    Non-Finitely Axiomatisable Modal Product Logics with Infinite Canonical Axiomatisations.Christopher Hampson, Stanislav Kikot, Agi Kurucz & Sérgio Marcelino - 2020 - Annals of Pure and Applied Logic 171 (5):102786.
    Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In particular, we consider modal products with Diff, the propositional unimodal logic of the difference operator. We show that the two-dimensional product logic $Diff \times Diff$ is non-finitely axiomatisable, but can be axiomatised by infinitely many Sahlqvist axioms. We also show that its ‘square’ version (the modal counterpart of the substitution and equality free fragment of two-variable first-order (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  5
    Pincherle's Theorem in Reverse Mathematics and Computability Theory.Dag Normann & Sam Sanders - 2020 - Annals of Pure and Applied Logic 171 (5):102788.
    We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first ‘local-to-global’ principles. It is well-known that such principles in analysis are intimately connected to (open-cover) compactness, but we nonetheless exhibit fundamental differences between compactness and Pincherle's theorem. For instance, the main question of Reverse Mathematics, namely which set existence axioms are necessary to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  3
    The Tree Property at First and Double Successors of Singular Cardinals with an Arbitrary Gap.Alejandro Poveda - 2020 - Annals of Pure and Applied Logic 171 (5):102778.
  23.  5
    Ordered Asymptotic Classes of Finite Structures.Darío García - 2020 - Annals of Pure and Applied Logic 171 (4):102776.
    We introduce the concept of o-asymptotic classes of finite structures, melding ideas coming from 1-dimensional asymptotic classes and o-minimality. Along with several examples and non-examples of these classes, we present some classification theory results of their infinite ultraproducts: Every infinite ultraproduct of structures in an o-asymptotic class is superrosy of U^þ-rank 1, and NTP2 (in fact, inp-minimal).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  4
    On Subrecursive Complexity of Integration.Ivan Georgiev - 2020 - Annals of Pure and Applied Logic 171 (4):102777.
    We consider the complexity of the integration operator on real functions with respect to the subrecursive class M^2 . We prove that the definite integral of a uniformly M^2-computable analytic real function with M^2-computable limits is itself M^2-computable real number. We generalise this result to integrals with parameters and with varying limits. As an application, we show that the Euler-Mascheroni constant is M^2-computable.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  10
    Completeness Theorems for Σ–Additive Probabilistic Semantics.Nebojša Ikodinović, Zoran Ognjanović, Aleksandar Perović & Miodrag Rašković - 2020 - Annals of Pure and Applied Logic 171 (4):102755.
  26.  11
    Stationarily Ordered Types and the Number of Countable Models.Slavko Moconja & Predrag Tanović - 2020 - Annals of Pure and Applied Logic 171 (3):102765.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  6
    Elementary Inductive Dichotomy: Separation of Open and Clopen Determinacies with Infinite Alternatives.Kentaro Sato - 2020 - Annals of Pure and Applied Logic 171 (3):102754.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  10
    Determinate Logic and the Axiom of Choice.J. P. Aguilera - 2020 - Annals of Pure and Applied Logic 171 (2):102745.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  5
    Functional Representation of Finitely Generated Free Algebras in Subvarieties of BL-Algebras.Manuela Busaniche, José Luis Castiglioni & Noemí Lubomirsky - 2020 - Annals of Pure and Applied Logic 171 (2):102757.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  9
    Remarks on Generic Stability in Independent Theories.Gabriel Conant & Kyle Gannon - 2020 - Annals of Pure and Applied Logic 171 (2):102736.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  4
    Uniformly Locally o-Minimal Structures and Locally o-Minimal Structures Admitting Local Definable Cell Decomposition.Masato Fujita - 2020 - Annals of Pure and Applied Logic 171 (2):102756.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  8
    Feasibly Constructive Proofs of Succinct Weak Circuit Lower Bounds.Moritz Müller & Ján Pich - 2020 - Annals of Pure and Applied Logic 171 (2):102735.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  6
    Resolution Over Linear Equations Modulo Two.Dmitry Itsykson & Dmitry Sokolov - 2020 - Annals of Pure and Applied Logic 171 (1):102722.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  7
    Algebraic Description of Limit Models in Classes of Abelian Groups.Marcos Mazari-Armida - 2020 - Annals of Pure and Applied Logic 171 (1):102723.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  8
    Lyndon Interpolation Theorem of Instantial Neighborhood Logic – Constructively Via a Sequent Calculus.Junhua Yu - 2020 - Annals of Pure and Applied Logic 171 (1):102721.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues