Fixed Point Constructions in Various Theories of Mathematical Logic

(1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

My notes

Similar books and articles

Fixed point constructions in various theories of mathematical logic.Jesús Padilla Gálvez - 1993 - Theoria 8 (1):193-195.
Fixed Point Constructions in Various Theories of Mathematical Logic. [REVIEW]Jesús Padilla-Galvez - 1993 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 8 (1):193-195.
Fixed Point Constructions in Various Theories of Mathematical Logic. [REVIEW]Jesús Padilla-Galvez - 1993 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 8 (1):193-195.
Foundational theories of classical and constructive mathematics, edited by Giovanni Sommaruga, Springer, 2011. xi + 314 pp. [REVIEW]Roy T. Cook - 2012 - Bulletin of Symbolic Logic 18 (1):128-131.
Intuitionistic fixed point theories over set theories.Toshiyasu Arai - 2015 - Archive for Mathematical Logic 54 (5-6):531-553.
Note on Some Fixed Point Constructions in Provability Logic.Per Lindström - 2006 - Journal of Philosophical Logic 35 (3):225-230.
Giovanni sommaruga, ed. foundational theories of classical and constructive mathematics. Dordrecht: Springer, 2011. Isbn 978-94-007-0430-5. Pp. XI + 314. [REVIEW]M. R. Koss - 2012 - Philosophia Mathematica 20 (2):267-271.
Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information. [REVIEW]Giuseppe Primiero - 2011 - Minds and Machines 21 (1):119-122.
The [mathematical formula] quantification operator in explicit mathematics with universes and iterated fixed point theories with ordinals.Markus Marzetta & Thomas Strahm - 1997 - Archive for Mathematical Logic 36 (6):391-413.
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$.Sohei Iwata, Taishi Kurahashi & Yuya Okawa - 2024 - Archive for Mathematical Logic 63 (1):1-37.

Analytics

Added to PP
2017-01-11

Downloads
1 (#1,722,932)

6 months
1 (#1,912,481)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Giovanni Sommaruga
Université de Fribourg

Citations of this work

Add more citations

References found in this work

No references found.

Add more references