:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Kruckman, Alex, Ramsey, Nicholas
Format:	Preprint
Published:	2023
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2309.02718
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Three surprising instances of dividing
by: Conant, Gabriel, et al.
Published: (2023)

Classification Theory and the Construction of PAC Fields
by: Ramsey, Nicholas
Published: (2026)

Measures on bounded perfect PAC fields
by: Chatzidakis, Zoé, et al.
Published: (2025)

Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)

Primitive pseudo-finite permutation groups of finite SU-rank
by: Karhumäki, Ulla, et al.
Published: (2025)

A two-sorted theory of nilpotent Lie algebras
by: d'Elbée, Christian, et al.
Published: (2024)

A note on stable Kim-forking
by: Bossut, Yvon
Published: (2025)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
by: Alhessi, Yousef, et al.
Published: (2025)

Model-theoretic properties of nilpotent groups and Lie algebras
by: d'Elbée, Christian, et al.
Published: (2023)

Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)

Non-Archimedean Analogue of Chase's Lemma
by: Mihara, Tomoki
Published: (2026)

A Beluga Formalization of the Harmony Lemma in the $π$-Calculus
by: Cecilia, Gabriele, et al.
Published: (2024)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
by: Liu, Xinyu, et al.
Published: (2026)

Affine Disjunctive Invariant Generation with Farkas' Lemma
by: Ke, Jingyu, et al.
Published: (2023)

Well-Founded Coalgebras Meet König's Lemma
by: Urbat, Henning, et al.
Published: (2025)

Lemmas: Generation, Selection, Application
by: Rawson, Michael, et al.
Published: (2023)

Some Remarks on Kim-dividing in NATP Theories
by: Kim, Joonhee, et al.
Published: (2022)

Borel Local Lemma: arbitrary random variables and limited exponential growth
by: Bernshteyn, Anton, et al.
Published: (2024)

Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
by: Peled, Romy, et al.
Published: (2025)

Beyond Eager Encodings: A Theory-Agnostic Approach to Theory-Lemma Enumeration in SMT
by: Civini, Emanuele, et al.
Published: (2026)

Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
by: Hulak, David B., et al.
Published: (2026)

A combinatorial characterization of Kim's lemma for pairs of bi-invariant types
by: Hanson, James E.
Published: (2025)

On stable Kim-forking and rosy theories
by: Miguel-Gómez, Alberto
Published: (2025)

Equivalence and Conditional Independence in Atomic Sheaf Logic
by: Simpson, Alex
Published: (2024)

A Simple and Elementary Proof of Zorn's Lemma
by: Nuida, Koji
Published: (2023)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
by: Bernshteyn, Anton, et al.
Published: (2023)

A Formalization of the Generalized Quantum Stein's Lemma in Lean
by: Meiburg, Alex, et al.
Published: (2025)

A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
by: Pischke, Nicholas
Published: (2023)

A systematic way of analysing proofs in probability theory
by: Neri, Morenikeji, et al.
Published: (2026)

A motivic Fundamental Lemma
by: Forey, Arthur, et al.
Published: (2023)

Structural completeness in quasivarieties
by: Aglianó, Paolo, et al.
Published: (2024)

A New Weak Choice Principle
by: Halbeisen, Lorenz, et al.
Published: (2021)

A modular bisimulation characterisation for fragments of hybrid logic
by: Badia, Guillermo, et al.
Published: (2023)

An approximate zero-one law via the Dialectica interpretation
by: Powell, Thomas, et al.
Published: (2025)

Proof mining and probability theory
by: Neri, Morenikeji, et al.
Published: (2024)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
by: Puljujärvi, Joni, et al.
Published: (2026)

A type-theoretic approach to semistrict higher categories
by: Rice, Alex
Published: (2025)

New simple theories from hypergraph sequences
by: Malliaris, M., et al.
Published: (2021)

New Bounds for the Ideal Proof System in Positive Characteristic
by: Behera, Amik Raj, et al.
Published: (2025)