Eight problems about nerode semirings

Annals of Pure and Applied Logic 56 (1-3):137-146 (1992)
  Copy   BIBTEX

Abstract

Several problems that pertain to certain arithmetically well-behaved countable subsemirings of Λ, the semiring of isols, are discussed. This is relevant to the present volume memorializing the late John Myhill, in that Myhill was an early co-developer of the theory of Λ

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(92)90070-g

Links

PhilArchive



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

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

Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.
Torre models in the isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
Myhill John. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104. [REVIEW]Erik Ellentuck - 1969 - Journal of Symbolic Logic 33 (4):619-620.
Constructing strongly equivalent nonisomorphic models for unstable theories.Tapani Hyttinen & Heikki Tuuri - 1991 - Annals of Pure and Applied Logic 52 (3):203-248.
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ.Saharon Shelah - 1987 - Annals of Pure and Applied Logic 34 (3):291.
Incompatible extensions of combinatorial functions.Erik Ellentuck - 1983 - Journal of Symbolic Logic 48 (3):752-755.
Existence of many L∞,λ-equivalent, non- isomorphic models of T of power λ.Saharon Shelah - 1987 - Annals of Pure and Applied Logic 34 (3):291-310.
The λ μ T -calculus.Herman Geuvers, Robbert Krebbers & James McKinna - 2013 - Annals of Pure and Applied Logic 164 (6):676-701.
Realization of φ -types and Keisler’s order.M. E. Malliaris - 2009 - Annals of Pure and Applied Logic 157 (2-3):220-224.
Some results on extensionality in lambda calculus.Benedetto Intrigila & Richard Statman - 2005 - Annals of Pure and Applied Logic 132 (2-3):109-125.

Analytics

Added to PP
2014-01-16

Downloads
17 (#895,795)

6 months
8 (#415,703)

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

A Note on a Theorem of H. FRIEDMAN.C. Dimitracopoulos & J. Paris - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):13-17.
Sub-arithmetical ultrapowers: a survey.Thomas G. McLaughlin - 1990 - Annals of Pure and Applied Logic 49 (2):143-191.
Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Mathematical Logic Quarterly 35 (3):197-209.
Some Extension and Rearrangement Theorems For Nerode Semirings.T. G. McLaughlin - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (3):197-209.
Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.

View all 9 references / Add more references