Annals of Pure and Applied Logic

Article	Citations
Editorial Board	12
Quantifier elimination for o-minimal structures expanded by a valuational cut	9
Editorial	9
Two-cardinal ideal operators and indescribability	8
The number of axioms	7
Universal proof theory: Feasible admissibility in intuitionistic modal logics	7
The definability of E in self-iterable mice	7
Capturing sets of ordinals by normal ultrapowers	6
A characterization of Σ1	6
Can you take Komjath's inaccessible away?	6
Model theory of adeles I	6
Editorial Board	6
Infinitary action logic with exponentiation	6
An undecidability result for the asymptotic theory of p-adic fields	6
Dp-finite fields I(B): Positive characteristic	5
On Farkas' lemma and related propositions in BISH	5
Zero-dimensional σ-homogeneous spaces	5
Criteria for exact saturation and singular compactness	5
Editorial Board	5
Foundations of iterated star maps and their use in combinatorics	5
The isomorphism relation of theories with S-DOP in the generalised Baire spaces	5
Editorial Board	4
Choice and independence of premise rules in intuitionistic set theory	4
Games and Scott sentences for positive distances between metric structures	4
Forcing the Π3	4

Editorial Board	4
More about the cofinality and the covering of the ideal of strong measure zero sets	4
Metric spaces are universal for bi-interpretation with metric structures	4
Semiconic idempotent logic I: Structure and local deduction theorems	4
Finitary unification in locally tabular modal logics characterized	4
Editorial Board	3
A formalised theorem in the partition calculus	3
From axioms to synthetic inference rules via focusing	3
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers	3
Failure of the Blok–Esakia Theorem in the monadic setting	3
Editorial Board	3
Classification of ℵ0-categorical C-minimal pure C-sets	3
Generalized independence	3
On categorical structures arising from implicative algebras: From topology to assemblies	3
Dense metrizability	3
Computable Scott sentences and the weak Whitehead problem for finitely presented groups	3
Games with finitely generated structures	3
Editorial Board	3
A Lipschitz determinacy principle equivalent to weak König lemma	3
Peano arithmetic, games and descent recursion	3
Editorial Board	3
Constructive Ackermann's interpretation	2
Investigations of isotropy and homogeneity of spacetime in first-order logic	2
Strong reducibilities and set theory	2
Cardinality of wellordered disjoint unions of quotients of smooth equivalence relations	2
Pure Σ2-elementarity beyond the core	2
SOP1, SOP2, and antichain tree property	2
Projective well orders and coanalytic witnesses	2
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence	2
Editorial Board	2
Finite undecidability in PAC and PRC fields	2
Two applications of topology to model theory	2
Editorial Board	2
Editorial Board	2
On the ideal J[κ]	2
Editorial Board	2
Constructing the constructible universe constructively	2
On the structure of Borel ideals in-between the ideals ED and Fin ⊗ Fin in th	2
Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model	2
Induced and higher-dimensional stable independence	2
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals	2
Elementary analytic functions in VT2
Taming Koepke's Zoo II: Register machines	2
On middle box products and paracompact cardinals	2
Probing the quantitative–qualitative divide in probabilistic reasoning	2
Continuous L-domains in logical form	2
Strong standard completeness theorems for S5-modal Łukasiewicz logics	2
The ghosts of forgotten things: A study on size after forgetting	2
Eggleston's dichotomy for characterized subgroups and the role of ideals	2
Universal graphs and functions on ω1	2

