L(aa)‐Elementary Types of Well‐Orderings

&
Mathematical Logic Quarterly 28 (33‐38):557-564 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820283310

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

External links

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

Through your library

My notes

Similar books and articles

Review: Andreas Baudisch, Detlef Seese, Hans-Peter Tuschik, Martin Weese, Decidability and Generalized Quantifiers. [REVIEW]John Cowles - 1982 - Journal of Symbolic Logic 47 (4):907-908.
Baudisch Andreas, Seese Detlef, Tuschik Hans-Peter, and Weese Martin. Decidability and generalized quantifiers. Mathematical research-Mathematische Forschung, vol. 3. Akademie-Verlag, Berlin 1980, XII + 235 pp. [REVIEW]John Cowles - 1982 - Journal of Symbolic Logic 47 (4):907-908.
Formulas of L(aa) Where aa is not in The Scope of “¬”.Andreas Baudisch - 1981 - Mathematical Logic Quarterly 27 (16‐17):249-254.
L-Elementary Types of Well-Orderings.Detlef Seese & Martin Weese - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):557-564.
Orderings of Types of Countable Arithmetic.K. Potthoff - 1978 - Mathematical Logic Quarterly 24 (7):97-108.
Constructive Well‐Orderings.Robin J. Grayson - 1982 - Mathematical Logic Quarterly 28 (33‐38):495-504.
Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem.Diana Schmidt - 1978 - Mathematical Logic Quarterly 24 (19-24):297-302.
Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem.Diana Schmidt - 1978 - Mathematical Logic Quarterly 24 (19‐24):297-302.
Decidability and Definability Results Concerning Well‐Orderings and Some Extensions of First Order Logic.Bogdan Stanislaw Chlebus - 1980 - Mathematical Logic Quarterly 26 (34‐35):529-536.
Some observations on intuitionistically elementary properties of linear orderings.Wim Veldman & Michaël Janssen - 1990 - Archive for Mathematical Logic 29 (3):171-185.

Analytics

Added to PP
2013-12-01

Downloads
20 (#760,815)

6 months
9 (#436,446)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Decidability and generalized quantifiers.Andreas Baudisch (ed.) - 1980 - Berlin: Akademie Verlag.

Add more references