Deux ou trois choses que je sais de Ln

DOI10.2307/2273594zbMath0507.03014OpenAlexW1508184538MaRDI QIDQ4744254

Bruno Poizat

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

zbMATH Keywords

non-isomorphic modelsarbitrarily large finite modelsfragment of Lmetamathematics of finite combinatoricstheory of cylindric algebras

Mathematics Subject Classification ID

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

• On languages with two variables
• Unnamed Item

This page was built for publication: Deux ou trois choses que je sais de L_n