Comparing notions of presentability in Polish spaces and Polish groups	2
Huge reflection	2
Positive definability patterns	2
Constructive strong regularity and the extension property of a compactification	2
Forcing with copies of the Rado and Henson graphs	2
A note on μ-stabilizers in ACVF	2
Topological dynamics and NIP fields	2
Elimination of quantifiers for a theory of real closed rings	2
Bilinear spaces over a fixed field are simple unstable	2
Vector spaces with a dense-codense generic submodule	1
A complete axiomatization of infinitary first-order intuitionistic logic over	1
Computational complexity of hybrid interval temporal logics	1
The fixed-point property for represented spaces	1
Towards characterizing the >ω2-fickle recursively enumerable Turing degrees	1
Forcing a □(κ)-like principle to hold at a weakly compact cardinal	1
Concerning Keisler measures over ultraproducts	1
The fluted fragment with transitive relations	1
Editorial Board	1
The Löwenheim-Skolem theorem for Gödel logic	1
Cohen-like first order structures	1
Modal logics over lattices	1
Generalisations of stationarity, closed and unboundedness, and of Jensen's □	1
First-order reasoning and efficient semi-algebraic proofs	1
B-frame duality	1
Definable MAD families and forcing axioms	1
Corrigendum and addendum to: “L-algebras and three main non-classical logics” [Ann. Pure Appl. Log. 173 (7) (2022) 103121]	1
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice	1
Set theoretical analogues of the Barwise-Schlipf theorem	1
Probability propagation rules for Aristotelian syllogisms	1
Editorial Board	1
The formal verification of the ctm approach to forcing	1
Laver forcing and converging sequences	1
Fundamental group in o-minimal structures with definable Skolem functions	1
On the geometric equivalence of algebras	1
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of	1
Strong minimal pairs in the enumeration degrees	1
The spectrum of independence, II	1
Editorial Board	1
Computably and punctually universal spaces	1
Extension of C∞ functions in polynomially bounded o-minimal structure	1
Countable products and countable direct sums of compact metrizable spaces in the absence of the Axiom of Choice	1
Some remarks on the Open Coloring Axiom	1
The comparison lemma	1
Forcing axioms and the uniformization-property	1
Computable Stone spaces	1
Bi-intermediate logics of trees and co-trees	1
Towards logical foundations for probabilistic computation	1
The Hart-Shelah example, in stronger logics	1
Forcing axioms via ground model interpretations	1
Social welfare relations and irregular sets	1
On the relationship between mutual and tight stationarity	1
Arithmetical completeness theorems for monotonic modal logics	1
Fresh function spectra	1
Strong ergodicity phenomena for Bernoulli shifts of bounded algebraic dimension	1
Coherence in inquisitive first-order logic	1
Separating weak α-change and α-change genericity	1
Iterated team semantics for a hierarchy of informational types	1
Admissible extensions of subtheories of second order arithmetic	1
Using ultrapowers to compare continuous structures	1
Four cardinals and their relations in ZF	1
Non-forking and preservation of NIP and dp-rank	1
Editorial	1
The differential of probabilistic entailment	1
Kunen the expositor	1
Mathias like criterion for the extender based Prikry forcing	1
On minimal flows and definable amenability in some distal NIP theories	1
Editorial Board	1
μ-clubs of P(λ): Paradise in heaven	1
Editorial Board	1
Abelian group actions and hypersmooth equivalence relations	1
Generic multiplicative endomorphism of a field	1
Adequate predimension inequalities in differential fields	1
Some simple theories from a Boolean algebra point of view	1
Bi-colored expansions of geometric theories	1
The Borel complexity of von Neumann equivalence	1
Editorial Board	1
Denseness results in the theory of algebraic fields	1
Admissible rules for six intuitionistic modal logics	1
On existential definitions of c.e. subsets of rings of functions of characteristic 0	1
Some properties of precompletely and positively numbered sets	1

