Deux ou trois choses que je sais de Ln
From MaRDI portal
Publication:4744254
DOI10.2307/2273594zbMath0507.03014MaRDI 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 models; arbitrarily large finite models; fragment of L; metamathematics of finite combinatorics; theory of cylindric algebras
03C99: Model theory
03C40: Interpolation, preservation, definability
03B20: Subsystems of classical logic (including intuitionistic logic)
03C35: Categoricity and completeness of theories
Related Items
Unnamed Item, Metafinite model theory, Preservation theorems in finite model theory, Super/rosy \(L^k\)-theories and classes of finite structures, Asymptotic probabilities of extension properties and random \(l\)-colourable structures, Definability with bounded number of bound variables, 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
Cites Work