The Beth-Closure of $mathscr{L}(Q_alpha)$ is Not Finitely Generated

Journal of Symbolic Logic 57 (2):442-448 (1992)
  Copy   BIBTEX

Abstract

We prove that if $\aleph_\alpha$ is uncountable and regular, then the Beth-closure of $\mathscr{L}_{\omega\omega}(Q_\alpha)$ is not a sublogic of $\mathscr{L}_{\infty\omega}(\mathbf{Q}_n)$, where $\mathbf{Q}_n$ is the class of all $n$-ary generalized quantifiers. In particular, $B(\mathscr{L}_{\omega\omega}(Q_\alpha))$ is not a sublogic of any finitely generated logic; i.e., there does not exist a finite set $\mathbf{Q}$ of Lindstrom quantifiers such that $B(\mathscr{L}_{\omega\omega}(Q_\alpha)) \leq \mathscr{L}_{\omega\omega}(\mathbf{Q})$

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Beth-closure of l(qα) is not finitely generated.Lauri Hella & Kerkko Luosto - 1992 - Journal of Symbolic Logic 57 (2):442 - 448.
The Pure Part of $mathrm{HYP}(mathscr{M}$).Mark Nadel & Jonathan Stavi - 1977 - Journal of Symbolic Logic 42 (1):33-46.
Rekursion über Dilatoren und die Bachmann-Hierarchie.Peter Päppinghaus - 1989 - Archive for Mathematical Logic 28 (1):57-73.
A thirty-five-year odyssey of an alpha omega alpha chapter councilor.W. H. Frishman - 2013 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 76 (2):4 - 6.
Alpha Omega Alpha and health policy.E. D. Harris Jr - 2009 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 72 (4):1.
A omega and professionalism in medicine-continued.R. L. Byyny - 2013 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 76 (2):2 - 3.
New chapters for Alpha Omega Alpha.R. L. Byyny - 2013 - The Pharos of Alpha Omega Alpha-Honor Medical Society. Alpha Omega Alpha 76 (3):2 - 7.
An ordinal partition avoiding pentagrams.Jean A. Larson - 2000 - Journal of Symbolic Logic 65 (3):969-978.
The length of some diagonalization games.Marion Scheepers - 1999 - Archive for Mathematical Logic 38 (2):103-122.

Analytics

Added to PP
2013-11-22

Downloads
19 (#805,446)

6 months
1 (#1,478,830)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references