Elementary Induction on Abstract Structures

Journal of Symbolic Logic 44 (1):124-125 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273715

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

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: Yiannis N. Moschovakis, Elementary Induction on Abstract Structures. [REVIEW]Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.
When is arithmetic possible?Gregory L. McColm - 1990 - Annals of Pure and Applied Logic 50 (1):29-51.
A topology for galois types in abstract elementary classes.Michael Lieberman - 2011 - Mathematical Logic Quarterly 57 (2):204-216.
Elementary Amalgamation and Joint Embedding Property for Intermediate Logics.Seyed Bagheri & Massoud Pourmahdian - 2008 - Logic Journal of the IGPL 16 (6):561-583.
As an abstract elementary class.John T. Baldwin, Paul C. Eklof & Jan Trlifaj - 2007 - Annals of Pure and Applied Logic 149 (1-3):25-39.
On Absoluteness of Categoricity in Abstract Elementary Classes.Sy-David Friedman & Martin Koerwien - 2011 - Notre Dame Journal of Formal Logic 52 (4):395-402.
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes.Michael J. Lieberman - 2013 - Notre Dame Journal of Formal Logic 54 (2):153-166.
Shelah's Categoricity Conjecture from a Successor for Tame Abstract Elementary Classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Symbolic Logic 71 (2):553 - 568.
Cauchy completeness in elementary logic.J. C. Cifuentes, A. M. Sette & D. Mundici - 1996 - Journal of Symbolic Logic 61 (4):1153-1157.
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.Tapani Hyttinen - 2006 - Archive for Mathematical Logic 45 (1):63-73.
Cauchy Completeness in Elementary Logic.J. C. Cifuentes, A. M. Sette & D. Mundici - 1996 - Journal of Symbolic Logic 61 (3):1153-1157.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
Mathematical instrumentalism, Gödel’s theorem, and inductive evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.

Analytics

Added to PP
2017-02-21

Downloads
16 (#894,465)

6 months
2 (#1,214,131)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
The truth is never simple.John P. Burgess - 1986 - Journal of Symbolic Logic 51 (3):663-681.
Notes on Formal Theories of Truth.Andrea Cantini - 1989 - Mathematical Logic Quarterly 35 (2):97-130.
Ultimate truth vis- à- vis stable truth.P. D. Welch - 2008 - Review of Symbolic Logic 1 (1):126-142.

View all 63 citations / Add more citations

References found in this work

No references found.

Add more references