Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis |
Pubbl/distr/stampa | Berlin, : Springer, 1978 |
Descrizione fisica | v, 287 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
Soggetto non controllato |
Descriptive set theory
Functions Ordinals Recursion Recursive functions Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0260538 |
Berlin, : Springer, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
The Calculi of Lambda Conversion. (AM-6), Volume 6 / / Alonzo Church |
Autore | Church Alonzo |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (89 pages) |
Disciplina | 517.5 |
Collana | Annals of Mathematics Studies |
Soggetto topico |
Logic, Symbolic and mathematical
Recursive functions |
Soggetto non controllato |
2H
A-normal form Addition Alphabetical order Ambiguity Argument of a function Axiom Bibliography Big O notation Calculation Characteristic function (probability theory) Combination Complex number Computability Computation Consistency Corollary Definition Denotation Determination Differential calculus Enumeration Equation Exc Existential quantification Exponentiation Finitary Finite set Formal system Frege (programming language) Function (mathematics) Gödel numbering Identity function In the process of Integer Iteration Limit (mathematics) Logic Logical conjunction Logical disjunction Mathematical induction Mathematical logic Mathematics Metamathematics Natural number Negation Notation Null set Number theory Ordinal number Pairing Paul Bernays Primitive recursive function Principia Mathematica Propositional function Quantifier (logic) Real number Recursion (computer science) Recursion Reduction of order Requirement Resultant Rule of inference Scientific notation Sequence Set theory Special case Successor function Theorem Theory Transfinite number Transfinite Truth value Uncertainty Universal quantification Upper and lower bounds Variable (mathematics) Well-formed formula Without loss of generality |
ISBN | 1-4008-8193-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- CONTENTS -- Chapter I. INTRODUCTORY -- Chapter II. LAMBDA-CONVERSION -- Chapter III. LAMBDA-DEFINABILITY -- Chapter IV. COMBINATIONS, GÖDEL NUMBERS -- Chapter V. THE CALCULI OF λ-K-CONVERSION AND λ-δ- CONVERSION -- INDEX OP THE PRINCIPAL FORMULAS INTRODUCED BY DEFINITION -- BIBLIOGRAPHY -- CORRECTION AND ADDITIONS |
Record Nr. | UNINA-9910154753003321 |
Church Alonzo
![]() |
||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Combinatorial theory / Martin Aigner |
Autore | Aigner, Martin |
Pubbl/distr/stampa | Berlin, : Springer, 1997 |
Descrizione fisica | VIII, 483 p. : ill. ; 24 cm |
Soggetto topico |
05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] |
Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
ISBN | 978-35-406-1787-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0051184 |
Aigner, Martin
![]() |
||
Berlin, : Springer, 1997 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Combinatorial theory / Martin Aigner |
Autore | Aigner, Martin |
Pubbl/distr/stampa | Berlin, : Springer, 1979 |
Descrizione fisica | VIII, 483 p. : ill. ; 24 cm |
Soggetto topico |
05-XX - Combinatorics [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020] 05A15 - Exact enumeration problems, generating functions [MSC 2020] 05Axx - Enumerative combinatorics [MSC 2020] |
Soggetto non controllato |
Algebra
Calculus Combinatorics Counting Discrete mathematics Duality Finite Functions Lattice Mapping Mathematics Permutation Recursion order theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268257 |
Aigner, Martin
![]() |
||
Berlin, : Springer, 1979 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Combinatorial Theory Seminar Eindhoven University of Technology / Jacobus H. van Lint |
Autore | van Lint, Jacobus H. |
Pubbl/distr/stampa | Berlin, : Springer, 1974 |
Descrizione fisica | vi, 131 p. ; 24 cm |
Soggetto topico |
05A17 - Combinatorial aspects of partitions of integers [MSC 2020]
05-XX - Combinatorics [MSC 2020] 05A15 - Exact enumeration problems, generating functions [MSC 2020] 05B15 - Orthogonal arrays, Latin squares, Room squares [MSC 2020] 05B25 - Combinatorial aspects of finite geometries [MSC 2020] 05B20 - Combinatorial aspects of matrices (incidence, Hadamard, etc.) [MSC 2020] 05B10 - Combinatorial aspects of difference sets (number-theoretic, group-theoretic, etc.) [MSC 2020] |
Soggetto non controllato |
Combinatorics
Finite Functions Geometry Recursion Theorem |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0255994 |
van Lint, Jacobus H.
![]() |
||
Berlin, : Springer, 1974 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Computations in Higher Types / Johan Moldestad |
Autore | Moldestad, Johan |
Pubbl/distr/stampa | Berlin, : Springer, 1977 |
Descrizione fisica | viii, 208 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 03D65 - Higher-type and set recursion theory [MSC 2020] |
Soggetto non controllato |
Calculation
Computability theory Computation Objects Recursion Recursive functions Types |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0260332 |
Moldestad, Johan
![]() |
||
Berlin, : Springer, 1977 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
Pubbl/distr/stampa | Berlin, : Springer, 1981 |
Descrizione fisica | x, 350 p. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
Soggetto non controllato |
Algebra
Calculation Constructive mathematics Finite Mathematics Ordinals Recursion Set Theory |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0261785 |
Berlin, : Springer, 1981 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Degrees of Unsolvability. (AM-55), Volume 55 / / Gerald E. Sacks |
Autore | Sacks Gerald E. |
Edizione | [Second edition.] |
Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
Descrizione fisica | 1 online resource (189 pages) |
Disciplina | 517.5 |
Collana | Annals of Mathematics Studies |
Soggetto topico |
Recursive functions
Unsolvability (Mathematical logic) |
Soggetto non controllato |
Addition
Aleph number Algebraic topology Approximation Arithmetic function Arithmetical set Axiom of choice Baire category theorem Cardinality of the continuum Cardinality Cartesian product Category theory Commutative property Conjecture Continuum hypothesis Contradiction Corollary Countable set Disjoint union Effective method Empty set Enumeration Equation Existence theorem Existential quantification Finite set Fixed-point theorem Fourier analysis Fubini's theorem Gödel numbering Identity function Inequality (mathematics) Infimum and supremum Integer Lebesgue measure Limit of a sequence Limit point Mathematical induction Mathematics Mean of a function Measure (mathematics) Metric space Monotonic function Mostowski Mutual exclusivity Natural number Null set Open set Partial function Partially ordered set Predicate (mathematical logic) Product measure Product topology Real number Recursion Recursive set Recursively enumerable set Reductio ad absurdum Regular space Requirement Scientific notation Sequence Set (mathematics) Simultaneous equations Subset Theorem Topology Transfinite induction Tychonoff's theorem Uncountable set Union (set theory) Upper and lower bounds Variable (mathematics) W0 Well-order Without loss of generality Zorn's lemma |
ISBN | 1-4008-8184-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Frontmatter -- Preface to revised edition -- Contents -- §1. Preliminaries -- §2 . A Continuum of Mutually Incomparable Degrees -- §3. Uncountable Suborderings of Degrees -- §4. The Priority Method Of Friedberg and Muchnik -- §5. An Existence Theorem For Recursively Enumerable Degrees -- §6 . The Jump Operator -- §7. An Interpolation Theorem for Recursively Enumerable Degrees -- §8. Minimal Upper Bounds for Sequences of Degrees -- §9. Minimal Degrees -- §10. Measure-Theoretic, Category and Descriptive Set-Theoretic Arguments -- §11. Initial Segments of Degrees -- §12. Further Results and Conjectures -- Bibliography |
Record Nr. | UNINA-9910154752603321 |
Sacks Gerald E.
![]() |
||
Princeton, NJ : , : Princeton University Press, , [2016] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Forcing, Arithmetic, Division Rings / Joram Hirschfeld, William H. Wheeler |
Autore | Hirschfeld, Joram |
Pubbl/distr/stampa | Berlin, : Springer, 1975 |
Descrizione fisica | vii, 266 p. ; 24 cm |
Altri autori (Persone) | Wheeler, William Hollis |
Soggetto topico |
16-XX - Associative rings and algebras [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] 16Kxx - Division rings and semisimple Artin rings [MSC 2020] 16S10 - Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) [MSC 2020] 14Axx - Foundations of algebraic geometry [MSC 2020] 03C60 - Model-theoretic algebra [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 03C68 - Other classical first-order model theory [MSC 2020] |
Soggetto non controllato |
Algebra
Arithmetic Finite Forcing Models Recursion |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0256330 |
Hirschfeld, Joram
![]() |
||
Berlin, : Springer, 1975 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott |
Pubbl/distr/stampa | Berlin, : Springer, 1978 |
Descrizione fisica | x, 110 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
Soggetto non controllato |
Arithmetic
Functions Ordinals Proofs Recursion Well-ordering principles |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0260669 |
Berlin, : Springer, 1978 | ||
![]() | ||
Lo trovi qui: Univ. Vanvitelli | ||
|