default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnnals of Pure and Applied Logic, Volume 177
Volume 177, Number 1, 2026
- Alessandra Palmigiano
, Mattia Panettiere:
Unified inverse correspondence for LE-logics. 103635 - Pavel Alaev:
Description of structures computable in polynomial time. 103636 - Ang Li:
Countable ordered groups and Weihrauch reducibility. 103644 - Teng Zhang:
Thick sets and the Central Set Theorem. 103645 - Ali Madanshekaf, Adam Prenosil, Zeinab Khanjanzadeh Seresti, Constantine Tsinakis:
Equivalence of multiset-based consequence relations. 103646 - Nikolay Bazhenov, Vittorio Cipriani, Sanjay Jain, Luca San Mauro, Frank Stephan:
Classifying different criteria for learning algebraic structures. 103648 - Adam Bartos, Wieslaw Kubis:
Uncountable homogeneous structures. 103649 - William R. Stirton:
Proof-theoretic investigation of λβ-reduction in the simply typed λ-calculus. 103657 - Gunnar Wilken:
Fundamental sequences based on localization. 103658 - Yiqun Liu, Yong Liu, Cheng Peng:
Isolated d.c.e. degrees and Σ1 induction. 103678
Volume 177, Number 2, 2026
- Bektur Sembiuly Baizhanov, Tatyana S. Zambarnaya:
Constructing models of small ordered theories with maximal countable spectrum. 103659 - Georg Struth, Krzysztof Ziemianski:
Presheaf automata. 103660 - Kai Ino, Omar León Sánchez:
The theory DCF A exists for p > 0. 103661 - Håkon Robbestad Gylterud, Elisabeth Stenholm:
Univalent material set theory. 103662
Volume 177, Number 3, 2026
- Chris Lambie-Hanson, Sárka Stejskalová:
Kurepa trees, continuous images, and perfect set properties. 103663 - Benno van den Berg, Marcus Briët:
Arrow algebras. 103664 - Vera Koponen:
Random expansions of finite structures with bounded degree. 103665 - Yilong Zhang:
Green points in the reals. 103666 - Stefan Hoffelner:
MA ( I ) and a failure of separation on the third level. 103667 - Ikuo Yoneda:
Some remarks on weak one-basedness. 103674 - Adam Prenosil:
Compatibility between modal operators in distributive modal logic. 103677
Volume 177, Number 4, 2026
- Jorge Antonio Cruz Chapital, Osvaldo Guzmán González, Stevo Todorcevic:
Construction schemes: Transferring structures from ω to ω1. 103679 - Witold Marciszewski, Roman Pol, Piotr Zakrzewski:
On Sierpiński sets, Hurewicz spaces and Hilgers functions. 103680 - Françoise Point, Nathalie Regnault:
Exponential topological fields with a generic derivation. 103682 - Mark Saving:
On the existence and disjunction properties in structural set theory. 103683 - Jonathan Schilhan:
Maximal sets without choice. 103694
Volume 177, Number 5, 2026
- Evelina Yur'evna Daniyarova, Alexei Georgievich Myasnikov:
Groups elementarily equivalent to metabelian Baumslag - Solitar groups and regular bi-interpretability. 103695 - Thomas Koberda, Yash Lodha:
Generic torsion-free groups and Rubin actions. 103704 - Marie Duzí, Bjørn Jespersen:
Twin procedures, two kinds of variable binding, and two kinds of computation. 103693 - Yayi Fu:
A note on Erdős-Hajnal property for graphs with VC dimension ≤2. 103705 - Max Illmer, Tim Netzer:
Constructive quantifier elimination with a focus on matrix rings. 103706 - Yutong Duan, Joel Nagloo:
Algebraic independence of the solutions of the classical Lotka-Volterra system. 103707 - Alan Dow, Raúl Figueroa-Sierra, Osvaldo Guzmán, Michael Hrusák:
The category dichotomy for ideals. 103717 - Osvaldo Guzmán, Francisco Santiago Nieto-de la Rosa:
Preserving and constructing multiple gaps. 103721 - Lorenzo Notaro:
Constructibility real degrees in the side-by-side Sacks model. 103722
Volume 177, Number 6, 2026
- Yifan Hu, Ruihuan Mao, Guozhen Shen:
Amorphous sets and dual Dedekind finiteness. 103723 - Jürgen Landes, Soroush Rafiee Rad, Jon Williamson:
A decidable class of inferences in first-order objective Bayesian inductive logic. 103714 - Balázs Bursics, Zoltán Vidnyánszky:
Hyperfiniteness on topological Ramsey spaces. 103715 - Rupert Hölzl, Keng Meng Ng:
The computational content of multidimensional discontinuity. 103720 - Marcin Michalski, Robert Ralowski, Szymon Zeberski:
On algebraic sums, trees and ideals in the Cantor space. 103724 - Alexander Berenstein, Nicolás Cuervo Ovalle, Isaac Goldbring:
General real-valued theories with the Schröder-Bernstein property are stable. 103725 - Kristóf Kanalas:
Positively closed Sh(B)-valued models. 103726
Volume 177, Number 7, 2026
- Rachael Alvir, Barbara F. Csima, Luke Maclean:
Scott complexity of reduced Abelian p-groups. 103727 - Francesco Dagnino, Fabio Pasquali:
The relational quotient completion. 103728 - Karim Khanaki:
On classification of continuous first order theories. 103729 - Elliot Kaplan, Christoph Kesting:
Generic derivations, differential largeness, and NTP2. 103730 - Marek Balcerzak, Szymon Glab, Paolo Leonetti:
Topological complexity of ideal limit points. 103738 - Arunavo Ganguly, Sourav Tarafder:
Transcending classical boundaries: Choice and its equivalences. 103739
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-03-01 23:02 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:
