default search action
Annals 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
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
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
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
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
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
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
Local tabularity is decidable for bi-intermediate logics of trees and of co-trees. 103563 - Sapir Ben-Shahar
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
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
Tight cofinitary groups. 103570
Volume 176, Number 7, 2025
- Piotr Borodulin-Nadzieja
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
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 - M. Drzewiecka, A. Ivanov
Generics in invariant subsets of the group of order preserving permutations of Q. 103585 - Liang Yu:
Some more results on relativized Chaitin's Ω. 103586 - Arturo Rodríguez Fanlo, Ori Segel:
Completeness in local positive logic. 103601 - Taras Banakh, Robert Ralowski, Szymon Zeberski
The Set-Cover game and non-measurable unions. 103602
Volume 176, Number 9, 2025
- Eleftherios Tachtsis:
Metric spaces in choiceless set theory. 103603 - Derek Levinson
Unreachability of Γ+,. 103604 - Slavko Moconja, Predrag Tanovic:
Weakly o-minimal types. 103605 - Vera Fischer, Sy-David Friedman, David Schrittesser, Asger Törnquist:
Good projective witnesses. 103606 - Arturo Martínez-Celis, Tomasz Zuchowski
On cardinal invariants related to Rosenthal families and large-scale topology. 103607 - Rafal Filipów, Adam Kwela
Spaces not distinguishing ideal pointwise and σ-uniform convergence. 103609 - Tomasz Kowalski
Free p-algebras revisited: An algebraic investigation of implication-free intuitionism. 103610 - Djamel Eddine Amir, Mathieu Hoyrup:
Descriptive complexity of topological invariants. 103611 - Wesley Calvert, Douglas Cenzer, David Gonzalez
Generically computable linear orderings. 103612 - Sourayan Banerjee, Amit Kuber
Model-theoretic K1 of free modules over PIDs. 103613 - Yaroslav Alekseev, Edward A. Hirsch:
The power of the Binary Value Principle. 103614 - Wesley Fussner, Simon Santschi
Interpolation in Hájek's basic logic. 103615 - Thomas F. Kent, Keng Meng Ng, Andrea Sorbi:
The singleton degrees of the Σ20 sets are not dense. 103616 - Michele Pra Baldi, Adam Prenosil:
Equational definitions of logical filters. 103617 - Arthur W. Apter:
Indestructible supercompactness and level by level inequivalence. 103618
Volume 176, Number 10, 2025
- Alan Dow:
Automorphisms of P(ω)/fin and large continuum. 103627 - Mamuka Jibladze, Evgeny Kuznetsov:
An explicit Kuznetsov-Muravitsky enrichment. 103628 - Mark Kamsma, Jirí Rosický:
Unstable independence from the categorical point of view. 103629 - Julián C. Cano, Carlos A. Di Prisco:
Topological games in Ramsey spaces. 103630 - Sakaé Fuchino, Toshimichi Usuba:
On Recurrence Axioms. 103631
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-07-28 20:54 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: