The following pages link to Annals of Pure and Applied Logic (Q122505):
Displaying 50 items.
- A logical approach to context-specific independence (Q122510) (← links)
- Simple structures axiomatized by almost sure theories (Q255959) (← links)
- Quasiminimal structures, groups and Zariski-like geometries (Q268232) (← links)
- Undecidability through Fourier series (Q278759) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Propositional logics of dependence (Q278765) (← links)
- Canonical forking in AECs (Q278766) (← links)
- Modal logics, justification logics, and realization (Q286591) (← links)
- The poset of all copies of the random graph has the 2-localization property (Q286593) (← links)
- Square and delta reflection (Q287476) (← links)
- Expansions of o-minimal structures by dense independent sets (Q287480) (← links)
- Proof theory for lattice-ordered groups (Q287483) (← links)
- Essential and density topologies of continuous domains (Q290633) (← links)
- Limit spaces with approximations (Q290635) (← links)
- Atomicity, coherence of information, and point-free structures (Q290637) (← links)
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- The intrinsic topology of Martin-Löf universes (Q290640) (← links)
- Positivity relations on a locale (Q290642) (← links)
- Priestley-type dualities for partially ordered structures (Q290644) (← links)
- Apartness spaces and uniform neighbourhood structures (Q290645) (← links)
- Building independence relations in abstract elementary classes (Q306573) (← links)
- On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry (Q306575) (← links)
- Abelian \(p\)-groups and the halting problem (Q306578) (← links)
- Multi-posets in algebraic logic, group theory, and non-commutative topology (Q306579) (← links)
- A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle (Q306581) (← links)
- Superstability and symmetry (Q324243) (← links)
- Infinite games specified by 2-tape automata (Q324245) (← links)
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- Inductive inference and reverse mathematics (Q324252) (← links)
- Classifying torsion free groups in o-minimal expansions of real closed fields (Q324255) (← links)
- The semantic isomorphism theorem in abstract algebraic logic (Q324257) (← links)
- Products of Menger spaces: A combinatorial approach (Q331034) (← links)
- A classification of orbits admitting a unique invariant measure (Q331039) (← links)
- Cardinal characteristics at \(\kappa\) in a small \(\mathfrak{u}(\kappa)\) model (Q331044) (← links)
- Bounded stationary reflection. II. (Q331046) (← links)
- Labeled sequent calculus for justification logics (Q331048) (← links)
- Effective results on a fixed point algorithm for families of nonlinear mappings (Q331050) (← links)
- Vaught's conjecture for quite o-minimal theories (Q331052) (← links)
- Proof complexity of intuitionistic implicational formulas (Q331054) (← links)
- Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\) (Q331056) (← links)
- Foreword for special issue of APAL for GaLoP 2013 (Q345699) (← links)
- Game semantics for non-monotonic intensional logic programming (Q345702) (← links)
- Realizability for Peano arithmetic with winning conditions in HON games (Q345704) (← links)
- Interaction graphs: graphings (Q345705) (← links)
- A micrological study of negation (Q345707) (← links)
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects (Q345713) (← links)
- Operations, climbability and the proper forcing axiom (Q385066) (← links)
- Cardinal characteristics, projective wellorders and large continuum (Q385067) (← links)
