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.
Degrees of Unsolvability : Structure and Theory / Richard L. Epstein
| Degrees of Unsolvability : Structure and Theory / Richard L. Epstein |
| Autore | Epstein, Richard L. |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xiv, 246 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 03D30 - Other degrees and reducibilities in computability and recursion theory [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
| Soggetto non controllato |
Decidability
Degree of insolubility Finite Homogenization Lattices Operator Turing degree |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261121 |
Epstein, Richard L.
|
||
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic / J. Donald Monk
| Mathematical Logic / J. Donald Monk |
| Autore | Monk, James D. |
| Pubbl/distr/stampa | New York, : Springer, 1976 |
| Descrizione fisica | x, 532 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] |
| Soggetto non controllato |
Algorithms
Boundary Element Methods Computability theory Construction Decidability Functions Logic Mathematica Mathematical analysis Mathematical logic Model theory Recursion Turing Turing degree Types |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268023 |
|
Monk, James D.
|
||
| New York, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 / / Charles F. Miller
| On Group-Theoretic Decision Problems and Their Classification. (AM-68), Volume 68 / / Charles F. Miller |
| Autore | Miller Charles F. |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (121 pages) |
| Disciplina | 512/.2 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico |
Group theory
Logic, Symbolic and mathematical |
| Soggetto non controllato |
Abelian group
Betti number Characteristic function (probability theory) Characterization (mathematics) Combinatorial group theory Conjecture Conjugacy class Conjugacy problem Contradiction Corollary Cyclic permutation Decision problem Diffeomorphism Direct product Direct proof Effective method Elementary class Embedding Enumeration Epimorphism Equation Equivalence relation Exact sequence Existential quantification Finite group Finite set Finitely generated group Finitely presented Free group Free product Fundamental group Fundamental theorem Group (mathematics) Group theory Gödel numbering Homomorphism Homotopy Inner automorphism Markov property Mathematical logic Mathematical proof Mathematics Monograph Natural number Nilpotent group Normal subgroup Notation Permutation Polycyclic group Presentation of a group Quotient group Recursive set Requirement Residually finite group Semigroup Simple set Simplicial complex Solvable group Statistical hypothesis testing Subgroup Theorem Theory Topology Transitive relation Triviality (mathematics) Truth table Turing degree Turing machine Without loss of generality Word problem (mathematics) |
| ISBN | 1-4008-8178-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- CONTENTS -- CHAPTER I. INTRODUCTION -- CHAPTER II. PROPERTIES OF BRITTON EXTENSIONS -- CHAPTER III. UNSOLVABILITY RESULTS FOR RESIDUALLY FINITE GROUPS -- CHAPTER IV. THE WORD AND CONJUGACY PROBLEMS FOR CERTAIN ELEMENTARY GROUPS -- CHAPTER V. ON THE ISOMORPHISM PROBLEM FOR GROUPS -- LIST OF REFERENCES -- INDEX OF SYMBOLS -- INDEX |
| Record Nr. | UNINA-9910154751403321 |
|
Miller Charles F.
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks
| Recursion Theory Week : Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks |
| Pubbl/distr/stampa | Berlin, : Springer, 1985 |
| Descrizione fisica | xii, 420 p. ; 24 cm |
| Soggetto non controllato |
Arithmetics
Computability theory Functions Ordinals Recursion Set Theory Turing degree |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263606 |
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||