ヘルプ
ヘルプ

検索結果 23 件

Zero interest policy and the new abnormal : a critique

Zero interest policy and the new abnormal : a critique
紙図書
Michael BeenstockOxford University Press[2022]<DF151-D9>
国立国会図書館全国の図書館
  • 要約等...the widespread and dominant polit...... rates to zero and engage in unor......udget deficits and accumulate debt
  • 内容細目...v Parochialism and other Dichotomies Covid-19 Pandemic Behavioral......Macroeconomics Theory in Brief The C...... Macroeconomic Theory went wrong Wic......assical Growth Model The Dynamics o...... New Keynesian Model Taylor Rule Th...... New Keynesian Theory Filtered Outpu......aps Output Gap and Natural Rate Theory Walras' Law Qu......e Sheets Money and Credit The Bon......nterest Policy Model Normative Econ......asant Monetary Arithmetic Unpleasant Monetary Arithmetic and Zero Interest ......Exchange Rates and Interest Rates Relative and Absolute Inter......yesian Priors, and Indirect Estim......ng the Secular and the Cyclical 4 The Natural Ra...

Models of Bounded Arithmetic (Towards new interaction between category theory and proof theory)

Models of Bounded Arithmetic (Towards new interaction between category theory and proof theory)
紙デジタル記事
黒田 覚<Z43-1336>数理解析研究所講究録(通号 1217) 2001.6p.45～60
インターネットで読める国立国会図書館全国の図書館

COMPUTABLE QUOTIENT PRESENTATIONS OF MODELS OF ARITHMETIC AND SET THEORY (数学基礎論とその応用)

COMPUTABLE QUOTIENT PRESENTATIONS OF MODELS OF ARITHMETIC AND SET THEORY (数学基礎論とその応用)
紙デジタル記事
MICHAL TOMASZ GODZISZEWSKI, JOEL DAVID HAMKINS<Z43-1336>数理解析研究所講究録(2050):2017.10p.9-23
インターネットで読める国立国会図書館全国の図書館
  • 要約等...esentations of models of arithmetic and set theory. Specifically, no nonstandard model of arithmetic has a computab......{1}-sound nonstandard model of arithmetic has a computab......ation. No nonstandard model of arithmetic in the languag......complexity. No model of ZFC or even......ny complexity. And similarly no nonstandard model of finite set theory has a computable quotient pre...

