1.
ＥＢ
by J. Koppitz, K. Denecke
2.
ＥＢ
by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Craig G. Fraser, Akihiro Kanamori
出版情報:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名:
Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 21
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-540-79384-7
所蔵情報:
loading…
3.
ＥＢ
by Alexander Leitsch, Matthias Baaz
4.
ＥＢ
by Daniele Mundici
5.
ＥＢ
by Alexander Prestel, Charles N. Delzell
6.
ＥＢ
by Răzvan Diaconescu ; edited by Jean-Yves Beziau, Hajnal Andréka, Mark Burgin, Răzvan Diaconescu, Josep Maria Font, Andreas Herzig, Arnold Koslow, Jui-Lin Lee, Larissa Maksimova, Grzegorz Malinowski, Darko Sarenac, Peter Schröder-Heister, Vladimir Vasyukov
7.
ＥＢ
edited by Ryszard Wójcicki, Vincent F. Hendricks, Daniele Mundici, Ewa Orłowska, Krister Segerberg, Heinrich Wansing, David Makinson, Jacek Malinowski, Heinrich Wansing
8.
ＥＢ
by Paulo Tabuada
9.
ＥＢ
by Benjamin Steinberg, John Rhodes
10.
ＥＢ
by Ian M. Chiswell
11.
ＥＢ
by Evangelos Triantaphyllou
12.
ＥＢ
by Daniele Mundici
13.
ＥＢ
by Shashi Mohan Srivastava
目次情報:
続きを見る
Preface
1 Syntax of First-Order Logic
2 Semantics of First-Order Languages
3 Propositional Logic
4 Completeness Theorem for First-Order Logic
5 Model Theory
6 Recursive Functions and Arithmetization of Theories
7 Incompleteness Theorems and Recursion Theory
References
Index
Preface
1 Syntax of First-Order Logic
2 Semantics of First-Order Languages
14.
ＥＢ
by Ernst Zermelo ; edited by Heinz-Dieter Ebbinghaus, Akihiro Kanamori
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名:
Schriften der Mathematisch-naturwissenschaftlichen Klasse der Heidelberger Akademie der Wissenschaften ; 23
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-540-70856-8
所蔵情報:
loading…
目次情報:
続きを見る
Ernst Zermelo’s curriculum vitae by Heinz-Dieter Ebbinghaus
Zermelo 1894
Zermelo 1896a
Boltzmann 1896
Zermelo 1896b
Boltzmann 1897
Zermelo 1899a
Zermelo s1899b
Zermelo 1900
Zermelo 1902a
Zermelo s1902b
Zermelo s1902c
Zermelo 1902d
Zermelo 1904a
Hahn and Zermelo 1904
Zermelo 1906
Riesenfeld and Zermelo 1909
Zermelo 1928
Zermelo 1930c
Zermelo 1931a
Zermelo 1933a
Bibliography
Index
Ernst Zermelo’s curriculum vitae by Heinz-Dieter Ebbinghaus
Zermelo 1894
Zermelo 1896a
15.
ＥＢ
edited by Hajnal Andréka, Miklós Ferenczi, István Németi
目次情報:
続きを見る
Introduction
H. Andréka and I. Németi: Reducing First-order Logic to Df3, Free Algebras
N.Bezhanishvili: Varieties of Two-Dimensional Cylindric Algebras
R. Hirsch and I. Hodkinson: Completions and Complete Representations
J. Madarász and T. Sayed Ahmed: Amalgamation, Interpolation and Epimorphisms in Algebraic Logic
T. Sayed Ahmed: Neat Reducts and Neat Embeddings in Cylindric Algebras
M. Ferenczi: A New Representation Theory: Representing Cylindric-like Algebras by Relativized Set Algebras
A. Simon: Representing all Cylindric Algebras by Twisting, On a Problem of Henkin
A. Kurucz: Representable Cylindric Algebras and Many-Dimensional Modal Logics
T. Sayed Ahmed: Completions, Complete Representations and Omitting Types
G. Serény: Elements of Cylindric Algebraic Model Theory
Y. Venema: Cylindric Modal Logic
J. van Benthem: Crs and Guarded Logics: A Fruitful Contact
R. S. Dordevic and M. D. Raskovic: Cylindric Probability Algebras.-I. Duentsch: Cylindric Algebras and Relational Databases. – M. Ferenczi: Probability Measures and Measurable Functions on Cylindric Algebras. – A. Mann: Cylindric Set Algebras and IF Logic. – G. Sági: Polyadic Algebras. – I. Sain: Definability Issues in Universal Logic. – Bibliography. - Index
Introduction
H. Andréka and I. Németi: Reducing First-order Logic to Df3, Free Algebras
N.Bezhanishvili: Varieties of Two-Dimensional Cylindric Algebras
16.
ＥＢ
edited by László Lovász, Imre Z. Ruzsa, Vera T. Sós
目次情報:
続きを見る
Contents
Preface
Alon, N.: Paul Erdös and Probabilistic Reasoning
Benjamini, I.: Euclidean vs. Graph Metric
Bollobas, B. and Riordan, O.: The Phase Transition in the Erdös–Rényi Random Graph Process
Bourgain, J.: Around the Sum-product Phenomenon
Breuillard, E., Green, B. and Tao, T.: Small Doubling in Groups
Diamond, H. G.: Erdös and Multiplicative Number Theory
Füredi, Z. and Simonovits, M.: The History of Degenerate (Bipartite) Extremal Graph Problems
Gowers, W. T.: Erdös and Arithmetic Progressions
Graham, R. L.: Paul Erdös and Egyptian Fractions
Györy, K.: Perfect Powers in Products with Consecutive Terms from Arithmetic Progressions
Komjáth, P.: Erdös’s Work on Infinite Graphs
Kunen, K.: The Impact of Paul Erd˝os on Set Theory
Mauldin, R. D.: Some Problems and Ideas of Erdös in Analysis and Geometry
Montgomery, H. L.: L2 Majorant Principles
Nesetril, J.: A Combinatorial Classic – Sparse Graphs with High Chromatic Number
Nguyen, H. H. and Vu, V. H.: Small Ball Probability, Inverse Theorems, and Applications
Pach, J.: The Beginnings of Geometric Graph Theory
Pintz, J.: Paul Erdös and the Difference of Primes
Pollack, P. and Pomerance, C.: Paul Erdös and the Rise of Statistical Thinking in Elementary Number Theory
Rödl, V. and Schacht, M.: Extremal Results in Random Graphs.-Schinzel, A.: Erdös’s Work on the Sum of Divisors Function and on Euler’s Function
Shalev, A.: Some Results and Problems in the Theory of Word Maps
Tenenbaum, G.: Some of Erdös’ Unconventional Problems in Number Theory, Thirty-four Years Later
Totik, V.: Erdös on Polynomials
Vertesi, P.: Paul Erdös and Interpolation: Problems, Results, New Developments
Contents
Preface
Alon, N.: Paul Erdös and Probabilistic Reasoning
17.
ＥＢ
edited by Manindra Agrawal, Vikraman Arvind
出版情報:
Cham : Springer International Publishing : Imprint: Birkhäuser, 2014
シリーズ名:
Progress in Computer Science and Applied Logic ; 26
子書誌情報:
loading…
オンライン:
http://dx.doi.org/10.1007/978-3-319-05446-9
所蔵情報:
loading…
目次情報:
続きを見る
Preface
1. Complexity Theory Basics: NP and NL (Vikraman Arvind)
2. Investigations Concerning the Structure of Complete Sets (Eric Allender)
3. Space Complexity of the Directed Reachability Problem Over Surface-embedded Graphs (N.V. Vinodchandran)
4. Algebraic Complexity Classes (Meena Mahajan)
5. A Selection of Lower Bound Results for Arithmetic Circuits (Neeraj Kayal and Ramprasad Saptharishi)
6. Explicit Tensors (Markus Bläser)
7. Progress on Polynomial Identity Testing (Nitin Saxena)
8. Malod and the Pascaline (Bruno Poizat)
9. A Tutorial in Time and Space Bounds for Tree-like Resolution (Jacobo Torán)
10. An Entropy Based Proof for the Moore Bound for Irregular Graphs (S. Ajesh Babu and Jaikumar Radharishnan)
11. Permutation Groups and the Graph Isomorphism Problem (Sumanta Ghosh and Piyush P. Kurur)
Preface
1. Complexity Theory Basics: NP and NL (Vikraman Arvind)
2. Investigations Concerning the Structure of Complete Sets (Eric Allender)
18.
ＥＢ
by Vito Michele Abrusci, Lorenzo Tortora Falco
目次情報:
続きを見る
1 Introduzione
2 Alcune nozioni preliminari
3 Dimostrabilità e soddisfacibilità
4 Verso la teoria della dimostrazione: il teorema del taglio per LK
5 Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza
1 Introduzione
2 Alcune nozioni preliminari
3 Dimostrabilità e soddisfacibilità
19.
ＥＢ
edited by Mihir K. Chakraborty, Andrzej Skowron, Manoranjan Maiti, Samarjit Kar
目次情報:
続きを見る
Part I: Uncertainty Modeling
Chapter 1. Rough Sets and other Mathematics: Ten Research Programs
Chapter 2. Dealing with Uncertainty: From Rough Sets to Interactive Rough-Granular Computing
Chapter 3. An Evolutionary Approach to Secondary Membership Function Selection in Generalized Type- 2 Fuzzy Sets
Chapter 4. Specificity based defuzzification in approximate reasoning
Chapter 5. Proto-fuzzy Concepts Generation Technique Using Fuzzy Graph
Part II: Logic of Uncertainty
Chapter 6. Open World Models: a View from Rough Set Theory
Chapter 7. Approximate reasoning under type-2 fuzzy logics
Chapter 8. Approximation Dialectics of Proto-Transitive Rough Sets
Part III: Hybridization of Uncertainties
Chapter 9. A Probabilistic Approach to Information System and Rough Set Theory
Chapter 10. Uncertainty Analysis of Contaminant Transportation Through Ground Water Using Fuzzy-Stochastic Response Surface
Chapter 11. Development of a Fuzzy Random Health Risk Model
Chapter 12. Uncertainty Analysis of Retardation factor using Monte Carlo, Fuzzy set and Hybrid Approach
Part IV: Roll of Uncertainties
Chapter 13. Two Person Interaction Detection Using Kinect Sensor
Chapter 14. An Improved Genetic Algorithm and Its Application in Constrained Solid TSP in Uncertain Environments
Chapter 15. A Novel Soft theoretic AHP Model for Project Management in Multi-Criteria Decision Making Problem
Chapter 16. An Application of Weighted Neutrosophic Soft Sets in a Decision Making Problem
Chapter 17. Approximate Reasoning in Management of Hypertension
Chapter 18. The Hesitant Fuzzy Soft Set and its Application in Decision Making
Chapter 19. On Fuzzy Ideal Cone Method to Capture Entire Fuzzy Non-dominated Set of Fuzzy Multi-criteria Optimization Problems with Fuzzy Parameters
Chapter 20. A Bi-Objective Solid Transportation Model under Uncertain Environment
Chapter 21. A Food web Population Model in Deterministic and Stochastic Environment
Chapter 22. Computational Method for High-order Weighted Fuzzy Time Series Forecasting Based on Multiple Partitions
Chapter 23. Portfolio Selection with Possibilistic Kurtosis
Chapter 24. Conflicting Bifuzzy Preference Relations based Method for Multi Criteria Decision Making Problems
Chapter 25. A Linear Goal Programming Method for Solving Chance Constrained Multi objective Problems with Interval Data Uncertainty.
Part I: Uncertainty Modeling
Chapter 1. Rough Sets and other Mathematics: Ten Research Programs
Chapter 2. Dealing with Uncertainty: From Rough Sets to Interactive Rough-Granular Computing
20.
ＥＢ
edited by Reinhard Kahle, Michael Rathjen
目次情報:
続きを見る
Part I Reflections
Gentzen’s Consistency Proof in Context, Reinhard Kahle
Gentzen’s Anti-Formalist Views, Michael Detlefsen
The Use of Trustworthy Principles in a Revised Hilbert’s Program, Anton Setzer
Part II Gentzen’s Consistency Proofs
On Gentzen’s First Consistency Proof for Arithmetic, Wilfried Buchholz
From Hauptsatz to Hilfssatz, Jan von Plato
A Note on How to Extend Gentzen’s Second Consistency Proof to a Proof of Normalization for First Order Arithmetic, Dag Prawitz
A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic, Annika Siders
Gentzen’s Original Consistency Proof and the Bar Theorem, W.W. Tait
Goodstein’s Theorem Revisited, Michael Rathjen
Part III Results
Cut Elimination In Situ, Sam Buss
Spector’s Proof of the Consistency of Analysis, Fernando Ferreira
Climbing Mount ε_0, Herman Ruge Jervell
Semi-Formal Calculi and Their Applications, Wolfram Pohlers
Part IV Developments
Proof Theory for Theories of Ordinals III: Π_N-Reflection, Toshiyasu Arai
A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions, Gerhard Jäger and Dieter Probst
Classifying Phase Transition Thresholds for Goodstein Sequences and Hydra Games, Frederik Meskens and Andreas Weiermann
Non-deterministic Epsilon Substitution Method for PA and ID_1, Grigori Mints
A Game-Theoretic Computational Interpretation of Proofs in Classical Analysis, Paulo Oliva and Thomas Powell
Well-Ordering Principles and Bar Induction, Michael Rathjen and Pedro Francisco Valencia Vizcaíno
Part I Reflections
Gentzen’s Consistency Proof in Context, Reinhard Kahle
Gentzen’s Anti-Formalist Views, Michael Detlefsen
21.
ＥＢ
edited by Dov M. Gabbay, Sergei S. Goncharov, Michael Zakharyaschev
22.
ＥＢ
by Yiannis Moschovakis
23.
ＥＢ
by Heinz-Dieter Ebbinghaus, Jörg Flum
24.
ＥＢ
by Heinz-Dieter Ebbinghaus
25.
ＥＢ
edited by Jean-Yves Beziau
26.
ＥＢ
by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
ＥＢ
