The following pages link to arXiv classification (P22):
Displaying 50 items.
- An intuitionistic axiomatization of `eventually' (Q5224567) (← links)
- Ruitenburg's Theorem via Duality and Bounded Bisimulations (Q5224571) (← links)
- Relational Semantics for the Turing Schmerl Calculus (Q5224574) (← links)
- The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable (Q5224575) (← links)
- Normal extensions of KTB of codimension 3 (Q5224580) (← links)
- Coherence in Modal Logic (Q5224581) (← links)
- Pointwise intersection in neighbourhood modal logic (Q5224589) (← links)
- When Names Are Not Commonly Known: Epistemic Logic with Assignments (Q5224590) (← links)
- Introduction to algebras of partial triangulations (Q5224595) (← links)
- Weighted projective lines and Riemann surfaces (Q5224604) (← links)
- Introduction to quiver varieties -- for ring and representation theoriests (Q5224608) (← links)
- On mutation of {\tau}-tilting modules (Q5224618) (← links)
- Ergodic properties of some negatively curved manifolds with infinite measure (Q5224619) (← links)
- Weakly curved A-infinity algebras over a topological local ring (Q5224620) (← links)
- An Electrostatics Problem on the Sphere Arising from a Nearby Point Charge (Q5224644) (← links)
- Beta operators with Jacobi weights (Q5224648) (← links)
- On Markov-Duffin-Schaeffer inequalities with a majorant. II (Q5224653) (← links)
- Some abstract versions of G\"odel's second incompleteness theorem based on non-classical logics (Q5224682) (← links)
- A negative result on algebraic specifications of the meadow of rational numbers (Q5224683) (← links)
- Variations on a Visserian Theme (Q5224688) (← links)
- Labelled tableaux for interpretability logics (Q5224691) (← links)
- Reasoning in circles (Q5224693) (← links)
- Expansions of pseudofinite structures and circuit and proof complexity (Q5224696) (← links)
- On the diamenter of Lascar strong types (after Ludomir Newelski) (Q5224699) (← links)
- Solving simultaneously Thue equations in the almost totally imaginary case (Q5224720) (← links)
- A Diophantine problem with prime variables (Q5224721) (← links)
- Linear Type-p Most-Perfect Squares (Q5224751) (← links)
- Strong Pseudo Transitivity and Intersection Graphs (Q5224759) (← links)
- A construction of product blocks with a fixed block size (Q5224760) (← links)
- Algebraic Aspects of Conditional Independence and Graphical Models (Q5224814) (← links)
- Latent tree models (Q5224822) (← links)
- Inference in high-dimensional graphical models (Q5224825) (← links)
- Perfect Domination in Knights Graphs (Q5224848) (← links)
- $P$-Matchings in Graphs: A Brief Survey with Some Open Problems (Q5224849) (← links)
- Singularities of Frontals (Q5224860) (← links)
- Triply periodic zero mean curvature surfaces in Lorentz-Minkowski 3-space (Q5224865) (← links)
- On keen Heegaard splittings (Q5224869) (← links)
- Discrete linear Weingarten surfaces with singularities in Riemannian and Lorentzian spaceforms (Q5224876) (← links)
- On pairs of geometric foliations on a cuspidal edge (Q5224877) (← links)
- Boundary value problems for the Lorentzian Dirac operator (Q5224927) (← links)
- Torsion of elliptic curves and unlikely intersections (Q5224928) (← links)
- The deformed Hermitian-Yang-Mills equation in geometry and physics (Q5224930) (← links)
- A Hitchin Connection for a large class of families of K\"ahler Structures (Q5224933) (← links)
- Mirror symmetry with branes by equivariant Verlinde formulae (Q5224935) (← links)
- Deformation theory of Lie bialgebra properads (Q5224936) (← links)
- Vertex algebras and 4-manifold invariants (Q5224937) (← links)
- Hyperfunctions, the Duistermaat-Heckman theorem, and Loop Groups (Q5224939) (← links)
- A nonlocal memory strange term arising in the critical scale homogenisation of a diffusion equation with a dynamic boundary condition (Q5225102) (← links)
- Constant curvature translation surfaces in Galilean 3-space (Q5225306) (← links)
- A Generalized Wintgen inequality for Legendrian submanifolds in almost Kenmotsu manifolds (Q5225311) (← links)
