The monadic second order theory of all countable ordinals / J. Richard Buchi, Dirk Siefkes |
Autore | Buchi, J. Richard |
Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1973 |
Descrizione fisica | vi, 217 p. ; 26 cm |
Disciplina | 511.3 |
Altri autori (Persone) | Siefkes, Dirkauthor |
Collana |
Decidable theories ; 2
Lecture notes in mathematics, 0075-8434 ; 328 |
Soggetto topico |
Godel's theorem
Model theory Ordinal and cardinal numbers |
ISBN | 3540063455 |
Classificazione | AMS 03E10 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001157509707536 |
Buchi, J. Richard
![]() |
||
Berlin ; New York : Springer-Verlag, 1973 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Motivic integration and its interactions with model theory and non-Archimedean geometry / edited by Raf Cluckers, Johannes Nicaise, Julien Sebag |
Pubbl/distr/stampa | Cambridge ; New York : Cambridge University Press, 2011 |
Descrizione fisica | 2 v. : ill. ; 23 cm |
Disciplina | 511.34 |
Altri autori (Persone) |
Cluckers, Raf
Nicaise, Johannes Sebag, Julien |
Collana | London Mathematical Society lecture note series, 0076-0552 ; 383-384 |
Soggetto topico |
Model theory
Valued fields Analytic spaces Geometry, Algebraic |
ISBN |
9780521149761 (v. 1)
9781107648814 (v. 2) |
Classificazione |
AMS 14E18
AMS 14G22 AMS 03C60 LC QA9.7.M68 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001806259707536 |
Cambridge ; New York : Cambridge University Press, 2011 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Ordered algebraic structures and related topics : International Conference on Ordered Algebraic Structures and Related Topics, October 12-16, 2015, Centre international de rencontres mathematiques (CIRM), Luminy, France / / Fabrizio Broglia [and four others], editors |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2017 |
Descrizione fisica | 1 online resource (390 pages) : illustrations |
Disciplina | 511.33 |
Collana | Contemporary Mathematics |
Soggetto topico |
Ordered algebraic structures
Model theory Geometry, Algebraic Forms, Quadratic Semigroups |
Soggetto genere / forma | Electronic books. |
ISBN | 1-4704-4222-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910480144403321 |
Providence, Rhode Island : , : American Mathematical Society, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ordered algebraic structures and related topics : International Conference on Ordered Algebraic Structures and Related Topics, October 12-16, 2015, Centre international de rencontres mathematiques (CIRM), Luminy, France / / Fabrizio Broglia [and four others], editors |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2017 |
Descrizione fisica | 1 online resource (390 pages) : illustrations |
Disciplina | 511.33 |
Collana | Contemporary mathematics |
Soggetto topico |
Ordered algebraic structures
Model theory Geometry, Algebraic Forms, Quadratic Semigroups |
ISBN | 1-4704-4222-1 |
Classificazione | 03CXX06FXX11EXX12-xx14PXX14QXX32SXX44A6054C3058A07 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910795088403321 |
Providence, Rhode Island : , : American Mathematical Society, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ordered algebraic structures and related topics : International Conference on Ordered Algebraic Structures and Related Topics, October 12-16, 2015, Centre international de rencontres mathematiques (CIRM), Luminy, France / / Fabrizio Broglia [and four others], editors |
Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , 2017 |
Descrizione fisica | 1 online resource (390 pages) : illustrations |
Disciplina | 511.33 |
Collana | Contemporary mathematics |
Soggetto topico |
Ordered algebraic structures
Model theory Geometry, Algebraic Forms, Quadratic Semigroups |
ISBN | 1-4704-4222-1 |
Classificazione | 03CXX06FXX11EXX12-xx14PXX14QXX32SXX44A6054C3058A07 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910810010303321 |
Providence, Rhode Island : , : American Mathematical Society, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Potential theory on infinite networks / Paolo M. Soardi |
Autore | Soardi, Paolo M. |
Pubbl/distr/stampa | Berlin : Springer-Verlag, c1994 |
Descrizione fisica | viii, 187 p. ; 24 cm. |
Disciplina | 515.6 |
Collana | Lecture notes in mathematics, 0075-8434 ; 1590 |
Soggetto topico |
Discrete geometry
Model theory Potential theory |
ISBN | 354058448X |
Classificazione |
AMS 03C
AMS 31C AMS 52C AMS 60B AMS 60J AMS 94C |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001235129707536 |
Soardi, Paolo M.
![]() |
||
Berlin : Springer-Verlag, c1994 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 : computation and proof theory, part 2 / / edited by M. M. Richter (and four others) |
Edizione | [1st ed. 1984.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1984] |
Descrizione fisica | 1 online resource (X, 482 p.) |
Disciplina | 511.3 |
Collana | Lecture Notes in Mathematics |
Soggetto topico |
Logic, Symbolic and mathematical
Model theory |
ISBN | 3-540-39119-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contiguous R.E. Degrees -- Abstract construction of counterexamples in recursive graph theory -- Minimal degrees and 1-generic sets below 0? -- Undecidability and recursive equivalence II -- Logical syntax and computational complexity -- Subrecursive hierarchies via direct limits -- A star-finite relational semantics for parallel programs -- Between constructive and classical mathematics -- Partial closures and semantics of while: Towards an iteration-based theory of data types -- Toward logic tailored for computational complexity -- On a new notion of partial conservativity -- Finitely approximable sets -- A unified approach to constructive and recursive analysis -- On faithful interpretability -- Abstract recursion as a foundation for the theory of algorithms -- Some logical problems connected with a modular decomposition theory of automata -- Diophantine equations in a fragment of number theory -- Generalized rules for quantifiers and the completeness of the intuitionistic operators &, ?, ?, ?, ?, ? -- On subsets of the Skolem class of exponential polynomials -- Effective operators in a topological setting -- An axiomatization of the apartness fragment of the theory DLO+ of dense linear order. |
Record Nr. | UNISA-996466863003316 |
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1984] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
QSPR/QSAR Analysis Using SMILES and Quasi-SMILES [[electronic resource] /] / edited by Alla P. Toropova, Andrey A. Toropov |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (470 pages) |
Disciplina | 542.85 |
Collana | Challenges and Advances in Computational Chemistry and Physics |
Soggetto topico |
Chemistry—Data processing
Quantum physics Computer simulation Chemistry, Physical and theoretical Model theory Computational Chemistry Quantum Simulations Theoretical Chemistry Model Theory |
ISBN | 3-031-28401-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I - Theoretical conceptions -- Fundamentals of mathematical modeling of chemicals through QSPR/QSAR -- Molecular descriptors in QSPR/QSAR modeling -- Application of SMILES to cheminformatics and generation of optimum SMILES descriptors using CORAL software -- Part II - SMILES based descriptors -- All SMILES Variational Autoencoder for Molecular Property Prediction and Optimization -- SMILES based bioactivity descriptors to model the anti-Dengue virus activity: A case study -- Part III - SMILES for QSPR/QSAR with optimal descriptors -- QSPR models for prediction of redox potentials using optimal descriptors -- Building up QSPR for polymers endpoints by using SMILES-based optimal descriptors -- Part IV - Quasi-SMILES for QSPR/QSAR -- Quasi-SMILES based QSPR/QSAR modeling -- Quasi-SMILES Based Mathematical Model for the Prediction of Percolation Threshold for Conductive Polymer Composites -- On the possibility to build up the QSAR model of different kinds of inhibitory activity for a large list of Human Intestinal Transporter using quasi-SMILES -- Quasi-SMILES as a tool for peptide QSAR modelling -- Part V - SMILES and quasi-SMILES for QSPR/QSAR -- SMILES and quasi-SMILES descriptors in QSAR/QSPR modeling of diverse materials properties in safety and environment application -- SMILES and quasi-SMILES in QSAR Modeling for Prediction of Physicochemical and Biochemical Properties -- Part VI - Possible ways of nano-QSPR/nano-QSAR evolution -- The CORAL software as a tool to develop models for nanomaterials’ endpoints -- Employing Quasi-SMILES notation in development of nano-QSPR models for nanofluids -- Part VII - Possible ways of QSPR/QSAR evolution in the future -- On complementary approaches of assessing the predictive potential of QSPR/QSAR-models -- CORAL: Predictions of Quality of Rice based on Retention index using a combination of Correlation intensity index and Consensus modelling. |
Record Nr. | UNINA-9910731465303321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Realizability [[electronic resource] ] : an introduction to its categorical side / / Jaap van Oosten |
Autore | Oosten Jaap van |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Oxford, : Elsevier, 2008 |
Descrizione fisica | 1 online resource (327 p.) |
Disciplina |
511.3
612.843 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico |
Logic, Symbolic and mathematical
Model theory |
ISBN |
1-281-16508-5
9786611165086 0-08-056006-7 1-4356-2874-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; Realizability: An Introduction to its Categorical Side; Copyright Page; Preface; Introduction; Table of Contents; Chapter 1 Partial Combinatory Algebras; 1.1 Basic definitions; 1.1.1 Pairing, Booleans and Definition by Cases; 1.2 P(A)-valued predicates; 1.3 Further properties; recursion theory; 1.3.1 Recursion theory in pcas; 1.4 Examples of pcas; 1.4.1 Kleene's first model; 1.4.2 Relativized recursion; 1.4.3 Kleene's second model; 1.4.4 K2 generalized; 1.4.5 Sequential computations; 1.4.6 The graph model P(ω); 1.4.7 Graph models; 1.4.8 Domain models; 1.4.9 Relativized models
1.4.10 Term models1.4.11 Pitts' construction; 1.4.12 Models of Arithmetic; 1.5 Morphisms and Assemblies; 1.6 Applicative morphisms and S-functors; 1.7 Decidable applicative morphisms; 1.8 Order-pcas; Chapter 2 Realizability triposes and toposes; 2.1 Triposes; 2.1.1 Preorder-enriched categories; 2.1.2 Triposes: definition and basic properties; 2.1.3 Interpretation of languages in triposes; 2.1.4 A few useful facts; 2.2 The tripos-to-topos construction; 2.3 Internal logic of C[P] reduced to the logic of P; 2.4 The 'constant objects' functor; 2.5 Geometric morphisms Chapter 3 The Effective Topos3.1 Recapitulation and arithmetic in εff; 3.1.1 Second-order arithmetic in εff; 3.1.2 Third-order arithmetic in εff; 3.2 Some special objects and arrows in εff; 3.2.1 Closed and dense subobjects; 3.2.2 Infinite coproducts and products; 3.2.3 Projective and internally projective objects, and choice principles; 3.2.4 εff as a universal construction; 3.2.5 Real numbers in εff; 3.2.6 Discrete and modest objects; 3.2.7 Decidable and semidecidable subobjects; 3.3 Some analysis in εff; 3.3.1 General facts about R; 3.3.2 Specker sequences and singular coverings 3.3.3 Real-valued functions3.4 Discrete families and Uniform maps; 3.4.1 Weakly complete internal categories in εff; 3.5 Set Theory in εff; 3.5.1 The McCarty model for IZF; 3.5.2 The Lubarsky-Streicher-Van den Berg model for CZF; 3.5.3 Well-founded trees and W-Types in εff; 3.6 Synthetic Domain Theory in εff; 3.6.1 Complete partial orders; 3.6.2 The synthetic approach; 3.6.3 Elements of Synthetic Domain Theory; 3.6.4 Models for SDT in εff; 3.7 Synthetic Computability Theory in εff; 3.8 General Comments about the Effective Topos; 3.8.1 Analogy between ▿ and the Yoneda embedding 3.8.2 Small dense subcategories in εff |
Record Nr. | UNINA-9910777303903321 |
Oosten Jaap van
![]() |
||
Oxford, : Elsevier, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Realizability [[electronic resource] ] : an introduction to its categorical side / / Jaap van Oosten |
Autore | Oosten Jaap van |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Oxford, : Elsevier, 2008 |
Descrizione fisica | 1 online resource (327 p.) |
Disciplina |
511.3
612.843 |
Collana | Studies in logic and the foundations of mathematics |
Soggetto topico |
Logic, Symbolic and mathematical
Model theory |
ISBN |
1-281-16508-5
9786611165086 0-08-056006-7 1-4356-2874-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Front Cover; Realizability: An Introduction to its Categorical Side; Copyright Page; Preface; Introduction; Table of Contents; Chapter 1 Partial Combinatory Algebras; 1.1 Basic definitions; 1.1.1 Pairing, Booleans and Definition by Cases; 1.2 P(A)-valued predicates; 1.3 Further properties; recursion theory; 1.3.1 Recursion theory in pcas; 1.4 Examples of pcas; 1.4.1 Kleene's first model; 1.4.2 Relativized recursion; 1.4.3 Kleene's second model; 1.4.4 K2 generalized; 1.4.5 Sequential computations; 1.4.6 The graph model P(ω); 1.4.7 Graph models; 1.4.8 Domain models; 1.4.9 Relativized models
1.4.10 Term models1.4.11 Pitts' construction; 1.4.12 Models of Arithmetic; 1.5 Morphisms and Assemblies; 1.6 Applicative morphisms and S-functors; 1.7 Decidable applicative morphisms; 1.8 Order-pcas; Chapter 2 Realizability triposes and toposes; 2.1 Triposes; 2.1.1 Preorder-enriched categories; 2.1.2 Triposes: definition and basic properties; 2.1.3 Interpretation of languages in triposes; 2.1.4 A few useful facts; 2.2 The tripos-to-topos construction; 2.3 Internal logic of C[P] reduced to the logic of P; 2.4 The 'constant objects' functor; 2.5 Geometric morphisms Chapter 3 The Effective Topos3.1 Recapitulation and arithmetic in εff; 3.1.1 Second-order arithmetic in εff; 3.1.2 Third-order arithmetic in εff; 3.2 Some special objects and arrows in εff; 3.2.1 Closed and dense subobjects; 3.2.2 Infinite coproducts and products; 3.2.3 Projective and internally projective objects, and choice principles; 3.2.4 εff as a universal construction; 3.2.5 Real numbers in εff; 3.2.6 Discrete and modest objects; 3.2.7 Decidable and semidecidable subobjects; 3.3 Some analysis in εff; 3.3.1 General facts about R; 3.3.2 Specker sequences and singular coverings 3.3.3 Real-valued functions3.4 Discrete families and Uniform maps; 3.4.1 Weakly complete internal categories in εff; 3.5 Set Theory in εff; 3.5.1 The McCarty model for IZF; 3.5.2 The Lubarsky-Streicher-Van den Berg model for CZF; 3.5.3 Well-founded trees and W-Types in εff; 3.6 Synthetic Domain Theory in εff; 3.6.1 Complete partial orders; 3.6.2 The synthetic approach; 3.6.3 Elements of Synthetic Domain Theory; 3.6.4 Models for SDT in εff; 3.7 Synthetic Computability Theory in εff; 3.8 General Comments about the Effective Topos; 3.8.1 Analogy between ▿ and the Yoneda embedding 3.8.2 Small dense subcategories in εff |
Record Nr. | UNINA-9910813535403321 |
Oosten Jaap van
![]() |
||
Oxford, : Elsevier, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|