- 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
The theory of boolean ultrapowers
Annals of Mathematical Logic 2 (3):297 (1971)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The theory of Boolean ultrapowers.Richard Mansfield - 1971 - Annals of Mathematical Logic 2 (3):297-323.
Ultrapowers and boolean ultrapowers of θ and θ1.Bernd Koppelberg - 1980 - Archive for Mathematical Logic 20 (3-4):147-153.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.
Saturation of ultrapowers and Keisler's order.Saharon Shelah - 1972 - Annals of Mathematical Logic 4 (1):75.
Minimal elementary extensions of models of set theory and arithmetic.Ali Enayat - 1990 - Archive for Mathematical Logic 30 (3):181-192.
Ultrapowers as sheaves on a category of ultrafilters.Jonas Eliasson - 2004 - Archive for Mathematical Logic 43 (7):825-843.
Iterated ultrapowers and Prikry forcing.Patrick Dehornoy - 1978 - Annals of Mathematical Logic 15 (2):109.
Keisler’s order via Boolean ultrapowers.Francesco Parente - 2020 - Archive for Mathematical Logic 60 (3):425-439.
Analytics
Added to PP
2017-02-19
Downloads
4 (#1,645,937)
6 months
1 (#1,722,767)
2017-02-19
Downloads
4 (#1,645,937)
6 months
1 (#1,722,767)
Historical graph of downloads
Citations of this work
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem.Hisashi Aratake - 2021 - Mathematical Logic Quarterly 67 (4):445-468.
Sheaves of structures and generalized ultraproducts.David P. Ellerman - 1974 - Annals of Mathematical Logic 7 (2):163.
Forcing in nonstandard analysis.Masanao Ozawa - 1994 - Annals of Pure and Applied Logic 68 (3):263-297.
Two arguments against the generic multiverse.Toby Meadows - forthcoming - Review of Symbolic Logic:1-33.
A remark on pseudo proof systems and hard instances of the satisfiability problem.Jan Maly & Moritz Müller - 2018 - Mathematical Logic Quarterly 64 (6):418-428.
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-6686886f5-5pqs9 uwo