45 found

View year:

  1.  11
    Big Ramsey degrees in ultraproducts of finite structures.Dana Bartošová, Mirna Džamonja, Rehana Patel & Lynn Scow - 2024 - Annals of Pure and Applied Logic 175 (7):103439.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  8
    Semiconic idempotent logic I: Structure and local deduction theorems.Wesley Fussner & Nikolaos Galatos - 2024 - Annals of Pure and Applied Logic 175 (7):103443.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    Generalized independence.Fernando Hernández-Hernández & Carlos López-Callejas - 2024 - Annals of Pure and Applied Logic 175 (7):103440.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  1
    Computable Scott sentences and the weak Whitehead problem for finitely presented groups.Gianluca Paolini - 2024 - Annals of Pure and Applied Logic 175 (7):103441.
  5.  5
    A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI.Kentaro Sato - 2024 - Annals of Pure and Applied Logic 175 (7):103422.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    Arboreal categories and equi-resource homomorphism preservation theorems.Samson Abramsky & Luca Reggio - 2024 - Annals of Pure and Applied Logic 175 (6):103423.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  13
    ZF and its interpretations.S. Jockwich Martinez, S. Tarafder & G. Venturi - 2024 - Annals of Pure and Applied Logic 175 (6):103427.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    A good lightface Δ n 1 well-ordering of the reals does not imply the existence of boldface Δ n − 1 1 well-orderings.Vladimir Kanovei & Vassily Lyubetsky - 2024 - Annals of Pure and Applied Logic 175 (6):103426.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  5
    Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field.Dong Quan Ngoc Nguyen - 2024 - Annals of Pure and Applied Logic 175 (6):103438.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  8
    The formal verification of the ctm approach to forcing.Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf & Matías Steinberg - 2024 - Annals of Pure and Applied Logic 175 (5):103413.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension.Aristotelis Panagiotopoulos & Assaf Shani - 2024 - Annals of Pure and Applied Logic 175 (5):103412.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  3
    Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    Towards characterizing the >ω2-fickle recursively enumerable Turing degrees.Liling Ko - 2024 - Annals of Pure and Applied Logic 175 (4):103403.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  4
    Sharp Vaught's conjecture for some classes of partial orders.Miloš S. Kurilić - 2024 - Annals of Pure and Applied Logic 175 (4):103411.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  9
    Structural and universal completeness in algebra and logic.Paolo Aglianò & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (3):103391.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    SOP1, SOP2, and antichain tree property.JinHoo Ahn & Joonhee Kim - 2024 - Annals of Pure and Applied Logic 175 (3):103402.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  11
    On categorical structures arising from implicative algebras: From topology to assemblies.Samuele Maschio & Davide Trotta - 2024 - Annals of Pure and Applied Logic 175 (3):103390.
  18.  20
    Constructing the constructible universe constructively.Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (3):103392.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  10
    Pathologies in satisfaction classes.Athar Abdul-Quader & Mateusz Łełyk - 2024 - Annals of Pure and Applied Logic 175 (2):103387.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  8
    Towards a finer classification of strongly minimal sets.John T. Baldwin & Viktor V. Verbovskiy - 2024 - Annals of Pure and Applied Logic 175 (2):103376.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  10
    Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.
  22.  7
    Classification of ℵ0-categorical C-minimal pure C-sets.Françoise Delon & Marie-Hélène Mourgues - 2024 - Annals of Pure and Applied Logic 175 (2):103375.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  9
    On the geometric equivalence of algebras.M. Shahryari - 2024 - Annals of Pure and Applied Logic 175 (2):103386.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  8
    On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  12
    The relative strengths of fragments of Martin's axiom.Joan Bagaria - 2024 - Annals of Pure and Applied Logic 175 (1):103330.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  14
    Primitive recursive reverse mathematics.Nikolay Bazhenov, Marta Fiori-Carones, Lu Liu & Alexander Melnikov - 2024 - Annals of Pure and Applied Logic 175 (1):103354.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  5
    Generalized fusible numbers and their ordinals.Alexander I. Bufetov, Gabriel Nivasch & Fedor Pakhomov - 2024 - Annals of Pure and Applied Logic 175 (1):103355.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  7
    On middle box products and paracompact cardinals.David Buhagiar & Mirna Džamonja - 2024 - Annals of Pure and Applied Logic 175 (1):103332.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  10
    HL ideals and Sacks indestructible ultrafilters.David Chodounský, Osvaldo Guzmán & Michael Hrušák - 2024 - Annals of Pure and Applied Logic 175 (1):103326.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    Laver forcing and converging sequences.Alan Dow - 2024 - Annals of Pure and Applied Logic 175 (1):103247.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Weak saturation properties and side conditions.Monroe Eskew - 2024 - Annals of Pure and Applied Logic 175 (1):103356.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  9
    Mutually embeddable models of ZFC.Monroe Eskew, Sy-David Friedman, Yair Hayut & Farmer Schlutzenberg - 2024 - Annals of Pure and Applied Logic 175 (1):103325.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  6
    Extensions of Solovay's system S without independent sets of axioms.Igor Gorbunov & Dmitry Shkatov - 2024 - Annals of Pure and Applied Logic 175 (1):103360.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  9
    Indestructibility of some compactness principles over models of PFA.Radek Honzik, Chris Lambie-Hanson & Šárka Stejskalová - 2024 - Annals of Pure and Applied Logic 175 (1):103359.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  76
    Large cardinals at the brink.W. Hugh Woodin - 2024 - Annals of Pure and Applied Logic 175 (1):103328.
  36.  14
    Some simple theories from a Boolean algebra point of view.M. Malliaris & S. Shelah - 2024 - Annals of Pure and Applied Logic 175 (1):103345.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  10
    Zero-dimensional σ-homogeneous spaces.Andrea Medini & Zoltán Vidnyánszky - 2024 - Annals of Pure and Applied Logic 175 (1):103331.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    Locally compact, ω1-compact spaces.Peter Nyikos & Lyubomyr Zdomskyy - 2024 - Annals of Pure and Applied Logic 175 (1):103324.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  7
    A formalised theorem in the partition calculus.Lawrence C. Paulson - 2024 - Annals of Pure and Applied Logic 175 (1):103246.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  10
    Boolean valued semantics for infinitary logics.Juan M. Santiago Suárez & Matteo Viale - 2024 - Annals of Pure and Applied Logic 175 (1):103333.
  41.  11
    Some variations on the splitting number.Saharon Shelah & Juris Steprāns - 2024 - Annals of Pure and Applied Logic 175 (1):103321.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  14
    Dense metrizability.Stevo Todorcevic - 2024 - Annals of Pure and Applied Logic 175 (1):103327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  5
    On countably perfectly meager and countably perfectly null sets.Tomasz Weiss & Piotr Zakrzewski - 2024 - Annals of Pure and Applied Logic 175 (1):103357.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers.Ur Ya'ar - 2024 - Annals of Pure and Applied Logic 175 (1):103358.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  11
    Two chain conditions and their Todorčević's fragments of Martin's Axiom.Teruyuki Yorioka - 2024 - Annals of Pure and Applied Logic 175 (1):103320.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
 Previous issues
  
Next issues