On finite rigid structures

DOI10.2307/2275675zbMath0860.03029arXivmath/9411236OpenAlexW2164809404MaRDI QIDQ4894726

Saharon Shelah, Yuri Gurevich

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

zbMATH Keywords

infinitary logicfinite structuresfixed-point logicrigid structures

Mathematics Subject Classification ID

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