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.
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occassion of his 70th birthday / / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
| Fields of logic and computation : essays dedicated to Yuri Gurevich on the occassion of his 70th birthday / / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.) |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2010 |
| Descrizione fisica | 1 online resource (XIII, 627 p. 49 illus.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
BlassAndreas <1947->
DershowitzNachum ReisigWolfgang <1950-> |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer algorithms
Logic, Symbolic and mathematical |
| ISBN |
1-280-38827-7
9786613566195 3-642-15025-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical Papers -- Tracking Evidence -- Strict Canonical Constructive Systems -- Decidable Expansions of Labelled Linear Orderings -- Existential Fixed-Point Logic, Universal Quantifiers, and Topoi -- Three Paths to Effectiveness -- The Quest for a Tight Translation of Büchi to co-Büchi Automata -- Normalization of Some Extended Abstract State Machines -- Finding Reductions Automatically -- On Complete Problems, Relativizations and Logics for Complexity Classes -- Effective Closed Subshifts in 1D Can Be Implemented in 2D -- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey -- A Logic for PTIME and a Parameterized Halting Problem -- Inferring Loop Invariants Using Postconditions -- ASMs and Operational Algorithmic Completeness of Lambda Calculus -- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs -- Ibn S?n? on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic -- Abstract State Machines and the Inquiry Process -- The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion -- Definability of Combinatorial Functions and Their Linear Recurrence Relations -- Halting and Equivalence of Program Schemes in Models of Arbitrary Theories -- Metrization Theorem for Space-Times: From Urysohn’s Problem towards Physically Useful Constructive Mathematics -- Thirteen Definitions of a Stable Model -- DKAL and Z3: A Logic Embedding Experiment -- Decidability of the Class E by Maslov’s Inverse Method -- Logics for Two Fragments beyond the Syllogistic Boundary -- Choiceless Computation and Symmetry -- Hereditary Zero-One Laws for Graphs -- On Monadic Theories of Monadic Predicates. |
| Record Nr. | UNINA-9910483367003321 |
| Berlin ; ; New York, : Springer, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and its applications / / Andreas Blass, Yi Zhang, editors
| Logic and its applications / / Andreas Blass, Yi Zhang, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina | 511.3/24 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Algebraic logic
Geometry, Algebraic |
| Soggetto genere / forma | Electronic books. |
| ISBN | 0-8218-7970-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Ehrenfeucht-Mostowski Models in Abstract Elementary Classes""; ""Unsplit Families, Dominating Families, and Ultrafilters""; ""Several Proofs of PA-Unprovability""; ""Ultrafilter Semirings and Nonstandard Submodels of the Stone-ÄŒech Compactification of the Natural Numbers""; ""Unitary Group Actions and Hilbertian Polish Metric Spaces""; ""Abstract Decomposition Theorem and Applications""; ""A Dichotomy Theorem for Being Essentially Countable""; ""Mad Families are Small""; ""Random Logarithm and Homogeneity""
""Definability, Semidefinability, and Asymptotic Structure in Analysis""""Dependence Relations in Non-Elementary Classes""; ""An Introduction to Excellent Classes""; ""Ultrafilters and Nuclear Spaces""; ""Many Quotient Algebras of the Integers Modulo Co-Analytic Ideals""; ""What Does the Automorphism Group of a Free Abelian Group A Know About A?""; ""A Categoricity Theorem for Quasi-Minimal Excellent Classes"" |
| Record Nr. | UNINA-9910479975103321 |
| Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and its applications / / Andreas Blass, Yi Zhang, editors
| Logic and its applications / / Andreas Blass, Yi Zhang, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina | 511.3/24 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Algebraic logic
Geometry, Algebraic |
| ISBN | 0-8218-7970-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Ehrenfeucht-Mostowski Models in Abstract Elementary Classes""; ""Unsplit Families, Dominating Families, and Ultrafilters""; ""Several Proofs of PA-Unprovability""; ""Ultrafilter Semirings and Nonstandard Submodels of the Stone-ÄŒech Compactification of the Natural Numbers""; ""Unitary Group Actions and Hilbertian Polish Metric Spaces""; ""Abstract Decomposition Theorem and Applications""; ""A Dichotomy Theorem for Being Essentially Countable""; ""Mad Families are Small""; ""Random Logarithm and Homogeneity""
""Definability, Semidefinability, and Asymptotic Structure in Analysis""""Dependence Relations in Non-Elementary Classes""; ""An Introduction to Excellent Classes""; ""Ultrafilters and Nuclear Spaces""; ""Many Quotient Algebras of the Integers Modulo Co-Analytic Ideals""; ""What Does the Automorphism Group of a Free Abelian Group A Know About A?""; ""A Categoricity Theorem for Quasi-Minimal Excellent Classes"" |
| Record Nr. | UNINA-9910788660603321 |
| Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic and its applications / / Andreas Blass, Yi Zhang, editors
| Logic and its applications / / Andreas Blass, Yi Zhang, editors |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2005] |
| Descrizione fisica | 1 online resource (314 p.) |
| Disciplina | 511.3/24 |
| Collana | Contemporary mathematics |
| Soggetto topico |
Algebraic logic
Geometry, Algebraic |
| ISBN | 0-8218-7970-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""Preface""; ""Ehrenfeucht-Mostowski Models in Abstract Elementary Classes""; ""Unsplit Families, Dominating Families, and Ultrafilters""; ""Several Proofs of PA-Unprovability""; ""Ultrafilter Semirings and Nonstandard Submodels of the Stone-ÄŒech Compactification of the Natural Numbers""; ""Unitary Group Actions and Hilbertian Polish Metric Spaces""; ""Abstract Decomposition Theorem and Applications""; ""A Dichotomy Theorem for Being Essentially Countable""; ""Mad Families are Small""; ""Random Logarithm and Homogeneity""
""Definability, Semidefinability, and Asymptotic Structure in Analysis""""Dependence Relations in Non-Elementary Classes""; ""An Introduction to Excellent Classes""; ""Ultrafilters and Nuclear Spaces""; ""Many Quotient Algebras of the Integers Modulo Co-Analytic Ideals""; ""What Does the Automorphism Group of a Free Abelian Group A Know About A?""; ""A Categoricity Theorem for Quasi-Minimal Excellent Classes"" |
| Record Nr. | UNINA-9910809221003321 |
| Providence, Rhode Island : , : American Mathematical Society, , [2005] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||