default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 176
Volume 176, Number 1, 2025
- 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 - Kyle Gannon:
Concerning Keisler measures over ultraproducts. 103492 - Jorge I. Guier:
Elimination of quantifiers for a theory of real closed rings. 103494 - Fedor Part, Neil Thapen, Iddo Tzameret:
First-order reasoning and efficient semi-algebraic proofs. 103496 - Pierre Matet:
μ-clubs of P(λ): Paradise in heaven. 103497 - Juan Pablo Acosta:
Groups definable in Presburger arithmetic. 103507 - Thomas Gilton, Sárka Stejskalová:
Club stationary reflection and other combinatorial principles at ℵ+2. 103489 - Dag Normann, Sam Sanders:
On the logical and computational properties of the Vitali covering theorem. 103505 - Christian Espíndola:
A complete axiomatization of infinitary first-order intuitionistic logic over Lκ+,κ. 103506 - Wojciech Dzik, Slawomir Kost, Piotr Wojtylak:
Unification types and union splittings in intermediate logics. 103508 - Amirhossein Akbar Tabatabai, Raheleh Jalali:
Universal proof theory: Semi-analytic rules and Craig interpolation. 103509 - Daichi Hayashi:
Theories of Frege structure equivalent to Feferman's system T0. 103510 - Mauro Di Nasso, Renling Jin:
Foundations of iterated star maps and their use in combinatorics. 103511 - Maria Emilia Maietti, Pietro Sabelli:
Equiconsistency of the Minimalist Foundation with its classical version. 103524 - S. Jalili, M. Pourmahdian, M. Khani:
Bi-colored expansions of geometric theories. 103525 - Amirhossein Akbar Tabatabai, Raheleh Jalali:
Universal proof theory: Feasible admissibility in intuitionistic modal logics. 103526
Volume 176, Number 2, 2025
- Bartosz Wcislo:
Saturation properties for compositional truth with propositional correctness. 103512 - Hirotaka Kikyo, Akito Tsuboi:
Dividing and forking in random hypergraphs. 103521 - Noah Schweber:
Strong reducibilities and set theory. 103522 - Marat Kh. Faizrahmanov:
Some properties of precompletely and positively numbered sets. 103523
Volume 176, Number 3, 2025
- Wesley Fussner, Nikolaos Galatos:
Semiconic idempotent logic II: Beth definability and deductive interpolation. 103528 - Diego Nicolás Castaño, José Patricio Díaz Varela, Gabriel Savoy:
Strong standard completeness theorems for S5-modal Łukasiewicz logics. 103529 - Miguel A. Cardona, Diego Alejandro Mejía:
More about the cofinality and the covering of the ideal of strong measure zero sets. 103537 - Ilario Bonacina, Maria Luisa Bonet:
Strength and limitations of Sherali-Adams and Nullstellensatz proof systems. 103538 - Ori Segel:
Positive definability patterns. 103539 - Krzysztof Jan Nowak:
Tame topology in Hensel minimal structures. 103540 - Lothar Sebastian Krapp, Salma Kuhlmann:
Ordered transexponential fields. 103541 - Emanuele Frittaion:
Peano arithmetic, games and descent recursion. 103550
Volume 176, Number 4, 2025
- Guram Bezhanishvili, Luca Carai:
Failure of the Blok-Esakia Theorem in the monadic setting. 103527 - Matthew Harrison-Trainor, Dhruv Kulshreshtha:
The logic of cardinality comparison without the axiom of choice. 103549 - Eran Alouf:
On dp-minimal expansions of the integers. 103551 - Rodrigo Nicolau Almeida:
Π2-rule systems and inductive classes of Gödel algebras. 103552 - Xiaoyang Wang, Yanjing Wang:
Modal logics over lattices. 103553 - Christian d'Elbée:
Generic multiplicative endomorphism of a field. 103554 - Zoltan A. Kocsis:
Proof-theoretic methods in quantifier-free definability. 103555
Volume 176, Number 5, 2025
- Sergio A. Celani, Rafal Gruszczynski, Paula Menchón:
Conditional algebras. 103556 - Miguel Martins, Tommaso Moraschini:
Local tabularity is decidable for bi-intermediate logics of trees and of co-trees. 103563 - Sapir Ben-Shahar, Heer Tern Koh:
Comparing notions of presentability in Polish spaces and Polish groups. 103564
Volume 176, Number 6, 2025
- Andrzej Roslanowski, Saharon Shelah:
Borel sets without perfectly many overlapping translations, III. 103565 - V. Fischer, L. Schembecker:
Universally Sacks-indestructible combinatorial families of reals. 103566 - Milos S. Kurilic:
Iterated reduced powers of collapsing algebras. 103567 - Anand Pillay:
Automorphism groups of prime models, and invariant measures. 103568 - Morenikeji Neri:
A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces. 103569 - Vera Fischer, L. Schembecker, David Schrittesser:
Tight cofinitary groups. 103570
Volume 176, Number 7, 2025
- Piotr Borodulin-Nadzieja, Jonathan Cancino-Manríquez, Adam Morawski:
P-measures in models without P-points. 103579 - Wolfgang Rump:
A complete invariant system for noetherian BL-algebras and more general L-algebras. 103580
Volume 176, Number 8, 2025
- Martina Iannella, Alberto Marcone, Luca Motto Ros, Vadim Weinstein:
Piecewise convex embeddability on linear orders. 103581 - Tristan van der Vlugt:
Cardinal characteristics on bounded generalised Baire spaces. 103582 - Victoria Gitman, Jonathan Osinski:
Upward Löwenheim-Skolem-Tarski numbers for abstract logics. 103583 - Moti Gitik, Sittinon Jirattikansakul:
Extender-based Magidor-Radin forcings without top extenders. 103584
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.
last updated on 2025-04-25 17:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
