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, Mohsen 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 - Vera 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 - M. Drzewiecka, A. Ivanov, B. Mokry:
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, Katarzyna Slomczynska:
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, Valentina S. Harizanov:
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 - Bruno Dinis, Mário J. Edmundo:
On definable Skolem functions and trichotomy. 103632 - Maryanthe Malliaris, Shay Moran:
The unstable formula theorem revisited via algorithms. 103633 - Igor Arrieta:
The DeMorganization of a locale. 103634
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 2026-01-23 00:55 CET 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:
