Predicative Expansions of Axiomatic Theories

Mathematical Logic Quarterly 20 (28-29):435-452 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19740202803

Links

PhilArchive



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

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

Predicative Expansions of Axiomatic Theories.Stanissław Krajewski - 1974 - Mathematical Logic Quarterly 20 (28‐29):435-452.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.
Remarks on Compositionality and Weak Axiomatic Theories of Truth.Günther Eder - 2014 - Journal of Philosophical Logic 43 (2-3):541-547.
Axiomatizing semantic theories of truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
On Constructive Axiomatic Method.Andrei Rodin - unknown
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.
Truth and reduction.Volker Halbach - 2000 - Erkenntnis 53 (1-2):97-126.
Axiomatic truth, syntax and metatheoretic reasoning.Graham E. Leigh & Carlo Nicolai - 2013 - Review of Symbolic Logic 6 (4):613-636.
The Determination of Physical Theory.Thomas Virgil Cuda - 1990 - Dissertation, University of Southern California
Theories of truth which have no standard models.Hannes Leitgeb - 2001 - Studia Logica 68 (1):69-87.
Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Axiomatic Foundations of Galilean Quantum Field Theories.G. Puccini & H. Vucetich - 2004 - Foundations of Physics 34 (2):263-295.
Predicative Frege Arithmetic and ‘Everyday’ Mathematics.Richard Heck - 2014 - Philosophia Mathematica 22 (3):279-307.
Editorial Introduction.An Ravelingien - 2007 - Philosophica 79 (2):5-10.

Analytics

Added to PP
2016-02-04

Downloads
26 (#604,926)

6 months
1 (#1,479,630)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Predicativism as a Form of Potentialism.Øystein Linnebo & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (1):1-32.

Add more citations

References found in this work

Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
On axiomatizability within a system.William Craig - 1953 - Journal of Symbolic Logic 18 (1):30-32.
A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.

View all 13 references / Add more references