Model Theory and Topai

&
Journal of Symbolic Logic 46 (1):158-161 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273267

Links

PhilArchive



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

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: F. William Lawvere, C. Maurer, Model Theory and Topai. [REVIEW]M. E. Szabo - 1981 - Journal of Symbolic Logic 46 (1):158-161.
Model companions of theories with an automorphism.Hirotaka Kikyo - 2000 - Journal of Symbolic Logic 65 (3):1215-1222.
Uniting model theory and the universalist tradition of logic: Carnap’s early axiomatics.Iris Loeb - 2014 - Synthese 191 (12):2815-2833.
Saturated model theory.Gerald E. Sacks - 1972 - Reading, Mass.,: W. A. Benjamin.
Special Model Axiom in Nonstandard Set Theory.Vladimir Kanovei & Michael Reeken - 1999 - Mathematical Logic Quarterly 45 (3):371-384.
" The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part One. Development of a new model for nursing theory evaluation and application of this model to theory description of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (1):10-34.
In defence of (model) theory theory.Heidi Maibom - 2009 - Journal of Consciousness Studies 16 (6-8):6-8.
Ideal objects as models in science.Władysław Krajewski - 1997 - International Studies in the Philosophy of Science 11 (2):185-190.
" The Nine-Field-Model" for Evaluation of Theoretical Constructs in Nursing: Part Two. Application of the evaluation model to theory analysis, theory critique and theory support of the SAUC model.Barbro Gustafsson & Lars Andersson - 2001 - Theoria: Journal of Nursing Theory 10 (2):19-38.
Finitely generated submodels of an uncountably categorical homogeneous structure.Tapani Hyttinen - 2004 - Mathematical Logic Quarterly 50 (1):77.
Finite and Infinite Model Theory-A Historical Perspective.John Baldwin - 2000 - Logic Journal of the IGPL 8 (5):605-628.
Formalized Token Models and Duality in Semantics: An Algebraic Approach.Lars Hansen - 2004 - Journal of Symbolic Logic 69 (2):443 - 477.
Continuous model theory.Chen Chung Chang - 1966 - Princeton,: Princeton University Press. Edited by H. Jerome Keisler.
Descriptive inner model theory.Grigor Sargsyan - 2013 - Bulletin of Symbolic Logic 19 (1):1-55.
Intuitionistic logic, model theory and forcing.Melvin Fitting - 1969 - Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,129,009)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references