Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- A Note on Narrow Systems
- Square-to-Cube Lindelöfness and Power Separations in Hattori Spaces
- d=ω1 implies a=ω1
- Transcending Algebraic Geometry
- Pointwise provable equality and the failure of composition
- Complex curves in o-minimal geometry
- The Q-Calculus: A Quaternion-Based Laws of Form System
- On canonicity of almost linear minimal orders
- PAC fields and difference fields with generic automorphisms
- Lattice of 456 semigroup varieties from equations of order up to 4
- Continuous graph homomorphisms of higher dimensional abelian group actions
- Non-finite Axiomatizability and Undecidability of Cheq
- Hagendorf Orders
- Proof Theory for Non-Contingency Logic
- Small additive groups with A+ξA=ℝ
- Explicit Witnesses at Every Gap of the Depth Filtration of βℕ
- Pseudo-solutions of polynomial systems and the lower bound problem for AC0[p]-Frege systems
- Bootstrapping Mutual Attestation with Kleene's Second Recursion Theorem
- Strong failures of club guessing at the successor of a regular cardinal
- Some results on NIP groups and their Ellis groups
- Karp's NP-complete problems over first-order definable structures
- A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures
- An equivalent form of Hindman's Theorem
- Flip-packability: uniform characterisations of tame graph classes
- Fine Selection for Intuitionistic Modal Logic