Amanote Research

Amanote Research

    RegisterSign In

Deduction-Preserving “Recursive Isomorphisms” Between Theories

Bulletin of the American Mathematical Society
doi 10.1090/s0002-9904-1967-11689-6
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 1967

Authors
Marian Boykan Pour-ElSaul Kripke
Publisher

American Mathematical Society (AMS)


Related search

“Recursive Isomorphism” and Effectively Extensible Theories

Bulletin of the American Mathematical Society
1965English

Small Isomorphisms Between Group Algebras

Glasgow Mathematical Journal
Mathematics
1991English

Isomorphisms Between Endomorphism Rings of Modules

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1995English

Fitness Requirements for Scientific Theories Containing Recursive Theoretical Terms

1990English

Fitness Requirements for Scientific Theories Containing Recursive Theoretical Terms

British Journal for the Philosophy of Science
PhilosophyPhilosophy of ScienceHistory
1993English

On Isomorphisms Between Certain Non-CSL Algebras

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1993English

Isomorphisms Between Endomorphism Rings of Projective Modules

Glasgow Mathematical Journal
Mathematics
1993English

On the Dilatation of Isomorphisms Between Covering Groups

Annales Academiae Scientiarum Fennicae Series A I Mathematica
1973English

Certain Isomorphisms Between Quotients of a Group Algebra

Pacific Journal of Mathematics
Mathematics
1967English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy