Cover Image

On BPI in Symmetric Extensions Part 1

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Ransom, Brian
Format:	Preprint
Published:	2025
Subjects:	Logic Combinatorics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Convergence Laws for Extensions of First-Order Logic with Averaging
by: Adam-Day, Sam, et al.
Published: (2025)

Growth of regular partitions 1: Improved bounds for small slicewise VC-dimension
by: Terry, C.
Published: (2024)

Decomposing graphs into stable and ordered parts
by: Buffière, Hector, et al.
Published: (2025)

Monadic Second-Order Logic of Permutations
by: Jelínek, Vít, et al.
Published: (2025)

Indivisibility and uniform computational strength
by: Gill, Kenneth
Published: (2023)

Decidability for Sturmian words
by: Hieronymi, Philipp, et al.
Published: (2021)

Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)

The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
by: Terry, C., et al.
Published: (2025)

On the linear complexity of subsets of $\mathbb{F}_p^n$ bounded $\textrm{VC}_2$-dimension
by: Sheats, Hannah, et al.
Published: (2025)

Stationary list colorings
by: Hayashi, Yusuke
Published: (2025)

Hall's Harem Theorem with controlled sizes of cycles
by: Duda, Karol
Published: (2025)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
by: Bodor, Bertalan, et al.
Published: (2025)

The ineffectiveness of the regularity lemma for bounded degree graphs
by: Lyons, Clark, et al.
Published: (2025)

Borel fractional perfect matchings in quasi-transitive amenable graphs
by: Murray, Sam
Published: (2025)

Colors of the Pseudotree
by: Chodounský, David, et al.
Published: (2025)

Solving infinitary Rubik's cubes
by: Tisdell, Jack Edward
Published: (2025)

Hanf numbers for poset games
by: Herrera, Fabián Rivero
Published: (2025)

Notes on Laver Tables
by: Qi, Renrui
Published: (2025)

Enumeration of Finite Distance Monoids
by: Luo, Yunjie, et al.
Published: (2025)

Dependence of functions on their variables
by: Farah, Ilijas
Published: (2025)

Non-expansion in polynomial automorphisms of $\mathbb{C}^2$
by: Bays, Martin, et al.
Published: (2025)

Modeling FO-limits for monadically stable sequences
by: Braunfeld, S., et al.
Published: (2025)

On the quadratic complexity of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC_{2}}$-dimension
by: Terry, C., et al.
Published: (2025)

Classification properties for some ternary structures
by: Miguel-Gómez, Alberto
Published: (2024)

Skelet #17 and the fifth Busy Beaver number
by: Xu, Chris
Published: (2024)

A Concise Proof of the $L_0$ Dichotomy
by: Matos-Wiederhold, Tonatiuh
Published: (2026)

Simple Models of Randomization and Preservation Theorems
by: Khanaki, Karim, et al.
Published: (2024)

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
by: Mašulović, Dragan
Published: (2026)

Continuous stable regularity
by: Chavarria, Nicolas, et al.
Published: (2021)

Borel line graphs
by: Anderson, James, et al.
Published: (2023)

Growth of regular partitions 4: strong regularity and the pairs partition
by: Terry, C.
Published: (2024)

Decomposable shuffles
by: Dias, João, et al.
Published: (2026)

Higher-order generalizations of stability and arithmetic regularity
by: Terry, C., et al.
Published: (2021)

Reverse mathematics and dimension of posets
by: Marcone, Alberto, et al.
Published: (2026)

A note on quantitative stability in Hilbert spaces
by: Jing, Yifan
Published: (2026)

New bounds on the strength of some restrictions of Hindman's Theorem
by: Carlucci, Lorenzo, et al.
Published: (2017)

Stabilizers, Measures and IP-sets
by: Martin-Pizarro, Amador, et al.
Published: (2019)

A new perspective on semi-retractions and the Ramsey property
by: Bartošová, Dana, et al.
Published: (2022)

On n-dependence
by: Chernikov, Artem, et al.
Published: (2014)

Foundations of iterated star maps and their use in combinatorics
by: Di Nasso, Mauro, et al.
Published: (2024)