Braunfeld, Samuel

1. Characterizations of monadic NIP
   2021/04/27 by Braunfeld, Samuel, Laskowski, Michael C. · 3 citations
   #03C45 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
2. Infinite Limits of Finite-Dimensional Permutation Structures, and their Automorphism Groups: Between Model Theory and Combinatorics
   2018/05/11 by Samuel Braunfeld, Braunfeld, Samuel · 1 citation
   Computer Science · Mathematics · #03C13 #03C15 #03C50 #05D10 #37B05 #Advanced Topology and Set Theory #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #FOS: Mathematics #Limits and Structures in Graph Theory #Logic (math.LO)
3. Existential characterizations of monadic NIP
   2022/09/12 by Braunfeld, Samuel, Laskowski, Michael C. · 2 citations
   #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
4. On first-order transductions of classes of graphs
   2022/08/30 by Samuel Braunfeld, Jaroslav Nešetřil, Braunfeld, Samuel +5 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Combinatorics (math.CO) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
5. Decidability in geometric grid classes of permutations
   2023/08/08 by Braunfeld, Samuel · 1 citation
   #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
6. When invariance implies exchangeability (and applications to invariant Keisler measures)
   2024/08/15 by Samuel Braunfeld, Braunfeld, Samuel, Colin Jahel +3 · 1 citation
   Mathematics · #0C315 #0C345 #37A05 #60C05 #60G09 #Combinatorics (math.CO) #Dynamical Systems (math.DS) #FOS: Mathematics #Functional Equations Stability Results #Logic (math.LO) #Probability (math.PR)
7. Type-respecting amalgamation and big Ramsey degrees
   2023/03/22 by Andrés Aranda, Samuel Braunfeld, Aranda, Andrés +11 · 1 citation
   Computer Science · Mathematics · #05C05 #05C55 #05C65 #05D10 #Advanced Topology and Set Theory #Combinatorics (math.CO) #Computability, Logic, AI Algorithms #Discrete Mathematics (cs.DM) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2 #Logic (math.LO) #Logic, Reasoning, and Knowledge