- 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
Axioms for abstract model theory
Annals of Mathematical Logic 7 (2-3):221-265 (1974)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A Shared Framework for Consequence Operations and Abstract Model Theory.Christian Wallmann - 2013 - Logica Universalis 7 (2):125-145.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.
Transfer Principle in Quantum Set Theory.Masanao Ozawa - 2007 - Journal of Symbolic Logic 72 (2):625 - 648.
Kripke models for subtheories of CZF.Rosalie Iemhoff - 2010 - Archive for Mathematical Logic 49 (2):147-167.
Neo-logicism? An ontological reduction of mathematics to metaphysics.Edward N. Zalta - 2000 - Erkenntnis 53 (1-2):219-265.
The abstract variable-binding calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
A Natural Model of the Multiverse Axioms.Victoria Gitman & Joel David Hamkins - 2010 - Notre Dame Journal of Formal Logic 51 (4):475-484.
The model theory of differential fields with finitely many commuting derivations.Tracey McGrail - 2000 - Journal of Symbolic Logic 65 (2):885-913.
Analytics
Added to PP
2014-01-17
Downloads
29 (#548,607)
6 months
8 (#353,767)
2014-01-17
Downloads
29 (#548,607)
6 months
8 (#353,767)
Historical graph of downloads
Citations of this work
Quantified modal logic: Non-normal worlds and propositional attitudes.Veikko Rantala - 1982 - Studia Logica 41 (1):41 - 65.
Inner models from extended logics: Part 1.Juliette Kennedy, Menachem Magidor & Jouko Väänänen - 2020 - Journal of Mathematical Logic 21 (2):2150012.
Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.
Logicality and model classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.
References found in this work
First order predicate logic with generalized quantifiers.Per Lindström - 1966 - Theoria 32 (3):186--195.
Hanf Numbers for Fragments of L ∞ω.Jon Barwise & Kenneth Kunen - 1984 - Journal of Symbolic Logic 49 (1):315-315.
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-64dd777598-pjbg5 uwo