Fixed point algebras
HTML articles powered by AMS MathViewer
- by C. Smoryński PDF
- Bull. Amer. Math. Soc. 6 (1982), 317-356
References
- S. N. Artemov, Arithmetically complete modal theories, Semiotics and information science, No. 14 (Russian), Akad. Nauk SSSR, Vsesoyuz. Inst. Nauchn. i Tekhn. Informatsii, Moscow, 1980, pp. 115–133 (Russian). MR 585332
- Fabio Bellissima, On the modal logic corresponding to diagonalizable algebra theory, Boll. Un. Mat. Ital. B (5) 15 (1978), no. 3, 915–930 (English, with Italian summary). MR 524111
- Claudio Bernardi, The fixed-point theorem for diagonalizable algebras, Studia Logica 34 (1975), no. 3, 239–251. The algebraization of the theories which express Theor, III. MR 460110, DOI 10.1007/BF02125226
- Claudio Bernardi, On the equational class of diagonalizable algebras, Studia Logica 34 (1975), no. 4, 321–331. The algebraization of the theories which express Theor, VI. MR 460113, DOI 10.1007/BF02121663
- Claudio Bernardi, The uniqueness of the fixed-point in every diagonalizable algebra, Studia Logica 35 (1976), no. 4, 335–343. The algebraization of the theories which express Theor, VIII. MR 460115, DOI 10.1007/BF02123401
- S. Feferman, Arithmetization of metamathematics in a general setting, Fund. Math. 49 (1960/61), 35–92. MR 147397, DOI 10.4064/fm-49-1-35-92
- Cyril F. Gardiner, A first course in group theory, Universitext, Springer-Verlag, New York-Berlin, 1980. MR 600652 8. G. Gargov, A note on the provability logics of certain extensions of Heyting’s arithmetic (to appear).
- Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsh. Math. Phys. 38 (1931), no. 1, 173–198 (German). MR 1549910, DOI 10.1007/BF01700692
- D. Guaspari, Partially conservative extensions of arithmetic, Trans. Amer. Math. Soc. 254 (1979), 47–68. MR 539907, DOI 10.1090/S0002-9947-1979-0539907-7
- D. Guaspari and R. M. Solovay, Rosser sentences, Ann. Math. Logic 16 (1979), no. 1, 81–99. MR 530432, DOI 10.1016/0003-4843(79)90017-2
- Petr Hájek, On interpretability in set theories, Comment. Math. Univ. Carolinae 12 (1971), 73–79. MR 311470
- Petr Hájek, On interpretability in set theories. II, Comment. Math. Univ. Carolinae 13 (1972), 445–455. MR 323566
- Marie Hájková, The lattice of bi-numerations of arithmetic. I, Comment. Math. Univ. Carolinae 12 (1971), 81–104. MR 284336
- Paul R. Halmos, Algebraic logic. I. Monadic Boolean algebras, Compositio Math. 12 (1956), 217–249. MR 78304
- C. F. Kent, “Disorder” in lattices of binumerations, Comment. Math. Univ. Carolinae 15 (1974), 221–244. MR 351770
- M. H. Löb, Solution of a problem of Leon Henkin, J. Symbolic Logic 20 (1955), 115–118. MR 70596, DOI 10.2307/2266895
- A. Macintyre and H. Simmons, Gödel’s diagonalization technique and related properties of theories, Colloq. Math. 28 (1973), 165–180. MR 332465, DOI 10.4064/cm-28-2-165-180
- Roberto Magari, Problemi aperti sulle algebre diagonali, Rend. Sem. Mat. Fis. Milano 44 (1974), 75–90 (1975). MR 398825, DOI 10.1007/BF02925653
- Roberto Magari, Metodi algebrici in teoria della dimostrazione, Boll. Un. Mat. Ital. (4) 12 (1975), no. 3, 252–261 (Italian). MR 0419184
- Roberto Magari, The diagonalizable algebras, Boll. Un. Mat. Ital. (4) 12 (1975), no. 3, suppl., 117–125 (English, with Italian summary). The algebraization of the theories which express Theor, II; Collection in memory of Enrico Bompiani. MR 0460109
- Roberto Magari, Representation and duality theory for diagonalizable algebras, Studia Logica 34 (1975), no. 4, 305–313. The algebraization of the theories which express Theor, IV. MR 460111, DOI 10.1007/BF02121661
- Roberto Magari, On the autological character of diagonalizable algebras, Studia Logica 35 (1976), no. 4, 327–333. The algebraization of the theories which express Theor, VII. MR 460114, DOI 10.1007/BF02123400
- Roberto Magari, Modal diagonalizable algebras, Boll. Un. Mat. Ital. B (5) 15 (1978), no. 1, 303–320 (English, with Italian summary). MR 0505479
- Larry Manevitz and Jonathan Stavi, $\Delta ^{0}_{2}$ operators and alternating sentences in arithmetic, J. Symbolic Logic 45 (1980), no. 1, 144–154. MR 560232, DOI 10.2307/2273361
- Massimo Mirolli, On the axiomatization of finite frames of the modal system $\textrm {GL}$, Boll. Un. Mat. Ital. B (5) 17 (1980), no. 3, 1075–1085 (English, with Italian summary). MR 770833
- Franco Montagna, For every $n$, the $n$-freely generated algebra is not functionally free in the equational class of diagonalizable algebras, Studia Logica 34 (1975), no. 4, 315–319. The algebraization of the theories which express Theor, V. MR 460112, DOI 10.1007/BF02121662
- Franco Montagna, On the algebraization of a Feferman’s predicate, Studia Logica 37 (1978), no. 3, 221–236. MR 515168, DOI 10.1007/BF02124724
- Franco Montagna, On the diagonalizable algebra of Peano arithmetic, Boll. Un. Mat. Ital. B (5) 16 (1979), no. 3, 795–812 (English, with Italian summary). MR 553798
- Franco Montagna, Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic, Studia Logica 39 (1980), no. 4, 347–354. MR 611997, DOI 10.1007/BF00713544
- Franco Montagna, Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic, Studia Logica 39 (1980), no. 4, 347–354. MR 611997, DOI 10.1007/BF00713544
- Steven Orey, Relative interpretations, Z. Math. Logik Grundlagen Math. 7 (1961), 146–153. MR 146082, DOI 10.1002/malq.19610070710
- Stanislav Palúch, The lattices of numerations of theories containing Peano’s arithmetic, Comment. Math. Univ. Carolinae 14 (1973), 339–359. MR 360253 34. J. B. Rosser, Extensions of some theorems of Gödel and Church, J. Symbolic Logic 1 (1936), 87-91.
- Giovanni Sambin, Un’estensione del teorema di Löb, Rend. Sem. Mat. Univ. Padova 52 (1974), 193–199 (1975) (Italian, with English summary). MR 384501
- Giovanni Sambin, An effective fixed-point theorem in intuitionistic diagonalizable algebras, Studia Logica 35 (1976), no. 4, 345–361. The algebraization of the theories which express Theor, IX. MR 460116, DOI 10.1007/BF02123402
- Giovanni Sambin, Fixed points through the finite model property, Studia Logica 37 (1978), no. 3, 287–289. MR 515173, DOI 10.1007/BF02124729 38. G. Sambin, Topology and categorical duality in the study of semantics for model logics (to appear).
- Krister Segerberg, An essay in classical modal logic. Vols. 1, 2, 3, Filosofiska Studier, No. 13, Filosofiska Föreningen och Filosofiska Institutionen vid Uppsala Universitet, Uppsala, 1971. MR 0339999
- H. Simmons, Topological aspects of suitable theories, Proc. Edinburgh Math. Soc. (2) 19 (1974/75), no. 4, 383–391. MR 387047, DOI 10.1017/S001309150001049X
- Handbook of mathematical logic, Studies in Logic and the Foundations of Mathematics, vol. 90, North-Holland Publishing Co., Amsterdam, 1977. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. MR 457132
- C. Smoryński, Beth’s theorem and self-referential sentences, Logic Colloquium ’77 (Proc. Conf., Wrocław, 1977) Studies in Logic and the Foundations of Mathematics, vol. 96, North-Holland, Amsterdam-New York, 1978, pp. 253–261. MR 519820
- Craig Smoryński, Calculating self-referential statements. I. Explicit calculations, Studia Logica 38 (1979), no. 1, 17–36. MR 542417, DOI 10.1007/BF00493670
- C. Smoryński, Calculating self-referential statements, Fund. Math. 109 (1980), no. 3, 189–210. MR 597066, DOI 10.4064/fm-109-3-189-210
- C. Smoryński, Calculating self-referential statements: Guaspari sentences of the first kind, J. Symbolic Logic 46 (1981), no. 2, 329–344. MR 613286, DOI 10.2307/2273625
- C. Smoryński, Fifty years of self-reference in arithmetic, Notre Dame J. Formal Logic 22 (1981), no. 4, 357–374. MR 622365 47. C. Smoryński, A ubiquitous fixed point calculation, "Interpretability"; Proceedings of the First Joint Conference on the Foundations of Mathematics Organised by the Białystok Branch of the Warsaw University and Humboldt University (Berlin) (L. Szczerba and K. Prażmowski, eds.), Doktorce 1980, Filia Uniwersytetu Warszawskiego w Białymstoku (to appear).
- C. Smoryński, Commutativity and self-reference, Notre Dame J. Formal Logic 23 (1982), no. 4, 443–452. MR 669150
- Craig Smoryński, The finite inseparability of the first-order theory of diagonalisable algebras, Studia Logica 41 (1982), no. 4, 347–349 (1983). MR 764759, DOI 10.1007/BF00403334
- Robert M. Solovay, Provability interpretations of modal logic, Israel J. Math. 25 (1976), no. 3-4, 287–304. MR 457153, DOI 10.1007/BF02757006 51. R. M. Solovay, On interpretability in set theories (to appear).
- Stefano Stefani, On the representation of hemimorphisms between Boolean algebras, Boll. Un. Mat. Ital. A (5) 13A (1976), no. 1, 206–211 (English, with Italian summary). MR 417010
- M. H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40 (1936), no. 1, 37–111. MR 1501865, DOI 10.1090/S0002-9947-1936-1501865-8
- Vítězslav Švejdar, A sentence that is difficult to interpret, Comment. Math. Univ. Carolin. 22 (1981), no. 4, 661–666. MR 647015
- Aldo Ursini, Intuitionistic diagonalizable algebras, Algebra Universalis 9 (1979), no. 2, 229–237. MR 523937, DOI 10.1007/BF02488034
- Aldo Ursini, A modal calculus analogous to $\textrm {K}4\textrm {W}$, based on intuitionistic propositional logic. I, Studia Logica 38 (1979), no. 3, 297–311. MR 560490, DOI 10.1007/BF00405387
- Albert Visser, An inside view of $\textrm {EXP}$; or, The closed fragment of the provability logic of $\textrm {I}\Lambda _0+\Omega _1$ with a propositional constant for $\textrm {EXP}$, J. Symbolic Logic 57 (1992), no. 1, 131–165. MR 1150930, DOI 10.2307/2275181
Additional Information
- Journal: Bull. Amer. Math. Soc. 6 (1982), 317-356
- MSC (1980): Primary 03-02, 03G05; Secondary 03B45, 03F30
- DOI: https://doi.org/10.1090/S0273-0979-1982-15002-9
- MathSciNet review: 648523