Non-closure of the image model and absence of fixed points

Annals of Pure and Applied Logic 28 (3):287-314 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(85)90018-1

Links

PhilArchive



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

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

Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
On elementary embeddings from an inner model to the universe.J. Vickers & P. D. Welch - 2001 - Journal of Symbolic Logic 66 (3):1090-1116.
The Mermin Fixed Point.Veit Elser - 2003 - Foundations of Physics 33 (11):1691-1698.
The dimension of the negation of transitive closure.Gregory L. McColm - 1995 - Journal of Symbolic Logic 60 (2):392-414.
On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
Universality of the closure space of filters in the algebra of all subsets.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):1 - 9.
On Non-wellfounded Sets as Fixed Points of Substitutions.Matti Pauna - 2001 - Notre Dame Journal of Formal Logic 42 (1):23-40.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
Estimation of fixed points for nonlinear time series.Shapour Mohammadi & Hossein Abbasinezhad - 2014 - Complexity 19 (5):30-39.
Quasi‐completeness and functions without fixed‐points.Ilnur I. Batyrshin - 2006 - Mathematical Logic Quarterly 52 (6):595-601.
Fixed points through the finite model property.Giovanni Sambin - 1978 - Studia Logica 37 (3):287 - 289.
A theory of truth that prefers falsehood.Melvin Fitting - 1997 - Journal of Philosophical Logic 26 (5):477-500.
A double arity hierarchy theorem for transitive closure logic.Martin Grohe & Lauri Hella - 1996 - Archive for Mathematical Logic 35 (3):157-171.
On the relationship between fixed points and iteration in admissible set theory without foundation.Dieter Probst - 2005 - Archive for Mathematical Logic 44 (5):561-580.

Analytics

Added to PP
2014-01-16

Downloads
20 (#761,812)

6 months
1 (#1,469,469)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some applications of short core models.Peter Koepke - 1988 - Annals of Pure and Applied Logic 37 (2):179-204.
omega ¹-Constructible universe and measurable cardinals.Claude Sureson - 1986 - Annals of Pure and Applied Logic 30 (3):293.
On the Mitchell and Rudin-Kiesler orderings of ultrafilters.Moti Gitik - 1988 - Annals of Pure and Applied Logic 39 (2):175-197.
The model< i> N=∪{< i> L_[A]:< i> A countable set of ordinals}.Claude Sureson - 1987 - Annals of Pure and Applied Logic 36 (C):289-313.
The model N = ∪ {L[A]: A countable set of ordinals}.Claude Sureson - 1987 - Annals of Pure and Applied Logic 36:289-313.

View all 6 citations / Add more citations

References found in this work

Strong axioms of infinity and elementary embeddings.Robert M. Solovay - 1978 - Annals of Mathematical Logic 13 (1):73.
Sets constructible from sequences of ultrafilters.William J. Mitchell - 1974 - Journal of Symbolic Logic 39 (1):57-66.
Ultrafilters over a measurable cardinal.A. Kanamori - 1976 - Annals of Mathematical Logic 10 (3-4):315-356.
Some applications of iterated ultrapowers in set theory.Kenneth Kunen - 1970 - Annals of Mathematical Logic 1 (2):179.
On p-points over a measurable cardinal.A. Kanamori - 1981 - Journal of Symbolic Logic 46 (1):59-66.

View all 6 references / Add more references