Year:

  1.  7
    Denseness Results in the Theory of Algebraic Fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  5
    Banach-Stone-Like Results for Combinatorial Banach Spaces.C. Brech & C. Piña - 2021 - Annals of Pure and Applied Logic 172 (8):102989.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    Cardinality of Wellordered Disjoint Unions of Quotients of Smooth Equivalence Relations.William Chan & Stephen Jackson - 2021 - Annals of Pure and Applied Logic 172 (8):102988.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  6
    On the Structure of Borel Ideals in-Between the Ideals ED and Fin ⊗ Fin in the Katětov Order.Pratulananda Das, Rafał Filipów, Szymon Gła̧b & Jacek Tryba - 2021 - Annals of Pure and Applied Logic 172 (8):102976.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  5
    Fundamental Group in o-Minimal Structures with Definable Skolem Functions.Bruno Dinis, Mário J. Edmundo & Marcello Mamino - 2021 - Annals of Pure and Applied Logic 172 (8):102975.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  6
    Punctual Definability on Structures.Iskander Kalimullin, Alexander Melnikov & Antonio Montalban - 2021 - Annals of Pure and Applied Logic 172 (8):102987.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Parametrized Ramsey Theory of Infinite Block Sequences of Vectors.Jamal K. Kawach - 2021 - Annals of Pure and Applied Logic 172 (8):102984.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    On the Relationship Between Mutual and Tight Stationarity.William Chen-Mertens & Itay Neeman - 2021 - Annals of Pure and Applied Logic 172 (7):102963.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  4
    Forcing a □(Κ)-Like Principle to Hold at a Weakly Compact Cardinal.Brent Cody, Victoria Gitman & Chris Lambie-Hanson - 2021 - Annals of Pure and Applied Logic 172 (7):102960.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  3
    Simple-Like Independence Relations in Abstract Elementary Classes.Rami Grossberg & Marcos Mazari-Armida - 2021 - Annals of Pure and Applied Logic 172 (7):102971.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  10
    Proof Complexity of Substructural Logics.Raheleh Jalali - 2021 - Annals of Pure and Applied Logic 172 (7):102972.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  5
    Computational Complexity for Bounded Distributive Lattices with Negation.Dmitry Shkatov & C. J. Van Alten - 2021 - Annals of Pure and Applied Logic 172 (7):102962.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  9
    Easton's Theorem for the Tree Property Below ℵ.Šárka Stejskalová - 2021 - Annals of Pure and Applied Logic 172 (7):102974.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  2
    Extending Hrushovski's Groupoid-Cover Correspondence Using Simplicial Groupoids.Paul Wang - 2021 - Annals of Pure and Applied Logic 172 (7):102970.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15.  2
    Finiteness Classes Arising From Ramsey-Theoretic Statements in Set Theory Without Choice.Joshua Brot, Mengyang Cao & David Fernández-Bretón - 2021 - Annals of Pure and Applied Logic 172 (6):102961.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  3
    Non-Forking and Preservation of NIP and Dp-Rank.Pedro Andrés Estevan & Itay Kaplan - 2021 - Annals of Pure and Applied Logic 172 (6):102946.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  5
    Infinitesimal Analysis Without the Axiom of Choice.Karel Hrbacek & Mikhail G. Katz - 2021 - Annals of Pure and Applied Logic 172 (6):102959.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  4
    Dp-Finite Fields I(B): Positive Characteristic.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102949.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  8
    Dp-Finite Fields I(A): The Infinitesimals.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102947.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  7
    The Differential of Probabilistic Entailment.Daniele Mundici - 2021 - Annals of Pure and Applied Logic 172 (6):102945.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  6
    The Hart-Shelah Example, in Stronger Logics.Saharon Shelah & Andrés Villaveces - 2021 - Annals of Pure and Applied Logic 172 (6):102958.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  4
    Determinacy From Strong Compactness of Ω1.Nam Trang & Trevor M. Wilson - 2021 - Annals of Pure and Applied Logic 172 (6):102944.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  4
    Local Collection and End-Extensions of Models of Compositional Truth.Mateusz Łełyk & Bartosz Wcisło - 2021 - Annals of Pure and Applied Logic 172 (6):102941.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  3
    A Microscopic Approach to Souslin-Tree Construction, Part II.Ari Meir Brodsky & Assaf Rinot - 2021 - Annals of Pure and Applied Logic 172 (5):102904.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  3
    Indestructibility of Ideals and MAD Families.David Chodounský & Osvaldo Guzmán - 2021 - Annals of Pure and Applied Logic 172 (5):102905.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  4
    An Efimov Space with Character Less Than S.Alan Dow - 2021 - Annals of Pure and Applied Logic 172 (5):102906.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  7
    Two Applications of Topology to Model Theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102907.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    Corson Reflections.Ilijas Farah & Menachem Magidor - 2021 - Annals of Pure and Applied Logic 172 (5):102908.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  5
    Definable MAD Families and Forcing Axioms.Vera Fischer, David Schrittesser & Thilo Weinert - 2021 - Annals of Pure and Applied Logic 172 (5):102909.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  4
    Convergent Sequences in Topological Groups.Michael Hrušák & Alexander Shibakov - 2021 - Annals of Pure and Applied Logic 172 (5):102910.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  5
    Separating Families and Order Dimension of Turing Degrees.Ashutosh Kumar & Dilip Raghavan - 2021 - Annals of Pure and Applied Logic 172 (5):102911.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  4
    Some Remarks on the Open Coloring Axiom.Justin Tatch Moore - 2021 - Annals of Pure and Applied Logic 172 (5):102912.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  4
    The Borel Complexity of von Neumann Equivalence.Inessa Moroz & Asger Törnquist - 2021 - Annals of Pure and Applied Logic 172 (5):102913.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  5
    Introduction.Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102902.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  5
    Long Games and Σ-Projective Sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  4
    Sets in Prikry and Magidor Generic Extensions.Tom Benhamou & Moti Gitik - 2021 - Annals of Pure and Applied Logic 172 (4):102926.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  9
    Preserving Levels of Projective Determinacy by Tree Forcings.Fabiana Castiblanco & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102918.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  3
    A Parametrised Functional Interpretation of Heyting Arithmetic.Bruno Dinis & Paulo Oliva - 2021 - Annals of Pure and Applied Logic 172 (4):102940.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  4
    Continuous Extension of Maps Between Sequential Cascades.Szymon Dolecki & Andrzej Starosolski - 2021 - Annals of Pure and Applied Logic 172 (4):102928.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    The Full Basis Theorem Does Not Imply Analytic Wellordering.Vladimir Kanovei & Vassily Lyubetsky - 2021 - Annals of Pure and Applied Logic 172 (4):102929.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  6
    On the Structure of Certain Valued Fields.Junguk Lee & Wan Lee - 2021 - Annals of Pure and Applied Logic 172 (4):102927.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  6
    Typical Forcings, NP Search Problems and an Extension of a Theorem of Riis.Moritz Müller - 2021 - Annals of Pure and Applied Logic 172 (4):102930.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Quantum Set Theory: Transfer Principle and De Morgan's Laws.Masanao Ozawa - 2021 - Annals of Pure and Applied Logic 172 (4):102938.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  3
    A Short Note on Groups in Separably Closed Valued Fields.Silvain Rideau-Kikuchi - 2021 - Annals of Pure and Applied Logic 172 (4):102943.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  3
    More on HOD-Supercompactness.Arthur W. Apter, Shoshana Friedman & Gunter Fuchs - 2021 - Annals of Pure and Applied Logic 172 (3):102901.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  7
    Lindström Theorems in Graded Model Theory.Guillermo Badia & Carles Noguera - 2021 - Annals of Pure and Applied Logic 172 (3):102916.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  8
    Intuitionistic Fixed Point Logic.Ulrich Berger & Hideki Tsuiki - 2021 - Annals of Pure and Applied Logic 172 (3):102903.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  7
    Completion of Choice.Vasco Brattka & Guido Gherardi - 2021 - Annals of Pure and Applied Logic 172 (3):102914.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  4
    Superstability, Noetherian Rings and Pure-Semisimple Rings.Marcos Mazari-Armida - 2021 - Annals of Pure and Applied Logic 172 (3):102917.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  5
    A Topological Zero-One Law and Elementary Equivalence of Finitely Generated Groups.D. Osin - 2021 - Annals of Pure and Applied Logic 172 (3):102915.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  51.  7
    Ramsey Transfer to Semi-Retractions.Lynn Scow - 2021 - Annals of Pure and Applied Logic 172 (3):102891.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  52.  5
    Unbounded Towers and Products.Piotr Szewczak & Magdalena Włudecka - 2021 - Annals of Pure and Applied Logic 172 (3):102900.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  53.  10
    Algebraic Combinatorics in Bounded Induction.Joaquín Borrego-Díaz - 2021 - Annals of Pure and Applied Logic 172 (2):102885.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  54.  5
    Derivatives of Normal Functions in Reverse Mathematics.Anton Freund & Michael Rathjen - 2021 - Annals of Pure and Applied Logic 172 (2):102890.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  55.  2
    Stationary and Closed Rainbow Subsets.Shimon Garti & Jing Zhang - 2021 - Annals of Pure and Applied Logic 172 (2):102887.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  56.  8
    Computable Irrational Numbers with Representations of Surprising Complexity.Ivan Georgiev, Lars Kristiansen & Frank Stephan - 2021 - Annals of Pure and Applied Logic 172 (2):102893.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  57.  3
    Preservation Theorems for Namba Forcing.Osvaldo Guzmán, Michael Hrušák & Jindřich Zapletal - 2021 - Annals of Pure and Applied Logic 172 (2):102869.
  58.  3
    Small Models, Large Cardinals, and Induced Ideals.Peter Holy & Philipp Lücke - 2021 - Annals of Pure and Applied Logic 172 (2):102889.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  59.  2
    First-Order Model Theory of Free Projective Planes.Tapani Hyttinen & Gianluca Paolini - 2021 - Annals of Pure and Applied Logic 172 (2):102888.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  60.  10
    Towards the Entropy-Limit Conjecture.Jürgen Landes, Soroush Rafiee Rad & Jon Williamson - 2021 - Annals of Pure and Applied Logic 172 (2):102870.
    The maximum entropy principle is widely used to determine non-committal probabilities on a finite domain, subject to a set of constraints, but its application to continuous domains is notoriously problematic. This paper concerns an intermediate case, where the domain is a first-order predicate language. Two strategies have been put forward for applying the maximum entropy principle on such a domain: applying it to finite sublanguages and taking the pointwise limit of the resulting probabilities as the size n of the sublanguage (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  61.  7
    When P(Λ) (Vaguely) Resembles Κ.Pierre Matet - 2021 - Annals of Pure and Applied Logic 172 (2):102874.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  62.  5
    The Canonical Pairs of Bounded Depth Frege Systems.Pavel Pudlák - 2021 - Annals of Pure and Applied Logic 172 (2):102892.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  63.  5
    On the Number of Independent Orders.Kota Takeuchi & Akito Tsuboi - 2021 - Annals of Pure and Applied Logic 172 (2):102886.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  64.  1
    Ax-Schanuel and Strong Minimality for the J-Function.Vahagn Aslanyan - 2021 - Annals of Pure and Applied Logic 172 (1):102871.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  65.  8
    Complexity of Syntactical Tree Fragments of Independence-Friendly Logic.Fausto Barbero - 2021 - Annals of Pure and Applied Logic 172 (1):102859.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  66.  3
    Open Core and Small Groups in Dense Pairs of Topological Structures.Elías Baro & Amador Martin-Pizarro - 2021 - Annals of Pure and Applied Logic 172 (1):102858.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  67.  10
    Filter-Linkedness and its Effect on Preservation of Cardinal Characteristics.Jörg Brendle, Miguel A. Cardona & Diego A. Mejía - 2021 - Annals of Pure and Applied Logic 172 (1):102856.
    We introduce the property “F-linked” of subsets of posets for a given free filter F on the natural numbers, and define the properties “μ-F-linked” and “θ-F-Knaster” for posets in a natural way. We show that θ-F-Knaster posets preserve strong types of unbounded families and of maximal almost disjoint families. Concerning iterations of such posets, we develop a general technique to construct θ-Fr-Knaster posets (where Fr is the Frechet ideal) via matrix iterations of <θ-ultrafilter-linked posets (restricted to some level of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  68.  4
    Tukey Order, Calibres and the Rationals.Paul Gartside & Ana Mamatelashvili - 2021 - Annals of Pure and Applied Logic 172 (1):102873.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  69.  5
    The Tree Property at Double Successors of Singular Cardinals of Uncountable Cofinality with Infinite Gaps.Mohammad Golshani & Alejandro Poveda - 2021 - Annals of Pure and Applied Logic 172 (1):102853.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  70.  7
    Finitely Generated Groups Are Universal Among Finitely Generated Structures.Matthew Harrison-Trainor & Meng-Che “Turbo” Ho - 2021 - Annals of Pure and Applied Logic 172 (1):102855.
    Universality has been an important concept in computable structure theory. A class C of structures is universal if, informally, for any structure of any kind there is a structure in C with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal. This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope of being (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  71.  6
    Computable Analogs of Cardinal Characteristics: Prediction and Rearrangement.Iván Ongay-Valverde & Paul Tveite - 2021 - Annals of Pure and Applied Logic 172 (1):102872.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  72.  12
    Probabilistic Characterisation of Models of First-Order Theories.Soroush Rafiee Rad - 2021 - Annals of Pure and Applied Logic 172 (1):102875.
    We study probabilistic characterisation of a random model of a finite set of first order axioms. Given a set of first order axioms.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  73.  11
    |˜-Divisibility of Ultrafilters.Boris Šobot - 2021 - Annals of Pure and Applied Logic 172 (1):102857.
    We further investigate a divisibility relation on the set of BN ultrafilters on the set of natural numbers. We single out prime ultrafilters (divisible only by 1 and themselves) and establish a hierarchy in which a position of every ultrafilter depends on the set of prime ultrafilters it is divisible by. We also construct ultrafilters with many immediate successors in this hierarchy and find positions of products of ultrafilters.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
 Previous issues
  
Next issues