archive
Every paper Pith has read. Search by title, abstract, or pith.
407 papers in math.LO · page 7
-
Axioms define κ-Solovay models as L(V_{κ+1})^M
Higher Solovay Models
-
CH implies existence of n-entangled orders not n+1-entangled
Some questions on entangled linear orders
-
New modality defines bisimulations in modal logic
A meta-modal logic for bisimulations
-
Reals receive full classification of consistent infinite partition relations
Infinite-Exponent Partition Relations on the Real Line
-
Every ideal action is coherent in ideally exact categories
Coherent and ideal actions in ideally exact categories
-
Free groups admit comeager classes of minimal Cantor actions
Dense and comeager conjugacy classes in zero-dimensional dynamics
-
Whitney jets extend computably when distance to the set is computable
Computability of a Whitney Extension
-
Amalgamation in models marks De Morgan classifying toposes
De Morgan's law in toposes I
-
D-minimal structures remain d-minimal after adjoining component unions
Connected components in d-minimal structures
-
Monoid condition decides cofibrant generation of pure monomorphisms
Cofibrant generation of pure monomorphisms in presheaf categories
-
Proof search hardness implies NP differs from coNP
On $NP \cap coNP$ proof complexity generators
-
Short Resolution proofs of Ref(φ) extract satisfying assignments
The Proof Analysis Problem
-
DNFs hit any k solutions with O(sqrt(log k) log log k) terms
CNFs and DNFs with Exactly $k$ Solutions
-
Nonstandard methods now apply to any relation on ultrafilters
Weak, strong and mixed extensions of relations to spaces of ultrafilters
-
Hardness assumption stops PV1 proving every number has a prime divisor
Prime Factorization in Models of PV$_1$
-
New principle proves algebraic classes escape L∞,ω1 axiomatization
A New Construction Principle
-
Topos for extended Weihrauch degrees recovers Kleene-Vesley as sheaves
A topos for extended Weihrauch degrees
-
Fractal additive subgroup covers reals with one scaled copy
When is $A + x A =\mathbb{R}$
-
ω-ary operation on ordinals equals rank and mixed sum
Monotone infinitary operations on ordinals (extended version)
-
AKS primality test proven correct in VTC^0_2
Feasibility of Primality in Bounded Arithmetic
-
Dissociation classifies unitary representations of permutation groups
On dissociated infinite permutation groups
-
Relaxed supermartingale plus modulus τ gives uniform convergence rates
An abstract effective convergence theorem for stochastic processes, with applications to stochastic approximation
-
Trace definability preserves some classification properties
Trace definability I: preservation and characterizations
-
Minlog extracts verified Haskell code from arithmetic theorems
Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
-
Groups definable with derivations embed into base-field groups
On groups definable in geometric fields with generic derivations
-
Axioms make Farey graph theory ω-stable of rank ω
On the model theory of the Farey graph
-
Contact relation cannot define interior-connectedness
On Nondefinability of Interior-Connectedness via the Contact Relation
-
Bodirsky-Pinsker conjecture equals its version without algebraicity
Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
-
Expansions of (Z,+) by primes or square-frees are supersimple
An exposition on the supersimplicity of certain expansions of the additive group of the integers
-
New induction principles for probability measures in quantitative logic
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
-
Dilators link to pointclasses via Σ¹₂ analysis
Proof-theoretic dilator and intermediate pointclasses
-
Omega-large Thin Set codes the omega jump
Ramsey-like theorems for the Schreier barrier
-
Maximal analytic Hardy fields share intersection of all maximal ones
Relative differential closure in Hardy fields
-
Ultrafilter sums after Prikry iteration separate axioms
Applications of the Magidor Iteration to Ultrafilter Theory
-
Omega-sequence conditionals add Flattening and Sequentiality to C2
Sequence and Consequence
-
Markov coding proves PA^- is sequential
From Numbers to Container Strings
-
No chain is cofinal in the Weihrauch degrees
Chains and antichains in the Weihrauch lattice
-
L(aa) classes using only aa form ℵ₁-Abstract Elementary Classes
$\Sigma_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
-
Abelian logic has 2^{2^ω} distinct infinitary extensions
Superabelian logics
-
Tweaked relevant logic B tracks all intensional content in deductions
Hyperformalism for Bunched Natural Deduction Systems
-
BM satisfies lericone relevance via parse tree paths
Topics, Non-Uniform Substitutions, and Variable Sharing
-
Borel amenability equals randomized hyperfiniteness
Uniform Borel Amenability
-
Ultrafilters on connectivity systems link to graph widths
Various Properties of Various Ultrafilters, Various Graph Width Parameters, and Various Connectivity Systems (with Survey)
-
Big Ramsey degrees reduce to monomorphic parts
Fra\"{i}ss\'{e}'s Conjecture and big Ramsey degrees of structures admitting finite monomorphic decomposition
-
Models of real exponentiation embed elementarily into surreals
Truncations in languages of generalized power series and the structure of $T$-$\lambda$-spherical completions of o-minimal fields
-
Equivariant condition yields constructive HoTT model
The equivariant model structure on cartesian cubical sets
-
Pigeonhole principle does not prove minimization in bounded arithmetic
An independence of the MIN principle from the PHP principle
-
Some ZF models cannot be properly end-extended
Models of Set Theory: Extensions and Dead-ends
-
Medvedev degrees of SFTs fully classified for virtually polycyclic groups
Medvedev degrees of subshifts on groups
-
Determinacy equates several basis types in Banach lattices
Coordinate systems in Banach spaces and lattices