Resources for teaching discrete mathematics : classroom projects, history modules, and articles / edited by Brian Hopkins. (MAA notes ; #74)

Resources for teaching discrete mathematics : classroom projects, history modules, and articles / edited by Brian Hopkins. (MAA notes ; #74)
紙図書
Mathematical Association of Americac2009.<FC88-B19>
国立国会図書館
  • 内容細目...r Triangles / Sandy Norman and Betty Travis Coloring and counting recta......chael A. Jones and Mika Munakata Fun and games with squares and planes / Maureen T. Carroll and Steven T. Doug......glas E. Ensley and James E. Hambl......sing trains to model recurrence rel....../ Jean M. Horn and Toni T. Robert......odesic dome? / Andrew Felt and Linda Lesniak ......ring polyhedra and discovering Eu......h Wrenn Berman and Gordon William......fect matchings and benzenoids / F......te mathematics and computer scien......et al.] Binary arithmetic: from Leibniz ......erry M. Lodder Arithmetic backwards from......reatise on the arithmetical triangle: mathematical indu...
  • 件名Mathematics -- Study and teaching (High......atics -- Study and teaching (Higher) -- United S...

Asian perspectives and evidence on health promotion and education

Asian perspectives and evidence on health promotion and education
紙図書
Takashi Muto, Toshitaka Nakahara, Eun Woo Nam editorsSpringerc2011<EG225-B71>
国立国会図書館全国の図書館
  • 内容細目Asian ideas and activities on ......alth promotion and education Asia......alth promotion and education from......ectives of the theory of Yojo as an ......of health,self,and society Toshiy......the curriculum and instruction model for suicide prevention and life education......he health room,and health educati...... on prevention and control of non......alth promotion and education in Thailand in comparison ......th care system and health informa...... reading aloud and arithmetic calculation Yu......ative medicine and health promoti......alth promotion and education Key ......Social capital and population approach Toshiyuki...

The educated brain : essays in neuroeducation / Antonio M. Battro, Kurt W. Fischer & Pierre J. Léna, editors.

The educated brain : essays in neuroeducation / Antonio M. Battro, Kurt W. Fischer & Pierre J. Léna, editors.
紙図書
Cambridge University Press2008.<FA31-B12>
国立国会図書館
  • 内容細目Towards a new pedagogical and didactic appro......: mind, brain, and education in theory and practice / Ant......rt W. Fischer, and Pierre J. Léna......tions on brain and self / Fernando Vidal 3 Build...... 4 Mind, brain and consciousness ......trass 5 Understanding mind, brain, and education as a......: measurement, modeling, and research / Paul Van Geert and Henderien Stee......k 6 Epigenesis and brain plastici......s of cognitive and brain developm......n mind, brain, and education / Ku......r 9 Mechanisms and learning of hi......y K. Rothbart, and M. Rosario Rue......ch to learning and educational sc......nt, pathology, and its intervention / Maryanne W...

Springer handbook of engineering statistics / Hoang Pham (ed.).

Springer handbook of engineering statistics / Hoang Pham (ed.).
紙図書
Springerc2006.<YU111-B620>
国立国会図書館
  • 内容細目... distributions and their applicat......sional failure modeling / D. N. Pra......ability growth models with small sa......ies : analysis and perspectives /...... / Karl Sigman Modeling and analyzing yield, burn-in and reliability fo......ds for quality and productivity i......ds for product and process improv......Uniform design and its industrial......me statistical models for the monit......rds regression models / Wei Wang, C......ated life test models and data analysis ...... (E2E) testing and evaluation of.......l] Statistical models in software reliability and operations res......da Statistical models for predicting reliability o...

Nonstandard models of arithmetic and set theory : AMS special session : nonstandard models of arithmetic and set theory : January 15-16, 2003 : Baltimore, Maryland. : Jan 2003, Baltimore, MD. (Contemporary Mathematics ; 361)

Nonstandard models of arithmetic and set theory : AMS special session : nonstandard models of arithmetic and set theory : January 15-16, 2003 : Baltimore, Maryland. : Jan 2003, Baltimore, MD. (Contemporary Mathematics ; 361)
紙図書
American Mathematical Societyc2004.<M17-04-3465>
国立国会図書館
  • 件名Set theory.
  • 著者標目...l Session Nonstandard Models of Arithmetic and Set Theory (2003 : Baltimore, Md.)

COMPUTABLE QUOTIENT PRESENTATIONS OF MODELS OF ARITHMETIC AND SET THEORY (Mathematical Logic and Its Applications)

pdfを表すアイコン
デジタル記事
Godziszewski, Michal Tomasz, Hamkins, Joel David京都大学数理解析研究所2017-10数理解析研究所講究録2050p.9-23
インターネットで読める全国の図書館

Integrating proxy theories and numeric model lifting for floating-point arithmetic

Integrating proxy theories and numeric model lifting for floating-point arithmetic
デジタル記事
2016-102016 Formal Methods in Computer-Aided Design (FMCAD)
全国の図書館
  • 参照Approximate Translation from Floating-Point to Real-Interval Arithmetic
  • 著者標目Jaideep Ramachandran Thomas Wahl

Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012

Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012
紙図書
Lou van den Dries ... [et al.] ; editors, H. Dugald Macpherson, Carlo ToffaloriSpringerc2014
全国の図書館
  • 件名Model theory Algebra
  • 件名（識別子）Model theory Algebra
  • 一般注記... Macpherson, Anand Pillay, Carlo ......" "The meeting Model Theory in Algebra, Analysis and Arithmetic organized by CIME (Centro Int...

Dimensions of moduli spaces of finite flat models, Galois-Teichmuller Theory and Arithmetic Geometry

Dimensions of moduli spaces of finite flat models, Galois-Teichmuller Theory and Arithmetic Geometry
記事
2012Adv. Stud. Pure Math.63p.251-262
全国の図書館

Nonstandard models of arithmetic and set theory : AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland

Nonstandard models of arithmetic and set theory : AMS Special Session Nonstandard Models of Arithmetic and Set Theory, January 15-16, 2003, Baltimore, Maryland
紙図書
Ali Enayat, Roman Kossak, editorsAmerican Mathematical Societyc2004
全国の図書館
  • 件名Set theory
  • 件名（識別子）Set theory
  • 並列タイトル等（連結）Nonstandard models

Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ : ｃｏｍｐｔｅｓ　ｒｅｎｄｕｓ　ｄ’ｕｎｅ　ａｃｔｉｏｎ　ｔｈｅ´ｍａｔｉｑｕｅ，　ｐｒｏｇｒａｍｍｅ´ｅ　ｄｕ　Ｃ．Ｎ．Ｒ．Ｓ．　ｓｕｒ　ｌａ　Ｔｈｅ´ｏｒｉｅ　ｄｅｓ　Ｍｏｄｅ｀ｌｅｓ　ｅｔ　ｌ’Ａｒｉｔｈｍｅ´ｔｉｑｕｅ，　Ｐａｒｉｓ，　Ｆｒａｎｃｅ，　１９７９／８０ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)

Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ : ｃｏｍｐｔｅｓ　ｒｅｎｄｕｓ　ｄ’ｕｎｅ　ａｃｔｉｏｎ　ｔｈｅ´ｍａｔｉｑｕｅ，　ｐｒｏｇｒａｍｍｅ´ｅ　ｄｕ　Ｃ．Ｎ．Ｒ．Ｓ．　ｓｕｒ　ｌａ　Ｔｈｅ´ｏｒｉｅ　ｄｅｓ　Ｍｏｄｅ｀ｌｅｓ　ｅｔ　ｌ’Ａｒｉｔｈｍｅ´ｔｉｑｕｅ，　Ｐａｒｉｓ，　Ｆｒａｎｃｅ，　１９７９／８０ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)
紙図書
ｅｄｉｔｅｄｂｙＣ．Ｂｅｒｌｉｎｅ，Ｋ．ＭｃＡｌｏｏｎ，ａｎｄＪ．－Ｐ．Ｒｅｓｓａｙｒｅ． ; ; ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９８１．
全国の図書館
  • タイトル標目Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ

