Skip to main content
SpringerLink
Log in

Problemi aperti sulle algebre diagonali

  • Conferenze
  • Published:
Rendiconti del Seminario Matematico e Fisico di Milano Aims and scope Submit manuscript

Sunto

Si da un'introduzione a carattere espositivo alle strutture algebriche legate con le teorie che esprimono Theor e nelle quali vale il lemma di diagonalizzazione. In 1. 2. 3. sono richiamate alcune proprietà basilari dell'aritmetica peaniana e nei numeri succssivi vengono introdotte le suddette strutture e presentati alcuni problemi aperti.

Summary

This lecture is an expository introduction to algebraic structures linked with the theories which express Theor and in which diagonalisation lemma holds. In 1., 2., 3. some basilar facts on Peano arithmetic are recalled, in the following numbers the quoted structures are introduced and many open problems are presented.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Lavori Citati

  1. Craig W,On axiomatizability within a system. Journ. Symb. Log., vol. 18, pp. 30–32 (1953).

    Article  MathSciNet  MATH  Google Scholar 

  2. Feferman, S.,Arithmetization of metamathematics in a general setting. Fund. Math., vol. 49, pp. 35–92 (1960).

    MathSciNet  MATH  Google Scholar 

  3. Gentzen G.,Die Widerspruchspreiheit der reinen Zahlentheorie. Math. Ann., vol. 12 (1936), pp. 493–565.

    Article  MathSciNet  Google Scholar 

  4. Gödel K.,Über formal unentscheidbare Sätze der Principia Mathematica und verwandter System,I. Mon. fur Math. and Ph., vol. 38, pp. 173–198 (1931).

    Article  Google Scholar 

  5. Kent,The relation of A to Prof A in the Lindenbaum sentence algebra. Journ. Symb. Log., vol. 38, n. 2 (1973), pp. 295–298.

    Article  MathSciNet  MATH  Google Scholar 

  6. Löb M. H.,Solution of a problem of Leon Henkin. Journ. Symb. Log., vol. 20, pp. 115–118 (1955).

    Article  MATH  Google Scholar 

  7. Magari R.,Classi metaideali di algebre simili. (Congruenze ideali III). Ann. Un. Ferrara (nuova serie), sez. VII, vol. XIV, n. 8, pp. 131–143 (1970).

    MathSciNet  Google Scholar 

  8. Magari R.,Classi e schemi ideali. (Congruenze ideali V). In corso di pubblicazione sugli Annali dell'Un. di Pisa.

  9. Magari R.,Su certe teorie non enumerabili (sulle limitazioni dei sistemi formali, 1) Ann. Mat pura ed appl., serie IV, Tomo XCVIII, pp. 119–152 (1974).

    Article  MathSciNet  Google Scholar 

  10. Magari R.,Significato e verità nell'aritmetica peaniana. In corso di pubblicazione su Ann. Mat. pura ed appl.

  11. Marongiu G.,Sequenze di predicati aritmetici di tipo Theor. B.U.M.I. IV, vol. IX (1974), pp. 361–375.

    MathSciNet  Google Scholar 

  12. Montague R.,Theories incomparable with respect to relative interpretability. J. Symb. L, vol. 27 (1962), pp. 195–211.

    Article  MathSciNet  Google Scholar 

  13. Barklay Rosser J.,Extension of some theorems of Gödel and Church. Journ. Symb. Log., vol. 1, pp. 87–91 (1936).

    Article  Google Scholar 

  14. Ursini A.,Sulle varietà di algebre con una buona teoria degli ideali. B.U.M.I. (4), 6 (1972), pp. 90–95.

    MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. dell' Università di Siena, Siena, Italia

    Roberto Magari

Authors
  1. Roberto Magari
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

(Conferenza tenuta il 30 aprile 1974)

La denominazione «algebre diagonali» è già stata usata nella letteratura (daPlonka eFajtlowiz) per tutt'altre strutture algebriche. L'autore si scusa per l'inconveniente.

Pervenuta in Redazione il 30 luglio 1974.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Magari, R. Problemi aperti sulle algebre diagonali. Seminario Mat. e. Fis. di Milano 44, 75–90 (1974). https://doi.org/10.1007/BF02925653

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02925653

Search

Navigation