68 found

View year:

  1.  7
    Around definable types in p-adically closed fields.Pablo Andújar Guerrero & Will Johnson - 2024 - Annals of Pure and Applied Logic 175 (10):103484.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  6
    Forcing axioms and the uniformization-property.Stefan Hoffelner - 2024 - Annals of Pure and Applied Logic 175 (10):103466.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  2
    Strong minimal pairs in the enumeration degrees.Josiah Jacobsen-Grocott - 2024 - Annals of Pure and Applied Logic 175 (10):103464.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    Finite undecidability in PAC and PRC fields.Brian Tyrrell - 2024 - Annals of Pure and Applied Logic 175 (10):103465.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  23
    Towards logical foundations for probabilistic computation.Melissa Antonelli, Ugo Dal Lago & Paolo Pistone - 2024 - Annals of Pure and Applied Logic 175 (9):103341.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  24
    Reasoning with belief functions over Belnap–Dunn logic.Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Sajad Nazari - 2024 - Annals of Pure and Applied Logic 175 (9):103338.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  18
    A logico-geometric comparison of coherence for non-additive uncertainty measures.Esther Anna Corsi, Tommaso Flaminio & Hykel Hosni - 2024 - Annals of Pure and Applied Logic 175 (9):103342.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  26
    Probabilistic temporal logic with countably additive semantics.Dragan Doder & Zoran Ognjanović - 2024 - Annals of Pure and Applied Logic 175 (9):103389.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  13
    Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras.Tommaso Flaminio & Sara Ugolini - 2024 - Annals of Pure and Applied Logic 175 (9):103337.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  72
    Probing the quantitative–qualitative divide in probabilistic reasoning.Duligur Ibeling, Thomas Icard, Krzysztof Mierzewski & Milan Mossé - 2024 - Annals of Pure and Applied Logic 175 (9):103339.
  11.  6
    Asymptotic conditional probabilities for binary probability functions.J. B. Paris & A. Vencovská - 2024 - Annals of Pure and Applied Logic 175 (9):103335.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  15
    Probability propagation rules for Aristotelian syllogisms.Niki Pfeifer & Giuseppe Sanfilippo - 2024 - Annals of Pure and Applied Logic 175 (9):103340.
  13.  52
    Causal modeling semantics for counterfactuals with disjunctive antecedents.Giuliano Rosella & Jan Sprenger - 2024 - Annals of Pure and Applied Logic 175 (9):103336.
  14.  3
    Two-cardinal ideal operators and indescribability.Brent Cody & Philip White - 2024 - Annals of Pure and Applied Logic 175 (8):103463.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  1
    Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal.David Fernández-Duque & Andreas Weiermann - 2024 - Annals of Pure and Applied Logic 175 (8):103455.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  10
    The ghosts of forgotten things: A study on size after forgetting.Paolo Liberatore - 2024 - Annals of Pure and Applied Logic 175 (8):103456.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  13
    Approachable free subsets and fine structure derived scales.Dominik Adolf & Omer Ben-Neria - 2024 - Annals of Pure and Applied Logic 175 (7):103428.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  12
    Extreme types and extremal models.Seyed-Mohammad Bagheri - 2024 - Annals of Pure and Applied Logic 175 (7):103451.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  18
    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  
  20.  8
    Vector spaces with a dense-codense generic submodule.Alexander Berenstein, Christian D'Elbée & Evgueni Vassiliev - 2024 - Annals of Pure and Applied Logic 175 (7):103442.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  7
    Continuum many different things: Localisation, anti-localisation and Yorioka ideals.Miguel A. Cardona, Lukas Daniel Klausner & Diego A. Mejía - 2024 - Annals of Pure and Applied Logic 175 (7):103453.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  10
    Profiniteness, monadicity and universal models in modal logic.Matteo De Berardinis & Silvio Ghilardi - 2024 - Annals of Pure and Applied Logic 175 (7):103454.
  23.  13
    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  
  24.  24
    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  
  25.  6
    Admissible extensions of subtheories of second order arithmetic.Gerhard Jäger & Michael Rathjen - 2024 - Annals of Pure and Applied Logic 175 (7):103425.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  9
    Can you take Komjath's inaccessible away?Hossein Lamei Ramandi & Stevo Todorcevic - 2024 - Annals of Pure and Applied Logic 175 (7):103452.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    Computable Scott sentences and the weak Whitehead problem for finitely presented groups.Gianluca Paolini - 2024 - Annals of Pure and Applied Logic 175 (7):103441.
  28.  15
    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  
  29.  23
    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  
  30.  21
    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  
  31.  9
    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  
  32.  12
    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  
  33.  11
    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  
  34.  12
    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  
  35.  6
    Nonstandard proof methods in toposes.José Siqueira - 2024 - Annals of Pure and Applied Logic 175 (5):103424.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  5
    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  
  37.  7
    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  
  38.  18
    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   1 citation  
  39.  11
    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  
  40.  23
    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.
  41.  25
    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  
  42.  14
    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  
  43.  11
    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  
  44.  21
    Positive modal logic beyond distributivity.Nick Bezhanishvili, Anna Dmitrieva, Jim de Groot & Tommaso Moraschini - 2024 - Annals of Pure and Applied Logic 175 (2):103374.
  45.  11
    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  
  46.  10
    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  
  47.  9
    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  
  48.  16
    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  
  49.  19
    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  
  50.  6
    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  
  51.  13
    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  
  52.  16
    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  
  53.  4
    Laver forcing and converging sequences.Alan Dow - 2024 - Annals of Pure and Applied Logic 175 (1):103247.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  54.  16
    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  
  55.  16
    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  
  56.  8
    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  
  57.  14
    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  
  58.  90
    Large cardinals at the brink.W. Hugh Woodin - 2024 - Annals of Pure and Applied Logic 175 (1):103328.
  59.  17
    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  
  60.  14
    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  
  61.  9
    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  
  62.  14
    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  
  63.  16
    Boolean valued semantics for infinitary logics.Juan M. Santiago Suárez & Matteo Viale - 2024 - Annals of Pure and Applied Logic 175 (1):103333.
  64.  14
    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  
  65.  17
    Dense metrizability.Stevo Todorcevic - 2024 - Annals of Pure and Applied Logic 175 (1):103327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  66.  8
    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  
  67.  13
    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  
  68.  19
    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