MODELS OF BOUNDED ARITHMETIC (Towards new interaction between category theory and proof theory)

pdfを表すアイコン
デジタル記事
黒田, 覚京都大学数理解析研究所2001-06数理解析研究所講究録1217p.45-60
インターネットで読める全国の図書館

Unifying the model theory of first-order and second-order arithmetic via <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi mathvariant="normal">WKL</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mo>⁎</mml:mo></mml:mrow></mml:msubsup></mml:math>

Unifying the model theory of first-order and second-order arithmetic via <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi mathvariant="normal">WKL</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mo>⁎</mml:mo></mml:mrow></mml:msubsup></mml:math>
デジタル記事
2017-06Annals of Pure and Applied Logic168 6p.1247-1283
全国の図書館

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre. (Lecture notes in mathematics ; 890)

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 / edited by C. Berline, K. McAloon, and J.-P. Ressayre. (Lecture notes in mathematics ; 890)
紙図書
Springer1981.<MA41-184>
国立国会図書館
  • 件名Model theory. Logica Matematica.
  • 一般注記English and French.

Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ｏｆ　ａｌｇｅｂｒａ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　Ｃｏｎｆｅｒｅｎｃｅ　ｏｎ　Ａｐｐｌｉｃａｔｉｏｎｓ　ｏｆ　Ｌｏｇｉｃ　ｔｏ　Ａｌｇｅｂｒａ　ａｎｄ　Ａｒｉｔｈｍｅｔｉｃ　ｈｅｌｄ　ａｔ　Ｋａｒｐａｃｚ，　Ｐｏｌａｎｄ，　Ｓｅｐｔｅｍｂｅｒ　１－７，　１９７９ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)

Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ｏｆ　ａｌｇｅｂｒａ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ : ｐｒｏｃｅｅｄｉｎｇｓ　ｏｆ　ｔｈｅ　Ｃｏｎｆｅｒｅｎｃｅ　ｏｎ　Ａｐｐｌｉｃａｔｉｏｎｓ　ｏｆ　Ｌｏｇｉｃ　ｔｏ　Ａｌｇｅｂｒａ　ａｎｄ　Ａｒｉｔｈｍｅｔｉｃ　ｈｅｌｄ　ａｔ　Ｋａｒｐａｃｚ，　Ｐｏｌａｎｄ，　Ｓｅｐｔｅｍｂｅｒ　１－７，　１９７９ (Ｌｅｃｔｕｒｅ　ｎｏｔｅｓ　ｉｎ　ｍａｔｈｅｍａｔｉｃｓ)
紙図書
ｅｄｉｔｅｄｂｙＬ．Ｐａｃｈｏｌｓｋｉ，Ｊ．Ｗｉｅｒｚｅｊｅｗｓｋｉ，ａｎｄＡ．Ｊ．Ｗｉｌｋｉｅ． ; ; ;Ｓｐｒｉｎｇｅｒ－Ｖｅｒｌａｇ１９８０．
全国の図書館
  • タイトル標目Ｍｏｄｅｌ　ｔｈｅｏｒｙ　ｏｆ　ａｌｇｅｂｒａ　ａｎｄ　ａｒｉｔｈｍｅｔｉｃ

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 : Berlin : New York

Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 : Berlin : New York
紙図書
edited by L. Pacholski, J. Wierzejewski, and A.J. WilkieSpringer-Verlag1980
全国の図書館
  • 件名Model theory -- Congresses
  • 件名（識別子）Model theory -- Congresses
  • 並列タイトル等（連結）Model theory of algebra and arithmetic

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 : Berlin : New York

Model theory and arithmetic : comptes rendus d'une action thématique programmée du C.N.R.S. sur la théorie des modèles et l'arithmétique, Paris, France, 1979/80 : Berlin : New York
紙図書
edited by C. Berline, K. McAloon, and J.-P. RessayreSpringer-Verlag1981
全国の図書館
  • 件名Model theory -- Addresses, essays, lecture...
  • 件名（識別子）Model theory -- Addresses, essays, lecture...
  • 一般注記English and French Includes bibliographie...