Mathematico-philosophical remarks on new theorems analogous to the fundamental theorem of arithmetic

Notre Dame Journal of Formal Logic 6 (3):218-222 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093958260

Links

PhilArchive



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

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

Remarks on strong nonstructure theorems.Tapani Hyttinen, Saharon Shelah & Heikki Tuuri - 1993 - Notre Dame Journal of Formal Logic 34 (2):157-168.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
Weierstrass's final theorem of arithmetic is not final.F. G. Asenjo & J. M. McKean - 1972 - Notre Dame Journal of Formal Logic 13 (1):91-94.
Review: Albert A. Mullin, On a Theorem Equivalent to Post's Fundamental Theorem of Recursive Function Theory. [REVIEW]H. B. Enderton - 1971 - Journal of Symbolic Logic 36 (2):343-343.
Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
The fundamental ${\rm S}$-theorem---a corollary.Robert K. Meyer, Errol P. Martin & Robert Dwyer - 1983 - Notre Dame Journal of Formal Logic 24 (4):509-516.
On new theorems for elementary number theory.Albert A. Mullin - 1967 - Notre Dame Journal of Formal Logic 8 (4):353-356.
Basic Predicate Calculus.Wim Ruitenburg - 1998 - Notre Dame Journal of Formal Logic 39 (1):18-46.
A new proof of the compactness theorem for propositional logic.Robert H. Cowen - 1970 - Notre Dame Journal of Formal Logic 11 (1):79-80.
A new proof of the fixed-point theorem of provability logic.Lisa Reidhaar-Olson - 1989 - Notre Dame Journal of Formal Logic 31 (1):37-43.

Analytics

Added to PP
2010-08-24

Downloads
21 (#728,521)

6 months
4 (#1,005,098)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Problems in the interpretation of greek number theory: Euclid and the 'fundamental theorem of arithmetic'.W. Knorr - 1976 - Studies in History and Philosophy of Science Part A 7 (4):353-368.

Add more citations

References found in this work

No references found.

Add more references