default search action

combined dblp search
author search
venue search
publication search

ask others

Annals of Pure and Applied Logic, Volume 176

> Home > Journals > Annals of Pure and Applied Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 176, Number 1, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/apal/BagavievBBBDKKMN25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/BagavievBBBDKKMN25
Ramil Bagaviev, Ilnur I. Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G. Melnikov, Keng Meng Ng:
Computably and punctually universal spaces. 103491
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Gannon25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Gannon25
Kyle Gannon:
Concerning Keisler measures over ultraproducts. 103492
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Guier25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Guier25
Jorge I. Guier:
Elimination of quantifiers for a theory of real closed rings. 103494
- view
  authority control:
- export record
  dblp key:
  - journals/apal/PartTT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/PartTT25
Fedor Part, Neil Thapen, Iddo Tzameret:
First-order reasoning and efficient semi-algebraic proofs. 103496
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Matet25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Matet25
Pierre Matet:
μ-clubs of P(λ): Paradise in heaven. 103497
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Acosta25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Acosta25
Juan Pablo Acosta:
Groups definable in Presburger arithmetic. 103507
- view
  authority control:
- export record
  dblp key:
  - journals/apal/GiltonS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/GiltonS25
Thomas Gilton, Sárka Stejskalová:
Club stationary reflection and other combinatorial principles at ℵ+2. 103489
- view
  authority control:
- export record
  dblp key:
  - journals/apal/NormannS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/NormannS25
Dag Normann, Sam Sanders:
On the logical and computational properties of the Vitali covering theorem. 103505
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Espindola25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Espindola25
Christian Espíndola:
A complete axiomatization of infinitary first-order intuitionistic logic over Lκ+,κ. 103506
- view
  authority control:
- export record
  dblp key:
  - journals/apal/DzikKW25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/DzikKW25
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak:
Unification types and union splittings in intermediate logics. 103508
- view
  authority control:
- export record
  dblp key:
  - journals/apal/TabatabaiJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/TabatabaiJ25
Amirhossein Akbar Tabatabai, Raheleh Jalali:
Universal proof theory: Semi-analytic rules and Craig interpolation. 103509
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Hayashi25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Hayashi25
Daichi Hayashi:
Theories of Frege structure equivalent to Feferman's system T0. 103510
- view
  authority control:
- export record
  dblp key:
  - journals/apal/NassoJ25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/NassoJ25
Mauro Di Nasso, Renling Jin:
Foundations of iterated star maps and their use in combinatorics. 103511

Volume 176, Number 2, 2025

- view
  authority control:
- export record
  dblp key:
  - journals/apal/Wcislo25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Wcislo25
Bartosz Wcislo:
Saturation properties for compositional truth with propositional correctness. 103512
- view
  authority control:
- export record
  dblp key:
  - journals/apal/KikyoT25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/KikyoT25
Hirotaka Kikyo, Akito Tsuboi:
Dividing and forking in random hypergraphs. 103521
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Schweber25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Schweber25
Noah Schweber:
Strong reducibilities and set theory. 103522
- view
  authority control:
- export record
  dblp key:
  - journals/apal/Faizrahmanov25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/Faizrahmanov25
Marat Kh. Faizrahmanov:
Some properties of precompletely and positively numbered sets. 103523

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.