On equivalence.
暂无分享,去创建一个
[1] S. Banach,et al. Sur la décomposition des ensembles de points en parties respectivement congruentes , 1924 .
[2] J. Neumann,et al. Examples of Continuous Geometries. , 1936, Proceedings of the National Academy of Sciences of the United States of America.
[3] John von Neumann,et al. On the Transitivity of Perspective Mappings , 1940 .
[4] Hidegorô Nakano. 68. Über das System aller stetigen Funktionen auf einem topologischen Raum , 1941 .
[5] On continuous geometries. I , 1944 .
[6] The representation of abstract measure functions , 1949 .
[7] Cardinal algebras : with an appendix, Cardinal products of isomorphism types , 1949 .
[8] M. Stone,et al. Boundedness Properties in Function-Lattices , 1949, Canadian Journal of Mathematics.
[9] S C Kleene,et al. Representation of Events in Nerve Nets and Finite Automata , 1951 .
[10] L. H. Loomis,et al. The lattice theoretic background of the dimension theory of operator algebras , 1955 .
[11] Shûichirô Maeda,et al. Dimension Functions on Certain General Lattices , 1955 .
[12] The Ideals in a Factor , 1958 .
[13] Reducible von Neumann geometries , 1963 .
[14] P. Halmos. Lectures on Boolean Algebras , 1963 .
[15] Janusz A. Brzozowski,et al. Derivatives of Regular Expressions , 1964, JACM.
[16] The dimension theory of certain cardinal algebras , 1965 .
[17] M. Yaari,et al. Uncertain lifetime, life insurance, and the theory of the consumer , 1965 .
[18] Unique Representation of Archimedean Lattice Groups and Normal Archimedean Lattice Rings , 1965 .
[19] L. Lovász. Operations with structures , 1967 .
[20] P. Porcelli,et al. On rings of operators , 1967 .
[21] J. A. Brzozowski,et al. Review: B. G. Mirkin, An Algorithm for Constructing a Base in a Language of Regular Expressions , 1971, Journal of Symbolic Logic.
[22] 境 正一郎. C[*]-algebras and W[*]-algebras , 1973 .
[23] K. Goodearl,et al. Dimension theory for nonsingular injective modules , 1976 .
[24] K. Goodearl. Ring Theory: Nonsingular Rings and Modules , 1976 .
[25] Klaus Keimel,et al. Groupes et anneaux réticulés , 1977 .
[26] G. Grätzer. General Lattice Theory , 1978 .
[27] Ken R. Goodearl,et al. Von Neumann regular rings , 1979 .
[28] T. Sargent,et al. FORMULATING AND ESTIMATING DYNAMIC LINEAR RATIONAL EXPECTATIONS MODELS , 1980 .
[29] K. Hofmann,et al. A Compendium of Continuous Lattices , 1980 .
[30] M. Hamana. Tensor products for monotone complete C*-algebras, I , 1982 .
[31] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
[32] Gaisi Takeuti. Von Neumann algebras and Boolean valued analysis , 1983 .
[33] R. Kadison,et al. Fundamentals of the Theory of Operator Algebras , 1983 .
[34] On the determination of the external debt: The case of Israel , 1986 .
[35] Michael R. Veall,et al. Formulating Wald Tests of Nonlinear Restrictions , 1985 .
[36] Jon F. Claerbout,et al. Imaging the Earth's Interior , 1985 .
[37] Olivier J. Blanchard,et al. Debt, Deficits, and Finite Horizons , 1984, Journal of Political Economy.
[38] John Y. Campbell,et al. Does Saving Anticipate Declining Labor Income? an Alternative Test of the Permanent Income Hypothesis , 1987 .
[39] Masanao Ozawa. Boolean Valued Analysis Approach to the Trace Problem of Aw*-Algebras , 1986 .
[40] K. Goodearl. Partially ordered abelian groups with interpolation , 1986 .
[41] David R. Johnson. Consumption, Permanent Income, and Financial Wealth in Canada: Empirical Evidence on the Intertemporal Approach to the Current Account , 1986 .
[42] Shaghil Ahmed. Temporary and permanent government spending in an open economy: Some evidence for the United Kingdom , 1986 .
[43] O. Katsaitis. On the Substitutability between Private Consumer Expenditure and Government Spending in Canada , 1987 .
[44] A. J. Berkhout,et al. Full Prestack Versus Shot Record Migration , 1987 .
[45] Shaghil Ahmed. Government spending, the balance of trade and the terms of trade in British history , 1987 .
[46] L. Leiderman,et al. Testing Ricardian Neutrality with an Intertemporal Stochastic Model , 1987 .
[47] F. Takens. Measure and category , 1988 .
[48] IDEALS OF MULTIPLIER ALGEBRAS OF SIMPLE AF C*-ALGEBRAS , 1988 .
[49] P. Evans. Are Consumers Ricardian? Evidence for the United States , 1988, Journal of Political Economy.
[50] N. Roubini,et al. Current Account and Budget Deficits in an Intertemporal Model of Consumption and Taxation Smoothing. a Solution to the "Feldstein-Horioka Puzzle"? , 1988 .
[51] John Y. Campbell,et al. Why is Consumption So Smooth , 1989 .
[52] Sabine Koppelberg,et al. Handbook of Boolean Algebras , 1989 .
[53] J. Galí,et al. Finite horizons, life-cycle savings, and time-series evidence on consumption , 1990 .
[54] W. Woo,et al. Present value tests of an intertemporal model of the current account , 1990 .
[55] C. Busqué. Two-sided ideals in right self-injective regular rings , 1990 .
[56] F. Su. The Banach-Tarski Paradox , 1990 .
[57] A. Haug. Ricardian Equivalence, Rational Expectations, and the Permanent Income Hypothesis , 1990 .
[58] Simple *-algebras with continuous scales and simple corona algebras , 1991 .
[59] G. Otto. Testing a present-value model of the current account: Evidence from US and Canadian time series , 1992 .
[60] B. M. Fulk. MATH , 1992 .
[61] Li Bing-Ren. Introduction to Operator Algebras , 1992 .
[62] Friedrich Wehrung,et al. Injective positively ordered monoids I , 1992 .
[63] Global Versus Country-Specific Productivity Shocks and the Current Account , 1992 .
[64] Centers and Two-Sided Ideals of Right Self-Injective Regular Rings , 1993 .
[65] P. Evans. CONSUMERS ARE NOT RICARDIAN: EVIDENCE FROM NINETEEN COUNTRIES , 1993 .
[66] I. Hasan,et al. Are consumers Ricardian? Evidence for Canada , 1994 .
[67] Kenneth S. Rogoff,et al. The Intertemporal Approach to the Current Account , 1994 .
[68] Dexter Kozen,et al. Kleene Algebra with Tests: Completeness and Decidability , 1996, CSL.
[69] Dexter Kozen,et al. Kleene algebra with tests , 1997, TOPL.
[70] A Bundle Representation for Continuous Geometries , 1997 .
[71] Dexter Kozen. On Hoare logic and Kleene algebra with tests , 2000, TOCL.
[72] D. Kozen,et al. Kleene Algebra with Tests and Program Schematology , 2001 .
[73] Jerzy Tiuryn,et al. On the completeness of propositional Hoare logic , 2001, Inf. Sci..
[74] D. Kozen. Automata on Guarded Strings and Applications , 2001 .
[75] Pierre Courtieu,et al. Efficient Reasoning about Executable Specifications in Coq , 2002, TPHOLs.
[76] A Cantor-Bernstein type theorem for effect algebras , 2002 .
[77] Antoine Guitton,et al. Shot-profile Migration of Multiple Reflections , 2002 .
[78] Paul Sava,et al. Offset and angle-domain common image-point gathers for shot-profile migration , 2002 .
[79] F. Wehrung. Injective positively ordered monoids II , 2005 .