Annals of Pure and Applied Logic

Article	Citations
Two-cardinal ideal operators and indescribability	13
Quantifier elimination for o-minimal structures expanded by a valuational cut	9
Editorial	9
The definability of E in self-iterable mice	9
Indestructible Suslin trees	7
Universal proof theory: Feasible admissibility in intuitionistic modal logics	7
Amorphous sets and dual Dedekind finiteness	7
Proving interpolation for conditional equational logic, using functions to represent conditionals	7
Editorial Board	7
Editorial Board	6
On minimal flows of definably amenable p-adic groups	6
Foundations of iterated star maps and their use in combinatorics	6
Uncountable homogeneous structures	6
Stable canonical rules for intuitionistic modal logics	6
Zero-dimensional σ-homogeneous spaces	6
An undecidability result for the asymptotic theory of p-adic fields	5
Can you take Komjath's inaccessible away?	5
Universally Sacks-indestructible combinatorial families of reals	5
Capturing sets of ordinals by normal ultrapowers	5
Editorial Board	4
Transposition of variables is hard to axiomatize	4
Classifying different criteria for learning algebraic structures	4
Editorial Board	4
Choice and independence of premise rules in intuitionistic set theory	4
Metric spaces are universal for bi-interpretation with metric structures	4

Forcing the Π3	4
Computable Scott sentences and the weak Whitehead problem for finitely presented groups	4
More about the cofinality and the covering of the ideal of strong measure zero sets	4
Unified inverse correspondence for LE-logics	4
Failure of the Blok–Esakia Theorem in the monadic setting	3
A formalised theorem in the partition calculus	3
Editorial Board	3
Eggleston's dichotomy for characterized subgroups and the role of ideals	3
Cardinal characteristics on bounded generalised Baire spaces	3
Dense metrizability	3
Good projective witnesses	3
Semiconic idempotent logic I: Structure and local deduction theorems	3
Groups elementarily equivalent to metabelian Baumslag – Solitar groups and regular bi-interpretability	3
Classification of ℵ0-categorical C-minimal pure C-sets	3
On categorical structures arising from implicative algebras: From topology to assemblies	3
The ghosts of forgotten things: A study on size after forgetting	3
Inexpressibility results for ideals on countable sets and of compact sets	3
A Lipschitz determinacy principle equivalent to weak König lemma	3
Generalized independence	3
Editorial Board	3
Editorial Board	3
Construction schemes: Transferring structures from ω to ω1	3
Strong standard completeness theorems for S5-modal Łukasiewicz logics	3
Peano arithmetic, games and descent recursion	3
A variant of Chaitin's Omega function	3
Strong reducibilities and set theory	3
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers	3
Completeness in local positive logic	3
Editorial Board	3
Free p-algebras revisited: An algebraic investigation of implication-free intuitionism	3
General real-valued theories with the Schröder-Bernstein property are stable	2
Finite undecidability in PAC and PRC fields	2
Huge reflection	2
A complete axiomatization of infinitary first-order intuitionistic logic over	2
Set theoretical analogues of the Barwise-Schlipf theorem	2
Constructing the constructible universe constructively	2
Forcing with copies of the Rado and Henson graphs	2
Transcending classical boundaries: Choice and its equivalences	2
Positive definability patterns	2
Indestructible supercompactness and level by level inequivalence	2
Green points in the reals	2
Algebraic independence of the solutions of the classical Lotka-Volterra system	2
On cardinal invariants related to Rosenthal families and large-scale topology	2
Generic torsion-free groups and Rubin actions	2
On middle box products and paracompact cardinals	2
Forcing and equivalence relations E(Λ≀Θ)	2
First-order reasoning and efficient semi-algebraic proofs	2
LST numbers for Qe.c. and I style quantifiers	2
Bilinear spaces over a fixed field are simple unstable	2
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2

The unstable formula theorem revisited via algorithms	2
Some more results on relativized Chaitin's Ω	2
Editorial Board	2
A note on μ-stabilizers in ACVF	2
Borel sets without perfectly many overlapping translations, III	2
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence	2
Comparing notions of presentability in Polish spaces and Polish groups	2
SOP1, SOP2, and antichain tree property	2
Constructive strong regularity and the extension property of a compactification	2
Editorial Board	2
Elementary analytic functions in VT2
An explicit Kuznetsov-Muravitsky enrichment	2
Maximal sets without choice	2
Projective well orders and coanalytic witnesses	2
Elimination of quantifiers for a theory of real closed rings	2
Probing the quantitative–qualitative divide in probabilistic reasoning	2
Investigations of isotropy and homogeneity of spacetime in first-order logic	2
Admissible extensions of subtheories of second order arithmetic	1
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	1
Some properties of precompletely and positively numbered sets	1
Thick sets and the Central Set Theorem	1
Theories of Frege structure equivalent to Feferman's system T	1
Cohen preservation and independence	1
Towards characterizing the >ω2-fickle recursively enumerable Turing degrees	1
Computational complexity of hybrid interval temporal logics	1
Probability propagation rules for Aristotelian syllogisms	1
Concerning Keisler measures over ultraproducts	1
Unreachability of Γ+,	1
Strong minimal pairs in the enumeration degrees	1
Generic multiplicative endomorphism of a field	1
Some simple theories from a Boolean algebra point of view	1
The Löwenheim-Skolem theorem for Gödel logic	1
Editorial Board	1
Proof-theoretic investigation of λβ-reduction in the simply typed λ-calculus	1
Abelian group actions and hypersmooth equivalence relations	1
Using ultrapowers to compare continuous structures	1
Mutually embeddable models of ZFC	1
Bi-intermediate logics of trees and co-trees	1
The formal verification of the ctm approach to forcing	1
Four cardinals and their relations in ZF	1
On definable Skolem functions and trichotomy	1
Generalisations of stationarity, closed and unboundedness, and of Jensen's □	1
Iterated team semantics for a hierarchy of informational types	1
On the geometric equivalence of algebras	1
Kunen the expositor	1
Isolated d.c.e. degrees and Σ1 induction	1
The computational content of multidimensional discontinuity	1
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice	1
Editorial	1
Forcing axioms via ground model interpretations	1
Cohen-like first order structures	1
Forcing axioms and the uniformization-property	1
B-frame duality	1
Bi-colored expansions of geometric theories	1
The comparison lemma	1
Owings-like theorems for infinitely many colours or finite monochromatic sets	1
Editorial Board	1
Computable Stone spaces	1
Approachable free subsets and fine structure derived scales	1
The relational quotient completion	1
Corrigendum and addendum to: “L-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]	1
Analysis of HOD for admissible structures	1
Coherence in inquisitive first-order logic	1
Laver forcing and converging sequences	1
Admissible rules for six intuitionistic modal logics	1
Twin procedures, two kinds of variable binding, and two kinds of computation	1
Vector spaces with a dense-codense generic submodule	1
The spectrum of independence, II	1
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of	1
Some remarks on weak one-basedness	1
Measurable cardinals and choiceless axioms	1
Computably and punctually universal spaces	1
The power of the Binary Value Principle	1
μ-clubs of P(λ): Paradise in heaven	1
Editorial Board	1
Editorial Board	1
Arithmetical completeness theorems for monotonic modal logics	1
Editorial Board	1
On minimal flows and definable amenability in some distal NIP theories	1
Social welfare relations and irregular sets	1

