The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics

Logic with extra quantifiers and operators (03C80) Interpolation, preservation, definability (03C40) Other infinitary logic (03C75) Abstract model theory (03C95)

Related Items (1)

Definability and automorphisms in abstract logics

Cites Work

Models with second order properties. IV. A general method and eliminating diamonds
Positive results in abstract model theory: a theory of compact logics
A pair of nonisomorphic \(\equiv _{\infty \lambda}\) models of power \(\lambda\) for \(\lambda\) singular with \(\lambda ^{\omega}=\lambda\)
On the possible number no(M) \(=\,the\) number of nonisomorphic models \(L_{\infty,\lambda}\)-equivalent to M of power \(\lambda\) , for \(\lambda\) singular
Combinatorial set theory: Partition relations for cardinals
Remarks in abstract model theory
Classification theory over a predicate. I
Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
Some notes on iterated forcing with \(2^{\aleph _ 0}>\aleph _ 2\)
Changing cofinalities and the nonstationary ideal
On the number of nonisomorphic models of cardinality lambda L(infinity,lambda)-equivalent to a fixed model
The consistency of \(\mathrm{Ext}\,(G,\mathbb{Z})=\mathbb{Q}\)
On the number of nonisomorphic models in L//(infinity,k) when k is weakly compact
Proper forcing
Refuting Ehrenfeucht conjecture on rigid models
Classification theory and the number of non-isomorphic models
A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
Stationary logic and its friends. I
Stationary logic and its friends. II
On the nonaxiomatizability of some logics by finitely many schemas
Two cardinal compactness
Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
The theorems of beth and Craig in abstract model theory II. Compact logics
Infinite games and reduced products
There are reasonably nice logics
Generalized Quantifiers and Compact Logic
δ-Logics and generalized quantifiers
Models with second order properties I. Boolean algebras with no definable automorphisms
On models with power-like orderings
Partition relations for cardinal numbers

This page was built for publication: The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics