Deux ou trois choses que je sais de Ln
From MaRDI portal
Publication:4744254
DOI10.2307/2273594zbMath0507.03014OpenAlexW1508184538MaRDI QIDQ4744254
Publication date: 1982
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273594
non-isomorphic modelsarbitrarily large finite modelsfragment of Lmetamathematics of finite combinatoricstheory of cylindric algebras
Model theory (03C99) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20) Categoricity and completeness of theories (03C35)
Related Items (16)
On varieties of cylindric algebras with applications to logic ⋮ Canonization for two variables and puzzles on the square ⋮ Metafinite model theory ⋮ Super/rosy \(L^k\)-theories and classes of finite structures ⋮ An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers ⋮ The Kolmogorov expressive power of Boolean query languages ⋮ Preservation theorems in finite model theory ⋮ Definability with bounded number of bound variables ⋮ Pebble Games over Ordered Structural Abstractions ⋮ Metafinite model theory ⋮ Une théorie de Galois imaginaire ⋮ Theories categorical in power \(n+2\) ⋮ Unnamed Item ⋮ Large finite structures with few \(L^k\)-types ⋮ Reflective relational machines ⋮ Asymptotic probabilities of extension properties and random \(l\)-colourable structures
Cites Work
This page was built for publication: Deux ou trois choses que je sais de Ln
