Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- Finitely Related Clones: Action Algebras and Applications to Free Algebras
- Quasi-Polish spaces and spaces of filters in second-order arithmetic
- From *-Autonomous to Linearly Distributive via Enrichments and Strengths
- Reducing stable forking dependence to finitely many pregeometries
- Unifying Conservation as Translation for General Calculi
- Compactness for almost projective modules
- Borel complexity for product of trees and commuting partial maps
- Borel-Tukey morphisms between Ramsey homogeneity relations
- Existence of bases implies the axiom of choice, a foundation-free proof
- Rice's Theorem under Self-Modification: Elevation Operators and a Normal Form
- Compact totally separated types
- A Special Π01 Class with the Join Property but without Pseudojump Inversion
- Pseudo-Hyperjump Inversion Fails for Turing Degrees
- FIID Coloring Random Maps
- Compactness Principles for CSPs and the Axiom of Chocie
- Selection principles and the Scheepers diagram in an uncountable setting
- Primeless proofs of the Menger and Rothberger games
- A solution of the D-space Problem
- The effects of forcing on exacting and ultraexacting cardinals
- Minimal proximal definable flows over the p-adics
- Oracle-Tree Forcing and Wilfs Inequality for Thirteen Left Elements
- Geometric morphisms of virtual ultracategories
- Bellman's Forest Problem and Computability
- Generalized Quantifiers: Scope Dominance and Branching
- Two questions on E0-like generic equivalence