Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- Completeness of the Gödel--Löb Provability Logic for Finite Derived Ordinal Topologies
- A cardinal trichotomy for topological equivalence classes of countable trees
- First-Order Laws for Random Geometric Graphs on the Torus
- Human and AI-generated texts between modal logic and statistics
- Model Theory of Generic Vector Space Endomorphisms V: The o-Minimal Case
- The measure half of the 2n+1 problem
- Groups of Worldview Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields
- The Order of the Non-universal Tree of a Hilbert Space with Respect to the Haar Basis
- Global representations of algebras with a near-unanimity term
- The Composition Lemma for n-dependence
- Unique factorization results for generalized power series
- Modalities in non-classical variations of S4
- Infinite Communication Complexity and KW Games
- Subgroup Accessibility in Group Order Logic
- Exponential Gaps Between Intuitionistic Linear Extended Frege Systems
- Every Nonrecursive Many-One Degree Contains Either One or Infinitely Many Finite-One Degrees
- Quantified propositional calculi and narrow implicit proofs
- The weakness of typicality
- Open Problems in Mathematical Logic
- Most properties are undecidable even in mathopNExt Grzt
- The Iterative Conception Reconsidered
- $13$ unknowns over quadratic integer rings and Lucas congruences
- A Borel Concept Class of VC Dimension One with a Non-PAC Consistent Learner in ZFC
- Infinitary positive existential normal forms for modules
- Fixed points in abstract provability structures