Discrete independence results

Abstract

A bi-infinite approximate fixed point of type (n,k) is an approximate fixed point of type (n,k) whose terms are biinfinite; i.e., contain infin-itely many positive and infinitely many negative elements.

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Friedman and the axiomatization of Kripke's theory of truth.John P. Burgess - unknown
Sets of probability distributions, independence, and convexity.Fabio G. Cozman - 2012 - Synthese 186 (2):577-600.
Some unifying fixed point principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
Primitive independence results.Harvey M. Friedman - 2003 - Journal of Mathematical Logic 3 (1):67-83.
Discouraging results for ultraimaginary independence theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Is space-time discrete or continuous? — An empirical question.Peter Forrest - 1995 - Synthese 103 (3):327--354.
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
Mathematics: Essential tensions. [REVIEW]Roman Duda - 1997 - Foundations of Science 2 (1):11-19.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Peer Disagreement and Independence Preservation.Carl G. Wagner - 2011 - Erkenntnis 74 (2):277-288.

Analytics

Added to PP
2009-01-28

Downloads
366 (#52,875)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references