Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Abductive Minds
| Abductive Minds |
| Autore | Arfini Selene |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Cham : , : Springer, , 2025 |
| Descrizione fisica | 1 online resource (275 pages) |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto topico |
COMPUTERS / Artificial Intelligence / General
MATHEMATICS / Logic PHILOSOPHY / Epistemology |
| ISBN | 3-031-96684-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9911028752703321 |
Arfini Selene
|
||
| Cham : , : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Aspects of Incompleteness
| Aspects of Incompleteness |
| Autore | Lindström Per |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin/Heidelberg : , : Springer Berlin / Heidelberg, , 1997 |
| Descrizione fisica | 1 online resource (143 pages) |
| Disciplina | 511.3 |
| Soggetto topico | MATHEMATICS / Logic |
| ISBN | 3-662-21635-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Contents -- 0. Introduction -- 1. Preliminaries -- 2. Incompleteness -- 3. Numerations of R.E. Sets -- 4. Axiomatizations -- 5. Partial conservativity -- 6. Interpretability -- 7. Degrees of interpretability -- 8. Generalizations -- References -- Index -- Notation. |
| Record Nr. | UNINA-9910482885803321 |
|
Lindström Per
|
||
| Berlin/Heidelberg : , : Springer Berlin / Heidelberg, , 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy
| Gödel '96 : Logical Foundations of Mathematics, Computer Science and Physics -- Kurt Gödel's Legacy |
| Autore | Hájek Petr |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , 1996 |
| Descrizione fisica | 1 online resource (332 pages) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
GirardJ.-Y
LachlanAlistair H |
| Collana | Lecture Notes in Logic |
| Soggetto topico |
MATHEMATICS / Logic
SCIENCE / Physics / Astrophysics SCIENCE / Space Science / Astronomy |
| ISBN | 3-662-21963-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 6 Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy -- Gödel '96 -- Copyright -- Preface -- Table of Contents -- Part I Invited Papers -- Gödel's program for new axioms: Why, where, how and what? -- Infinite-valued Gödel Logics with 0-1-Projections and Relativizations * -- Contributions of K. Gödel to Relativity and Cosmology * -- Kurt Gödel and the constructive Mathematics of A.A. Markov -- Hao Wang as Philosopher -- A bottom-up approach to foundations of mathematics * -- K-graph Machines: generalizing Turing's machines and arguments * -- Forcing on Bounded Arithmetic -- Uniform Interpolation and Layered Bisimulation * -- Part II Contributed Papers -- Gödel 's Ontological Proof Revisited * -- A Uniform Theorem Proving Tableau Method for Modal Logic* -- Decidability of the ∃*∀*-Class in the Membership Theory NWL * -- A Logical Approach to Complexity Bounds for Subtype Inequalities -- How to characterize provably total functions by the Buchholz operator method * -- Completeness has to be restricted: Gödel 's interpretation of the parameter t * -- A Bounded Arithmetic Theory for Constant Depth Threshold Circuits* -- Information content and computational complexity of recursive sets * -- Kurt Gödel and the Consistency of R##* -- Best possible answer is computable for fuzzy SLD-resolution * -- The finite stages of inductive definitions * -- Gödel and the Theory of Everything * -- Replacement→ Collection *. |
| Altri titoli varianti | Gödel '96 |
| Record Nr. | UNINA-9910744597803321 |
|
Hájek Petr
|
||
| Berlin, Heidelberg : , : Springer, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Colloquium '95 : Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Held in Haifa, Israel, August 9-18 1995
| Logic Colloquium '95 : Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Held in Haifa, Israel, August 9-18 1995 |
| Autore | Makowsky Johann A |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , 1998 |
| Descrizione fisica | 1 online resource (368 pages) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
RavveElena V
SlamanT |
| Collana | Lecture Notes in Logic |
| Soggetto topico | MATHEMATICS / Logic |
| ISBN | 3-662-22108-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 11 Logic Colloquium '95 Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18,1995 -- Logic Colloquium '95 -- Copyright -- Preface -- Table of Contents -- The Number of Path-Components of a Compact Subset of Rn -- Intervals Without Critical Triples -- Beyond Gödel's Theorem: Turing Nonrigidity Revisited -- Types and Indiscernibles in Finite Models -- Model Theory of Modules -- Noninterpretability of Infinite Linear Orders -- Combinatorial Principles from Adding Cohen Reals ★ -- Extensions of Models of PV -- Convergence Laws for Random Graphs -- V=L and Maximize -- Towards a Categorical Foundation of Mathematics -- Strongly Minimal Sets and Geometry -- Computationally-Sound Proofs -- Lambek Calculus and Formal Languages -- Zil'ber's Trichotomy and o-minimal Structures -- The Higher Infinite in Proof Theory -- There May Be No Nowhere Dense Ultrafilter -- Towards Recursive Model Theory★ -- Accessible Segments of the Fast Growing Hierarchy ★ -- Author Index. |
| Record Nr. | UNINA-9910482885903321 |
|
Makowsky Johann A
|
||
| Berlin, Heidelberg : , : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996
| Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996 |
| Autore | Larrazabal Jesús M |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , 1998 |
| Descrizione fisica | 1 online resource (266 pages) |
| Altri autori (Persone) |
LascarDaniel
Mint︠s︡G. E AsherNicholas |
| Collana | Lecture Notes in Logic |
| Soggetto topico | MATHEMATICS / Logic |
| ISBN | 3-662-22110-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 12 Logic Colloquium '96 Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 -- Logic Colloquium '96 -- Copyright -- Preface -- Table of contents -- The Logical Foundations of Discourse Interpretation -- Complete Sets and Structure in Subrecursive Classes -- Kernels and cohomology groups for some finite covers -- On "star" schemata of Kossak and Paris -- Arithmetizing proofs in analysis -- Satisfaction classes and automorphisms of models of PA -- Free monoid completeness of the Lambek calculus allowing empty premises -- Simple groups definable in O-minimal structures -- Two-Dimensional Temporal Logic -- Rather Classless, Highly Saturated Models of Peano Arithmetic -- Incompleteness theorems and Si2 versus Si2+1. |
| Altri titoli varianti | Logic Colloquium' 96 |
| Record Nr. | UNINA-9910744597903321 |
|
Larrazabal Jesús M
|
||
| Berlin, Heidelberg : , : Springer, , 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Theory of Fields
| Model Theory of Fields |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin/Heidelberg : , : Springer Berlin / Heidelberg, , 1996 |
| Descrizione fisica | 1 online resource (165 pages) |
| Disciplina | 512/.3 |
| Altri autori (Persone) |
MarkerD <1958-> (David)
MessmerM <1964-> (Margit) PillayAnand |
| Soggetto topico |
MATHEMATICS / Algebra / Abstract
MATHEMATICS / Logic |
| ISBN | 3-662-22174-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface -- Contents -- Introduction to the Model Theory of Fields -- Model Theory of Differential Fields -- Differential algebraic groups and the number of countable differentially closed fields -- Some model theory of separably closed fields -- Index. |
| Record Nr. | UNINA-9910482885503321 |
| Berlin/Heidelberg : , : Springer Berlin / Heidelberg, , 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recursion theory
| Recursion theory |
| Autore | Shoenfield Joseph R (Joseph Robert), <1927-> |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , 1993 |
| Descrizione fisica | 1 online resource (89 pages) |
| Disciplina | 511.35 |
| Altri autori (Persone) |
GirardJ.-Y
LachlanAlistair H |
| Collana | Lecture Notes in Logic |
| Soggetto topico |
MATHEMATICS / Geometry / Algebraic
MATHEMATICS / Logic |
| ISBN | 3-662-22378-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Lecture Notes in Logic 1 Recursion Theory -- Recursion Theory -- Copyright -- Introduction -- CONTENTS -- 1. Computability -- 2. Functions and Relations -- 3. The Basic Machine -- 4. Macros -- 5. Closure Properties -- 6. Definitions of Recursive Functions -- 7. Codes -- 8. Indices -- 9. Church's Thesis -- 10. Word Problems -- 11. Undecidable Theories -- 12. Relative Recursion -- 13. The Arithmetical Hierarchy -- 14. Recursively Enumerable Relations -- 15. Degrees -- 16. Evaluation of Degrees -- 17. Large RE Sets -- 18. Function of Reals -- 19. The Analytical Hierarchy -- 20. The Projective Hierarchy -- Suggestions for Further Reading -- Index. |
| Record Nr. | UNINA-9910482885103321 |
|
Shoenfield Joseph R (Joseph Robert), <1927->
|
||
| Berlin, Heidelberg : , : Springer, , 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
