On finite rigid structures
From MaRDI portal
Publication:4894726
DOI10.2307/2275675zbMath0860.03029arXivmath/9411236OpenAlexW2164809404MaRDI QIDQ4894726
Publication date: 21 April 1997
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/math/9411236
Model theory of finite structures (03C13) Models with special properties (saturated, rigid, etc.) (03C50) Other infinitary logic (03C75)
Related Items (14)
Canonization for two variables and puzzles on the square ⋮ How to define a linear order on finite models ⋮ Is Polynomial Time Choiceless? ⋮ SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy ⋮ Finite-Variable Logics Do Not Have Weak Beth Definability Property ⋮ Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas ⋮ On the Descriptive Complexity of Linear Algebra ⋮ Constructing Hard Examples for Graph Isomorphism ⋮ Recursive definitions and fixed-points on well-founded structures ⋮ RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC! ⋮ Implicit definability and infinitary logic in finite model theory ⋮ Recursive Definitions and Fixed-Points ⋮ Benchmark Graphs for Practical Graph Isomorphism ⋮ Identifiability of Graphs with Small Color Classes by the Weisfeiler--Leman Algorithm
This page was built for publication: On finite rigid structures
