Deux ou trois choses que je sais de Ln

DOI10.2307/2273594MaRDI QIDQ4744254zbMATH OpenOpenAlexFDO

Authors 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

arbitrarily large finite modelsfragment of Lmetamathematics of finite combinatoricsnon-isomorphic modelstheory of cylindric algebras

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Categoricity and completeness of theories (03C35) Interpolation, preservation, definability (03C40) Model theory (03C99)

Cites work

• scientific article; zbMATH DE number 3263218 (Why is no real title available?)
• On languages with two variables

Cited in

(19)

• On varieties of cylindric algebras with applications to logic
• Reflective relational machines
• Canonization for two variables and puzzles on the square
• Metafinite model theory
• The Kolmogorov expressive power of Boolean query languages
• Theories categorical in power \(n+2\)
• Large finite structures with few \(L^k\)-types
• An extension of the Ehrenfeucht-Fraïssé game for first order logics augmented with Lindström quantifiers
• Pebble games over ordered structural abstractions
• Une théorie de Galois imaginaire
• Super/rosy L^k-theories and classes of finite structures
• \(\mathrm{FO}=\mathrm{FO}^3\) for linear orders with monotone binary relations
• Metafinite model theory
• Preservation theorems in finite model theory
• First order logic, fixed point logic and linear order
• Constraint satisfaction, graph isomorphism, and the pebbling comonad
• Linear algebraic quantifiers
• Asymptotic probabilities of extension properties and random l-colourable structures
• Definability with bounded number of bound variables

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4744254)