- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Nullstellensätze — A Model Theoretic Framework
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (36):539-545 (1977)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Nullstellensätze — A Model Theoretic Framework.Volker Weispfenning - 1976 - Mathematical Logic Quarterly 23 (36):539-545.
Model theoretic forcing in analysis.Itaï Ben Yaacov & José Iovino - 2009 - Annals of Pure and Applied Logic 158 (3):163-174.
The model-theoretic significance of complemented existential formulas.Volker Weispfenning - 1981 - Journal of Symbolic Logic 46 (4):843-850.
Saturated models of universal theories.Jeremy Avigad - 2002 - Annals of Pure and Applied Logic 118 (3):219-234.
Infinitary Model‐Theoretic Properties Of χ‐Saturated Structures.Volker Weispfenning - 1973 - Mathematical Logic Quarterly 19 (7):97-109.
Infinitary Model-Theoretic Properties Of χ-Saturated Structures.Volker Weispfenning - 1973 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 19 (7):97-109.
Independence logic and abstract independence relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.
The model-theoretic ordinal analysis of theories of predicative strength.Jeremy Avigad & Richard Sommer - 1999 - Journal of Symbolic Logic 64 (1):327-349.
What languages have Tarski truth definitions?Wilfrid Hodges - 2004 - Annals of Pure and Applied Logic 126 (1-3):93-113.
Must I do what I ought (or will the least I can do do)?Paul McNamara - 1996 - In Mark Brown & Jose' Carmo (eds.), Deontic Logic, Agency and Normative Systems. Berlin: Springer-Verlag. pp. 154-173.
Logic in the 1930s: type theory and model theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
Ramseyfication and theoretical content.Joseph Melia & Juha Saatsi - 2006 - British Journal for the Philosophy of Science 57 (3):561-585.
Does one size fit all? Hurley on shared circuits.Alvin I. Goldman - 2008 - Behavioral and Brain Sciences 31 (1):27-28.
Analytics
Added to PP
2016-02-04
Downloads
26 (#605,520)
6 months
1 (#1,472,167)
2016-02-04
Downloads
26 (#605,520)
6 months
1 (#1,472,167)
Historical graph of downloads
References found in this work
Introduction to Model Theory and to the Metamathematics of Algebra.Abraham Robinson - 1963 - Elsevier Publishing Company.
Introduction to Model Theory and the Metamathematics of Algebra.Abraham Robinson - 1963 - Journal of Symbolic Logic 29 (1):56-56.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-659b74868d-vwmnd uwo