archive
Every paper Pith has read. Search by title, abstract, or pith.
407 papers in math.LO · page 5
-
Strong proof systems fail feasible disjunction property under hardness
Failure of the strong feasible disjunction property
-
Nilpotent quotients block growth in approximate rings
On the structure of approximate rings
-
Stone duality extends to Z-c.e
An effective version of the Stone duality
-
Tarskian truth over set theory yields fresh proof results
Tarskian truth theories over set theory
-
O-minimality reduces to regular values in trans-exponential expansion
Towards Trans-Exponential O-minimal Expansion of $(\mathbb{R},+,\cdot, 0, 1 <)$
-
Variation produces unstable AEC without amalgamation
An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example
-
Secrecy operator added to simplicial models via local neighborhoods
A Logic of Secrecy on Simplicial Models
-
Shorter proof of L0 dichotomy via reflection theorem
A Concise Proof of the $L_0$ Dichotomy
-
Only Boolean finite MV-effect algebras admit S1-S4 operations
The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
-
Fischer-Servi logic IK lacks Craig interpolation
Fischer-Servi logic does not have interpolation
-
Ramsey theorem forces exponential closure on definable cut
The cohesive and stable Ramsey theorems and proof size over a weak base theory
-
Natural numbers object is projective in the free topos
Makkai's lost proof of projectivity of N in the free topos
-
Simplicity shown for automorphism groups of generic hypertournaments
Determining the normal subgroups of the automorphism groups of ultrahomogeneous structures via stabilisers
-
Modal exchangeability decomposes Kripke frames into orbit-directed credal measures
Modal Exchangeability: Centered Symmetry and the Credal Architecture of Kripke Frames
-
Uncountable Hindman theorem fails for reals in ZF
Hindman and Owings-like theorems without the Axiom of Choice
-
Uncountable Hindman theorem fails for reals in ZF
Hindman and Owings-like theorems without the Axiom of Choice
-
Merge-models exactly capture bounded twin-width
On merge-models
-
Modal validities of sets reduce to Grz.2 or Prepartition_n
The modal theory of the category of sets
-
Cubical type theory normal forms listed explicitly
Normal forms in cubical type theory
-
sl_2 action filters orbit algebras of oligomorphic groups by Verma modules
Infinite sequences via Lie algebra actions for oligomorphic groups
-
Minimal spectrum groupoids are quasigroups except trivials
On semigroups and groupoids with minimal probabilistic spectrum
-
SCI hierarchies match Weihrauch computability only after regularity restrictions
Foundational Analysis Of The Solvability Complexity Index: The Weihrauch-SCI Intermediate Hierarchy
-
Poset dimension bounds equivalent to WKL0 over RCA0
Reverse mathematics and dimension of posets
-
Procedure shows many-sorted logic with equality reduces to unsorted
Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
-
Dimensional annotations survive MLIR lowering to decide memory layout
Dimensional Type Systems and Deterministic Memory Management: Design-Time Semantic Preservation in Native Compilation
-
Cumulative powers recover direct powers and ultrapowers as quotients
Hierarchies of direct powers, ultrapowers and cumulative powers
-
Abelian l-groups with valuation admit a model companion
A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
-
Reals embed in finite field ultraproducts only via internal constructions
The reals as a subset of an ultraproduct of finite fields
-
Algebraic reals embed in ultraproducts of finite fields via internal sets
The reals as a subset of an ultraproduct of finite fields
-
PA^- proves no consistency of any theory under basic conditions
On a Theorem by Bezboruah & Shepherdson
-
Geometric rank refines SU-rank for imaginaries in ACF pairs
Rank and Independence of Imaginaries in Proper Pairs of ACF
-
Any finite coloring of naturals forces monochromatic x
Monochromatic sums and quotients in $\mathbb N$
-
Parametric suprema approximated within constructible classes
Approximating parametric suprema for constructible and power-constructible functions
-
Complete theory bounded by ∀1-axioms yet realizes unbounded types
A Complete Bounded Theory with Unbounded Types
-
Every modality is an oracle modality
Sheaves as oracle computations
-
Perfectoid fields of fixed p share one theory in ring language
Perfectoid fields in the language of rings
-
Orthomodular lattices equate to T-based dynamic algebras
On $\mathscr{T}$-based orthomodular dynamic algebras
-
Algebraic conditions decide all finite-domain CSP complexity
Graph Homomorphisms and Universal Algebra
-
Brouwer trees grade decidability for countable meets
Generalized Decidability via Brouwer Trees
-
GL fails strong completeness for languages of size (2^|λ| + ℵ₀)^+
Strong Completeness of Provability Logic for Uncountable Languages
-
A field is p-adically closed exactly when its Galois group matches Q_p
The Galois characterisation of $p$-adically closed fields -- A modern perspective
-
Logic with switching tolerances solves inductive coordination
Topological Semantics for Common Inductive Knowledge
-
Gaifman conjecture holds for almost internal covers
Remarks on relative categoricity
-
Strong systems cannot prove reals uncountable
The uncountability of the reals and the Axiom of Choice
-
Forcing separates three non-lowness classes
Forcing and classes of $\mathsf{HYP}$-dominating functions
-
k-sheer partitions enable Z_2 sheaf cohomology computations
Computational techniques for sheaf cohomology of locally profinite sets
-
ω-rules make Q and PA categorical
Categoricity for an inferential $\omega$-logic and in $L_{\omega_1,\omega}$
-
Unconditional axiomatization for ∃3-theory of F_q((t))
Existential fragments of theories of henselian valued fields
-
ζ-expressions capture Weihrauch degrees from choice to game determinacy
Problems with fixpoints of polynomials of polynomials
-
Non-universal Polish groups induce complete orbit relations
Complete orbit equivalence relation and non-universal Polish groups