archive
Every paper Pith has read. Search by title, abstract, or pith.
407 papers in math.LO · page 8
-
Left ultrafunctors match bundles of metric models over spaces
Bundles of metric structures as left ultrafunctors
-
α-balanced Polish groups stratify TSI to CLI hierarchy
The class and dynamics of $\alpha$-balanced Polish groups
-
Free Gödel algebras dualized as closed chains in Priestley spaces
Free algebras and coproducts in varieties of G\"odel algebras
-
Minimal subflows of linear orders on sparse graph M_1 have meagre orbits
Flows of linear orders on sparse graphs
-
Atomic sheaves embed independence relations in classical logic
Equivalence and Conditional Independence in Atomic Sheaf Logic
-
Simple theories with finite relational QE are one-based and finite rank
Simple Homogeneous Structures and Indiscernible Sequence Invariants
-
Team categories prove Lindström theorem for second-order logic
On the Model Theory of Second-Order Objects
-
Borel digraphs satisfy measurable Brooks theorem
Measurable Brooks's Theorem for Directed Graphs
-
Ramsey theorem for pairs conserves all ∀Π⁰₄ sentences
$\Pi^0_4$ conservation of Ramsey's theorem for pairs
-
Finitely presented groups exist with transcendental spectral radius
Finitely presented groups with transcendental spectral radius
-
T-minimality yields dimension theory and perfect definable fields
Visceral theories without assumptions
-
Quaternions and octonions axiomatized as algebras over real closed fields
On the first-order theories of quaternions and octonions
-
S-integer rings are Diophantine in function fields
Universally defining subrings in function fields
-
Normalization theorems reduce differential equations over H-fields
Normalizing Asymptotic Differential Equations
-
Almost sure OTM realizability differs from plain version
Almost sure OTM-realizability
-
Closed definable sets are zero loci of continuous functions
About closed subsets definable in Hensel minimal structures
-
Natural Term Logic terms reduce to unique normal forms
Natural Term Logic
-
Forcing over L separates Σ¹₃-separation from Π¹₃-reduction
A Failure of $\Pi^1_{n+3}$-Reduction in the Presence of $\Sigma^1_{n+3}$-Separation
-
Omega is not a halting probability under any infinite discrete measure
On Chaitin's Heuristic Principle and Halting Probability
-
NL equals C_=L and sits inside PL
Some derivations among Logarithmic Space Bounded Counting Classes
-
Twisted Hurwitz series defines right adjoint for Taylor morphisms
Taylor Morphisms
-
Semilattices with hypercontact embed into Boolean algebras
Hypercontact semilattices
-
Modal product logic reduces to propositional product logic
On the local consequence of modal Product logic: standard completeness and decidability
-
Total universe models ZF without regularity
Generalized Von Neumann Universe and Non-Well-Founded Sets
-
Groups involving S_∞ alone classify =+
Classification Strength of Polish Groups: Involving $S_\infty$
-
P(ω)/fin contains subalgebras ordered like subsets of the continuum
Many subalgebras of $\mathcal{P}(\omega)/\mathit{fin}$
-
First measurable can also be first Mahlo or weakly critical
Small measurable cardinals
-
Sudoku uniqueness is an axiom of its own logic
Deducibility in Sudoku
-
Witnessed choice logic with counting not closed under interpretations
Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting
-
Definable orders in Presburger arithmetic are exactly the lex-embeddable ones
Linear Orders in Presburger Arithmetic
-
Approximate AKE principle reduces metric valued fields to residue and value data
An Approximate AKE Principle for Metric Valued Fields
-
Moser-Tardos needs only constant random bits
Moser-Tardos Algorithm with small number of random bits
-
Perfect sets parametrize Ramsey theory of vector space block sequences
Parametrizing the Ramsey theory of vector spaces I: Discrete spaces
-
Monadic NIP holds exactly when types are finitely satisfiable
Characterizations of monadic NIP
-
Distality of valued fields yields incidence bounds over finite fields
Incidence bounds in positive characteristic via valuations and distality
-
One equality relation makes QCSP PSPACE-complete
The complete classification for quantified equality constraints
-
α-ITRMs beat conjectured strength limits for some α
Lower bounds on $\beta(\alpha)$ and other properties of $\alpha$-ITRMs
-
Tame mice satisfy V equals HOD_x for some real x
Ordinal definability in $L[\mathbb{E}]$
-
Lost melody theorem holds for infinite time real-number machines
The Lost Melody Theorem for Infinite Time Blum-Shub-Smale Machines
-
Forcing over L separates Π¹₃ reduction from uniformization
Forcing the $\Pi^1_3$-Reduction Property and a Failure of $\Pi^1_3$-Uniformization
-
Compatible Galois connection equips concepts with residuated multilattice
Formal Concepts and Residuation on Multilattices
-
Every regular between κ and 2^κ is an ultrafilter character on singular κ
Ultrafilters on singular cardinals of uncountable cofinality
-
Local ordering property implies part I of uniform Martin's conjecture
Uniform Martin's conjecture, locally
-
Implication defined on orthomodular posets via unsharp adjointness
How to introduce the connective implication in orthomodular posets
-
Splitting chains exist independently of ZFC
Splitting chains, tunnels and twisted sums
-
k-dimensional Weisfeiler-Leman runs in O(n^{k+1} log n)
The $k$-Dimensional Weisfeiler-Leman Algorithm
-
α-ITRMs recover L_{α+1} subsets of α exactly when L_α models ZF^-
Taming Koepke's Zoo II: Register Machines
-
Reflecting stationary sets split into reflecting subsets
Partitioning a reflecting stationary set
-
Luzin theorem splits every real set into two full subsets
Rediscovered theorem of Luzin
-
Gamma II1 factors resist Borel classification by countable structures
A note on the classification of Gamma factors