Editorial Board	1
Fresh function spectra	1
A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces	1
The singleton degrees of the Σ2	1
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension	1
Editorial Board	0
On pp-elimination and stability in a continuous setting	0
Locally compact, ω1-compact spaces	0
Generic derivations, differential largeness, and NTP2	0
Induction on dilators and Bachmann-Howard fixed points	0
Fundamental sequences based on localization	0
Preserving and constructing multiple gaps	0
Different cofinalities of tree ideals	0
Π2-rule systems and inductive classes of Gödel algebras	0
Groups definable in Presburger arithmetic	0
Positive modal logic beyond distributivity	0
Blowing up the power of a singular cardinal of uncountable cofinality with collapses	0
Two chain conditions and their Todorčević's fragments of Martin's Axiom	0
A modal approach towards substitutions	0
Spaces not distinguishing ideal pointwise and σ-uniform convergence	0
Editorial Board	0
The axiom of real determinacy and the axiom of real Blackwell determinacy	0
Posets of copies of countable ultrahomogeneous tournaments	0
Iterated reduced powers of collapsing algebras	0
Exponential topological fields with a generic derivation	0
A Lindström theorem for intuitionistic first-order logic	0
On the Presburger fragment of logics with multiteam semantics	0
Editorial Board	0
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols	0
Arrow algebras	0
Hilbert's tenth problem for some noncommutative rings	0
A logico-geometric comparison of coherence for non-additive uncertainty measures	0
Interpolation in Hájek's basic logic	0
Positively closed Sh(B)-valued models	0
A large pairwise far family of Aronszajn trees	0
Strength and limitations of Sherali-Adams and Nullstellensatz proof systems	0
Extensions of Solovay's system S without independent sets of axioms	0
Causal modeling semantics for counterfactuals with disjunctive antecedents	0
Alternatives to the Halpern-Läuchli theorem	0
Editorial Board	0
Tame topology in Hensel minimal structures	0
The theory DCF A exists for p > 0	0
Model-theoretic K1 of free modules over PIDs	0
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions	0
Third-order functionals on partial combinatory algebras	0
Kurepa trees, continuous images, and perfect set properties	0
Hanf number of the first stability cardinal in AECs	0
The secret life of μ-clubs	0
Independence relations for exponential fields	0
Structural and universal completeness in algebra and logic	0
Effective compactness and orbits of points under the isometry group	0
Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence	0
Algorithmic randomness and the weak merging of computable probability measures	0
Univalent material set theory	0
Extreme types and extremal models	0
From GTC to : Generating reset proof systems from cyclic proof systems	0
On Recurrence Axioms	0
Generalized fusible numbers and their ordinals	0
Topological complexity of ideal limit points	0
Dividing and forking in random hypergraphs	0
Automorphism groups of prime models, and invariant measures	0
Weakly o-minimal types	0
Universal proof theory: Semi-analytic rules and Craig interpolation	0
Metric spaces in choiceless set theory	0
Descriptive complexity of topological invariants	0
Tight cofinitary groups	0
P-measures in models without P-points	0
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal	0
Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field	0
Some variations on the splitting number	0
Editorial Board	0
Quantifier elimination on some pseudo-algebraically closed valued fields	0
Unification types and union splittings in intermediate logics	0
Saturation properties for compositional truth with propositional correctness	0
Characterizing existence of certain ultrafilters	0
Editorial Board	0
Piecewise convex embeddability on linear orders	0
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI	0
On elementary logics for quantitative dependencies	0
Algebraic properties of the first-order part of a problem	0
On the spectrum of limit models	0
On the existence and disjunction properties in structural set theory	0
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup	0
More on setwise climbability properties	0
Topological fields with a generic derivation	0
A Borel maximal eventually different family	0
On duality and model theory for polyadic spaces	0
Induction and Skolemization in saturation theorem proving	0
Reasoning with belief functions over Belnap–Dunn logic	0
Krull dimension in set theory	0
Halfway new cardinal characteristics	0
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras	0
Editorial Board	0
Regular projections in o-minimal structures	0
The relative strengths of fragments of Martin's axiom	0