Logic & foundations
515 studies29 in 7 days207 in 30 days
Filters
Latest
515 studies
- Combinatorics in 1-semi-equational theories
- Finite-index extensions of essentially free countable Borel equivalence relations
- Kim-forking for hyperimaginaries in nsop1 theories
- A minimal type of Morley rank ω in a partial differential field
- Coding is non-robust
- Scott topologies on products of countable complete Heyting algebras
- 1-genericity and almost everywhere domination
- Almost-everywhere computation of weak generics relative to r.e. sets
- Generically stable Keisler measures
- Affine modal propositional logic
- A non-recursively enumerable set W⊆N, where N\W is recursively enumerable and the predicate n∈W expresses a fundamental property of n
- On definable Galois theory and definable Galois cohomology in the totally transcendental setting
- Tag-system computation using only powers and principal logarithms
- Finite Borel asymptotic dimension of bounded-to-one commutative monoid actions
- Two variants of minimality in forcing extensions
- Multiplicatively idempotent HSI algebras satisfy all equations of ℕ
- An extension of Subcomplete Forcing Axiom which implies diamondsuit+
- Mechanizing Gödel's Incompleteness Theorems and Provability Logic
- Nash structure of curves over a valued field and tame henselian rationality
- A Rank for Discontinuities of Multivalued Functions
- Wild automorphisms and compound isotriviality
- Exact Complexity of the Satisfiability Problem for Strategy Logic
- How many points does an affine algebraic set have in residue classes modulo n ?
- Finite Dependence and Invariance Hierarchies for Finitely Supported Structures
- AKE principles in roughly deeply ramified henselian valued fields