54 found

View year:

  1.  4
    Independence relations for exponential fields.Vahagn Aslanyan, Robert Henderson, Mark Kamsma & Jonathan Kirby - 2023 - Annals of Pure and Applied Logic 174 (8):103288.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  3
    Forcing with copies of the Rado and Henson graphs.Osvaldo Guzmán & Stevo Todorcevic - 2023 - Annals of Pure and Applied Logic 174 (8):103286.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  2
    Different cofinalities of tree ideals.Saharon Shelah & Otmar Spinas - 2023 - Annals of Pure and Applied Logic 174 (8):103290.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Frame definability in finitely valued modal logics.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2023 - Annals of Pure and Applied Logic 174 (7):103273.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  7
    Generalisations of stationarity, closed and unboundedness, and of Jensen's □.H. Brickhill & P. D. Welch - 2023 - Annals of Pure and Applied Logic 174 (7):103272.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  4
    Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice.Kyriakos Keremedis, Eleftherios Tachtsis & Eliza Wajch - 2023 - Annals of Pure and Applied Logic 174 (7):103283.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  1
    Arithmetical completeness theorems for monotonic modal logics.Haruka Kogure & Taishi Kurahashi - 2023 - Annals of Pure and Applied Logic 174 (7):103271.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  3
    Algebraic properties of the first-order part of a problem.Giovanni Soldà & Manlio Valenti - 2023 - Annals of Pure and Applied Logic 174 (7):103270.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  7
    On minimal flows and definable amenability in some distal NIP theories.Ningyuan Yao & Zhentao Zhang - 2023 - Annals of Pure and Applied Logic 174 (7):103274.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  4
    Realisability for infinitary intuitionistic set theory.Merlin Carl, Lorenzo Galeotti & Robert Passmann - 2023 - Annals of Pure and Applied Logic 174 (6):103259.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    Capturing sets of ordinals by normal ultrapowers.Miha E. Habič & Radek Honzík - 2023 - Annals of Pure and Applied Logic 174 (6):103261.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  1
    Forcing axioms via ground model interpretations.Christopher Henney-Turner & Philipp Schlicht - 2023 - Annals of Pure and Applied Logic 174 (6):103260.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  2
    Elementary analytic functions in VT C 0.Emil Jeřábek - 2023 - Annals of Pure and Applied Logic 174 (6):103269.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  2
    Blowing up the power of a singular cardinal of uncountable cofinality with collapses.Sittinon Jirattikansakul - 2023 - Annals of Pure and Applied Logic 174 (6):103257.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  1
    Bilinear spaces over a fixed field are simple unstable.Mark Kamsma - 2023 - Annals of Pure and Applied Logic 174 (6):103268.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  1
    On pp-elimination and stability in a continuous setting.Nicolas Chavarria & Anand Pillay - 2023 - Annals of Pure and Applied Logic 174 (5):103258.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  2
    Axiomatizing AECs and applications.Samson Leung - 2023 - Annals of Pure and Applied Logic 174 (5):103248.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  4
    B-frame duality.Guillaume Massas - 2023 - Annals of Pure and Applied Logic 174 (5):103245.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  5
    The Löwenheim-Skolem theorem for Gödel logic.J. P. Aguilera - 2023 - Annals of Pure and Applied Logic 174 (4):103235.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  2
    Applying generic coding with help to uniformizations.Dan Hathaway - 2023 - Annals of Pure and Applied Logic 174 (4):103244.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  3
    A large pairwise far family of Aronszajn trees.John Krueger - 2023 - Annals of Pure and Applied Logic 174 (4):103236.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  7
    A characterization of generalized existential completions.Maria Emilia Maietti & Davide Trotta - 2023 - Annals of Pure and Applied Logic 174 (4):103234.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  1
    A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory.Thomas Powell - 2023 - Annals of Pure and Applied Logic 174 (4):103231.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  4
    Complicated colorings, revisited.Assaf Rinot & Jing Zhang - 2023 - Annals of Pure and Applied Logic 174 (4):103243.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  5
    Weak and strong versions of Effective Transfinite Recursion.Patrick Uftring - 2023 - Annals of Pure and Applied Logic 174 (4):103232.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  4
    Admissible rules for six intuitionistic modal logics.Iris van der Giessen - 2023 - Annals of Pure and Applied Logic 174 (4):103233.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  11
    Characterizations of ordinal analysis.James Walsh - 2023 - Annals of Pure and Applied Logic 174 (4):103230.
    Ordinal analysis is a research program wherein recursive ordinals are assigned to axiomatic theories. According to conventional wisdom, ordinal analysis measures the strength of theories. Yet what is the attendant notion of strength? In this paper we present abstract characterizations of ordinal analysis that address this question. -/- First, we characterize ordinal analysis as a partition of $\Sigma^1_1$-definable and $\Pi^1_1$-sound theories, namely, the partition whereby two theories are equivalent if they have the same proof-theoretic ordinal. We show that no equivalence (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28.  3
    A Lipschitz determinacy principle equivalent to weak König lemma.William Chan - 2023 - Annals of Pure and Applied Logic 174 (3):103213.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  4
    Topological fields with a generic derivation.Pablo Cubides Kovacsics & Françoise Point - 2023 - Annals of Pure and Applied Logic 174 (3):103211.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  5
    Omitting types theorem in hybrid dynamic first-order logic with rigid symbols.Daniel Găină, Guillermo Badia & Tomasz Kowalski - 2023 - Annals of Pure and Applied Logic 174 (3):103212.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  3
    Corrigendum and addendum to: “L-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]. [REVIEW]Wolfgang Rump - 2023 - Annals of Pure and Applied Logic 174 (3):103209.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32.  8
    A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ 1 1 collection. [REVIEW]Kentaro Sato - 2023 - Annals of Pure and Applied Logic 174 (3):103207.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  3
    A note on μ-stabilizers in ACVF.Jinhe Ye - 2023 - Annals of Pure and Applied Logic 174 (3):103210.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  4
    Quantifier elimination for o-minimal structures expanded by a valuational cut.Clifton F. Ealy & Jana Maříková - 2023 - Annals of Pure and Applied Logic 174 (2):103206.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  4
    Four cardinals and their relations in ZF.Lorenz Halbeisen, Riccardo Plati, Salome Schumacher & Saharon Shelah - 2023 - Annals of Pure and Applied Logic 174 (2):103200.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  4
    Metric spaces are universal for bi-interpretation with metric structures.James Hanson - 2023 - Annals of Pure and Applied Logic 174 (2):103204.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  7
    Effective compactness and orbits of points under the isometry group.Zvonko Iljazović & Lucija Validžić - 2023 - Annals of Pure and Applied Logic 174 (2):103198.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  4
    An undecidability result for the asymptotic theory of p-adic fields.Konstantinos Kartas - 2023 - Annals of Pure and Applied Logic 174 (2):103203.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  4
    Hanf number of the first stability cardinal in AECs.Samson Leung - 2023 - Annals of Pure and Applied Logic 174 (2):103201.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  6
    Regular projections in o-minimal structures.Nhan Nguyen - 2023 - Annals of Pure and Applied Logic 174 (2):103199.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  3
    The definability of E in self-iterable mice.Farmer Schlutzenberg - 2023 - Annals of Pure and Applied Logic 174 (2):103208.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  7
    On Kripke completeness of modal predicate logics around quantified K5.Valentin Shehtman - 2023 - Annals of Pure and Applied Logic 174 (2):103202.
  43.  4
    Third-order functionals on partial combinatory algebras.Jetze Zoethout - 2023 - Annals of Pure and Applied Logic 174 (2):103205.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  11
    Huge reflection.Joan Bagaria & Philipp Lücke - 2023 - Annals of Pure and Applied Logic 174 (1):103171.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  10
    Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras.Nick Bezhanishvili, Luca Carai, Silvio Ghilardi & Lucia Landi - 2023 - Annals of Pure and Applied Logic 174 (1):103169.
  46.  6
    Constructive strong regularity and the extension property of a compactification.Giovanni Curi - 2023 - Annals of Pure and Applied Logic 174 (1):103154.
  47.  11
    Bounded-depth Frege complexity of Tseitin formulas for all graphs.Nicola Galesi, Dmitry Itsykson, Artur Riazanov & Anastasia Sofronova - 2023 - Annals of Pure and Applied Logic 174 (1):103166.
  48.  10
    Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model.Moti Gitik & Eyal Kaplan - 2023 - Annals of Pure and Applied Logic 174 (1):103164.
  49.  2
    Induction and Skolemization in saturation theorem proving.Stefan Hetzl & Jannik Vierling - 2023 - Annals of Pure and Applied Logic 174 (1):103167.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  6
    Quantifier elimination on some pseudo-algebraically closed valued fields.Jizhan Hong - 2023 - Annals of Pure and Applied Logic 174 (1):103170.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  51.  9
    On the proof complexity of logics of bounded branching.Emil Jeřábek - 2023 - Annals of Pure and Applied Logic 174 (1):103181.
  52.  12
    Cohen-like first order structures.Ziemowit Kostana - 2023 - Annals of Pure and Applied Logic 174 (1):103172.
  53.  7
    AF-algebras with lattice-ordered K0: Logic and computation.Daniele Mundici - 2023 - Annals of Pure and Applied Logic 174 (1):103182.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  54.  10
    Computational complexity of hybrid interval temporal logics.Przemysław Andrzej Wałęga - 2023 - Annals of Pure and Applied Logic 174 (1):103165.
 Previous issues
  
Next issues