Constructive Well‐Orderings

Mathematical Logic Quarterly 28 (33‐38):495-504 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820283304

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

Constructive Well-Orderings.Robin J. Grayson - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):495-504.
L(aa)‐Elementary Types of Well‐Orderings.Detlef Seese & Martin Weese - 1982 - Mathematical Logic Quarterly 28 (33‐38):557-564.
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.
Associative Ordinal Functions, Well Partial Orderings and a Problem of Skolem.Diana Schmidt - 1978 - Mathematical Logic Quarterly 24 (19‐24):297-302.
Rosser Orderings in Bimodal Logics.Alessandra Carbone & Franco Montagna - 1989 - Mathematical Logic Quarterly 35 (4):343-358.
Orderings of Types of Countable Arithmetic.K. Potthoff - 1978 - Mathematical Logic Quarterly 24 (7):97-108.
Quantifiers determined by partial orderings.Michal Krynicki - 1990 - Mathematical Logic Quarterly 36 (1):79-86.
Generalized quantifiers and well orderings.A. B. Slomson - 1972 - Archive for Mathematical Logic 15 (1-2):57-73.
Recursive well-founded orderings.Keh-Hsun Chen - 1978 - Annals of Mathematical Logic 13 (2):117-147.

Analytics

Added to PP
2013-12-01

Downloads
13 (#288,494)

6 months
5 (#1,552,255)

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