Measurable cardinals and choiceless axioms	1
Theories of Frege structure equivalent to Feferman's system T	1
Non-density in punctual computability	1
Cohen preservation and independence	1
Parametrized Ramsey theory of infinite block sequences of vectors	0
Structural and universal completeness in algebra and logic	0
Universal proof theory: Semi-analytic rules and Craig interpolation	0
Topological fields with a generic derivation	0
Tame topology in Hensel minimal structures	0
Independence over arbitrary sets in NSOP1 theories	0
Reasoning with belief functions over Belnap–Dunn logic	0
Unification types and union splittings in intermediate logics	0
On the proof complexity of logics of bounded branching	0
The secret life of μ-clubs	0
Reinhardt cardinals and iterates of V	0
Intermediate models of Magidor-Radin forcing-Part II	0
Algebraic properties of the first-order part of a problem	0
Indestructibility of ideals and MAD families	0
Third-order functionals on partial combinatory algebras	0
Different cofinalities of tree ideals	0
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI	0
Posets of copies of countable ultrahomogeneous tournaments	0
Higher reciprocity law and an analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field	0
Applying generic coding with help to uniformizations	0
Independence relations for exponential fields	0
On pp-elimination and stability in a continuous setting	0
Introduction	0
A microscopic approach to Souslin-tree construction, Part II	0
The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions	0
Primitive recursive reverse mathematics	0
From GTC to : Generating reset proof systems from cyclic proof systems	0
Linearly ordered sets with only one operator have the amalgamation property	0
Indestructibility properties of Ramsey and Ramsey-like cardinals	0
Induction and Skolemization in saturation theorem proving	0
Locally compact, ω1-compact spaces	0
The Vietoris functor and modal operators on rings of continuous functions	0
Editorial Board	0
Quantifier elimination on some pseudo-algebraically closed valued fields	0
A Lindström theorem for intuitionistic first-order logic	0
Alternatives to the Halpern-Läuchli theorem	0
Weaker cousins of Ramsey's theorem over a weak base theory	0
On the Presburger fragment of logics with multiteam semantics	0
Π2-rule systems and inductive classes of Gödel algebras	0
A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory	0
Characterizing existence of certain ultrafilters	0
Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids	0
Corson reflections	0
Mild parametrizations of power-subanalytic sets	0
Regular projections in o-minimal structures	0
Omitting types theorem in hybrid dynamic first-order logic with rigid symbols	0
L-algebras and three main non-classical logics	0
Hanf number of the first stability cardinal in AECs	0
Infinitesimal analysis without the Axiom of Choice	0
Ideal topologies in higher descriptive set theory	0
Blowing up the power of a singular cardinal of uncountable cofinality with collapses	0
Computational complexity for bounded distributive lattices with negation	0
Causal modeling semantics for counterfactuals with disjunctive antecedents	0
Companionability characterization for the expansion of an o-minimal theory by a dense subgroup	0
Editorial Board	0
ZF and its interpretations	0
Dividing and forking in random hypergraphs	0
Extensions of Solovay's system S without independent sets of axioms	0
Effective compactness and orbits of points under the isometry group	0
Simple-like independence relations in abstract elementary classes	0
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras	0
On duality and model theory for polyadic spaces	0
Positive modal logic beyond distributivity	0
A Borel maximal eventually different family	0
A large pairwise far family of Aronszajn trees	0
Some variations on the splitting number	0
On Guaspari's problem about partially conservative sentences	0
Editorial Board	0
Quantifier-free epistemic term-modal logic with assignment operator	0
On elementary logics for quantitative dependencies	0
Halfway new cardinal characteristics	0
An Efimov space with character less than s	0
Is cut-free logic fit for unrestricted abstraction?	0
A logico-geometric comparison of coherence for non-additive uncertainty measures	0
Groups definable in Presburger arithmetic	0
Dp-finite fields I(A): The infinitesimals	0
Generating ideals by additive subgroups of rings	0
Saturation properties for compositional truth with propositional correctness	0
First-order rigidity of rings satisfying polynomial identities	0
Editorial Board	0
Two chain conditions and their Todorčević's fragments of Martin's Axiom	0
The relative strengths of fragments of Martin's axiom	0
Separating families and order dimension of Turing degrees	0
Editorial Board	0
Strength and limitations of Sherali-Adams and Nullstellensatz proof systems	0
Krull dimension in set theory	0
The logic of cardinality comparison without the axiom of choice	0
Proof complexity of substructural logics	0
Definably topological dynamics of p-adic algebraic groups	0
On intermediate inquisitive and dependence logics: An algebraic study	0
Editorial Board	0