archive
Every paper Pith has read. Search by title, abstract, or pith.
407 papers in math.LO · page 4
-
Design existence recast as pigeonhole reductions
Finite combinatorics and computability theory
-
Missing top grade makes any passing grade acceptable in deontic logic
Classification and deontic explosion for contrary-to-duty obligations
-
Generalized model theory reduces stability to Borel complexity
The generalized continuous model theory, Borel complexity and stability
-
Two modalities model strict potentialism and mirror to simpler logics
Strict potentialism in modal mirrors
-
Complete theories are relatively decidable exactly via one-formula model-complete add-on
Characterizing relative decidability in terms of model completeness
-
Equivalence links orthomodular lattices to finitary dynamic algebras
Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
-
Ultracontact algebras unify contact relations on Boolean algebras
Ultracontact algebras and stack systems
-
Countable quivers topologized to match Baire space
Topologizing infinite quivers and their mutations
-
D-maximal many-one degrees contain least finite-one degrees
\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
-
Forcing yields ω₃-long almost-nested chain of subsets of ω₁
Long Strong Chains of Subsets of $\omega_1$
-
Quotient encodings bound C*-algebra properties in the Borel hierarchy
Polish spaces for countable and separable structures through quotient encodings
-
Polynomial DE trajectories obey weakened algebraic intersection bound
Counting Theorems for Algebraic Relations
-
Rank function realizes every countable ordinal in Fraïssé classes
A rank function for Fra\"{\i}ss\'{e} classes and the rank property
-
Rank function realizes every countable ordinal
A rank function for Fra\"{\i}ss\'{e} classes and the rank property
-
Contravariant adjunction links two transition-structure categories
Topologically valued transition structures
-
Logic model characterizes harmonic manifolds for n at most 2
Saturation and isomorphism of abstract harmonic spaces
-
Sharpness equals worst-case exactness for SCI but not pointwise
From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index
-
Three exactness levels for SCI on problem families
From Witness-Space Sharpness To Family-Pointwise Exactness For The Solvability Complexity Index
-
New model theory defines isomorphism for formal languages
On a new theory of models for formal mathematical systems
-
Chronological free entropy is concave on Wasserstein geodesics
Free information geometry and the model theory of noncommutative stochastic processes
-
Transitive extensions exist only for power-of-two colors or even arity
Transitive Extensions of Automorphism Groups of Generic Structures
-
A c.e
A computably enumerable many-one degree with no least finite-one degree
-
Generalised perfect set forcing iterates along well-founded orders
Iterating Generalised Perfect Set Forcing Along Well-Founded Orders
-
Iteration theorem keeps strong closure and stationary cc under <λ supports
A note on iterating strongly $(<\lambda)$-closed stationary $\lambda^+$-cc forcing
-
New logic expresses frequencies in event sequences
A Linear Temporal Logic of Frequencies on Series of Events
-
Almost free non-Archimedean Banach spaces are free under large cardinals
Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals
-
PA automorphism fixer groups have only meagre normal subgroups
The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts
-
Cohesive products describe infinite Galois groups of computable fields
On Cohesive Products of Fields
-
Lattice majorization equivalent to P-ideals being meager
Normed lattices majorizing in their norm completions
-
Computable colorings force Henson copies to compute jumps
The Henson graphs: colorings and codings
-
Free LDAs on different generators agree on Σ₁ but not Σ₂
Free Left Distributive Algebras and a Canonical Extension
-
Resplendency gives quantifier elimination for ordered valued fields
Ordered henselian valued fields: definability and Borel sets
-
Probability spectrum measures algebra primality with 1/2 bound
Probabilistic equational spectrum, primality and approximation in finite algebras
-
Profinite completion matches sheaf representation for Heyting algebras
Coexact completion of profinite Heyting algebras and uniform interpolation
-
Translation extracts computable bounds from probabilistic proofs
A systematic way of analysing proofs in probability theory
-
Every ordinal below ω₂ realized by uniform Borel sets
On Petr Novikov's problem of ordered systems of uniform sets
-
Any set cardinality decomposes into three classical components
Cardinality in a paraconsistent and paracomplete set theory
-
C*-algebra free products admit general selfless inclusions
Selfless reduced amalgamated free products and HNN extensions
-
Bisimilarity on pointmass processes is analytic
The complexity of bisimilarity on pointmass processes
-
Analytically generated o-minimal structures yield effective Yomdin-Gromov lemma
Analytically generated sharply o-minimal structures
-
Optimal oracles extend Marstrand projection theorem
Projections of sets with optimal oracles onto $k$-planes
-
AI maps global structure of formal proofs
Artificial Intelligence and the Structure of Mathematics
-
Forcing makes maximal n-ladders hit size aleph_{n-1}
On maximal ladders
-
Forcing notions prove some graphs have no countable alpha-Borel colorings
Topology, forcing, and graph colourings
-
Reid class classification extends to non-Archimedean Banach spaces
Structural Hierarchy of Reid Class of non-Archimedean Banach Spaces
-
New colored edge graphs simplify Bulatov theory for minimal Taylor algebras
The colored edge theory of A. Bulatov and binary absorption in minimal Taylor algebras
-
Borel digraphs with dichromatic number >=3 form Σ¹₂-complete class
No Countable Basis for Borel Directed Graphs of Dichromatic Number at Least Three
-
2-generated minimal Taylor algebras of size 4 are never simple
On 2-generated minimal Taylor algebras of size 4
-
Borel entire functions separate orbits for any free C^d action
Separating Orbits by Entire Functions
-
All SMB algebras yield tractable CSP templates
SMB algebras II: On the Constraint Satisfaction Problem over Semilattices of Mal'cev Blocks