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.
Model theory and topoi [e-book] : a collection of lectures by various authors / edited by F. William Lawvere ... [et al.]
| Model theory and topoi [e-book] : a collection of lectures by various authors / edited by F. William Lawvere ... [et al.] |
| Pubbl/distr/stampa | Berlin : Springer, 1975 |
| Descrizione fisica | 1 online resource (345 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) | Lawvere, F. William |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 445 |
| Soggetto topico |
Model theory
Toposes |
| ISBN | 9783540374954 |
| Classificazione | AMS 03-06 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002172049707536 |
| Berlin : Springer, 1975 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory and topoi : a collection of lectures by various authors / edited by F. W. Lawvere ... [et al.]
| Model theory and topoi : a collection of lectures by various authors / edited by F. W. Lawvere ... [et al.] |
| Pubbl/distr/stampa | Berlin ; New York : Springer-Verlag, 1975 |
| Descrizione fisica | 354 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Maurer, Christian
Wraith, Gavin C. Lawvere, F. William |
| Collana | Lecture notes in mathematics, 0075-8434 ; 445 |
| Soggetto topico |
Model theory
Toposes |
| ISBN | 3540071644 |
| Classificazione | AMS 03-06 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149319707536 |
| Berlin ; New York : Springer-Verlag, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory for the real algebraic geometer / by Alexander Prestel
| Model theory for the real algebraic geometer / by Alexander Prestel |
| Autore | Prestel, Alexander |
| Pubbl/distr/stampa | Pisa ; Roma : Istituti editoriali e poligrafici internazionale, c1998 |
| Descrizione fisica | 77 p. ; 24 cm. |
| Disciplina | 516.35 |
| Soggetto topico |
Arithmetical algebraic geometry
Model theory |
| ISBN | 8881471477 |
| Classificazione | AMS 14P |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003690549707536 |
Prestel, Alexander
|
||
| Pisa ; Roma : Istituti editoriali e poligrafici internazionale, c1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory in algebra, analysis and arithmetic [e-book]: Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors
| Model theory in algebra, analysis and arithmetic [e-book]: Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori, editors |
| Pubbl/distr/stampa | Heidelberg [Germany] : Springer, 2014 |
| Descrizione fisica | 1 online resource (vii, 195 pages) |
| Disciplina | 511.34 |
| Altri autori (Persone) |
Dries, Lou : van denauthor
Macpherson, Dugald Toffalori, Carlo |
| Collana | Lecture Notes in Mathematics, 1617-9692 ; 2111 |
| Soggetto topico |
Model theory
Number theory |
| ISBN | 9783642549366 |
| Classificazione |
AMS 03-06
AMS 03C10 AMS 03C45 AMS 03C60 LC QA9.7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Some themes around first order theories without the independence property ; Lectures on the model theory of real and complex exponentiation ; Lectures on the model theory of valued fields ; Undecidability in number theory |
| Record Nr. | UNISALENTO-991002948539707536 |
| Heidelberg [Germany] : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori
| Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries, H. Dugald Macpherson, Carlo Toffalori |
| Pubbl/distr/stampa | Heidelberg [Germany] : Springer, c2014 |
| Descrizione fisica | vii, 195 p. ; 24 cm |
| Disciplina | 511.34 |
| Altri autori (Persone) |
Dries, Lou : van denauthor
Macpherson, Dugald Toffalori, Carlo |
| Collana | Lecture notes in mathematics, 1617-9692 ; 2111 |
| Soggetto topico |
Model theory
Number theory |
| ISBN | 9783642549359 |
| Classificazione |
AMS 03-06
AMS 03C10 AMS 03C45 AMS 03C60 LC QA9.7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Some themes around first order theories without the independence property -- Lectures on the model theory of real and complex exponentiation -- Lectures on the model theory of valued fields -- Undecidability in number theory |
| Record Nr. | UNISALENTO-991002948599707536 |
| Heidelberg [Germany] : Springer, c2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model theory of algebra and arithmetic : proceedings of the conference on Applications of logic to algebra and arithmetic, held at Karpacz, Poland, September 1-7, 1979 / / edited by L. Pacholski, J. Wierzejewski, A. J. Wilkie
| Model theory of algebra and arithmetic : proceedings of the conference on Applications of logic to algebra and arithmetic, held at Karpacz, Poland, September 1-7, 1979 / / edited by L. Pacholski, J. Wierzejewski, A. J. Wilkie |
| Edizione | [1st ed. 1980.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [1980] |
| Descrizione fisica | 1 online resource (VIII, 412 p.) |
| Disciplina | 511.34 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Model theory |
| ISBN | 3-540-38393-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Further remarks on the elementary theory of formal power series rings -- Elimination of quantifiers for non semi-simple rings of characteristic p -- The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings -- Existentially closed modules: Types and prime models -- Rings of continuous functions: Decision problems -- Weak partition relations, finite games, and independence results in Peano arithmetic -- Hensel fields in equal characteristic p>0 -- On polynomials over real closed rings -- Les corps faiblement algebriquement clos non separablement clos ont la propriete d’independance -- Horn-theories of abelian groups -- Two orderings of the class of all countable models of peano arithmetic -- Ramsey quantifiers in arithmetic -- Computational complexity of decision problems in elementary number theory -- Some diophantine nullstellensätze -- A tree analysis of unprovable combinatorial statements -- A hierarchy of cuts in models of arithmetic -- Cofinal extension preserves recursive saturation -- Some model theory and number theory for models of weak systems of arithmetic -- Applications of complexity theory to ?o-definability Problems in arithmetic -- Minimally saturated models -- Totally categorical theories: Structural properties and the non-finite axiomatizability. |
| Record Nr. | UNISA-996466643003316 |
| Berlin, Germany : , : Springer, , [1980] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Model theory with applications to algebra and analysis / Zoé Chatzidakis ... [et al.]
| Model theory with applications to algebra and analysis / Zoé Chatzidakis ... [et al.] |
| Pubbl/distr/stampa | Cambridge, UK : Cambridge University Press, 2008 |
| Descrizione fisica | 2 v. ; 23 cm |
| Disciplina | 511.34 |
| Altri autori (Persone) | Chatzidakis, Zoé Mariaauthor |
| Collana |
London Mathematical Society lecture note series, 0076-0552 ; 349
London Mathematical Society lecture note series, 0076-0552 ; 350 |
| Soggetto topico | Model theory |
| ISBN |
9780521709088 (v. 2)
0521709083 (v. 2) 9780521694841 (v. 1) 0521694841 (v. 1) |
| Classificazione |
AMS 03C60
LC QA9.7.M643 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991003915509707536 |
| Cambridge, UK : Cambridge University Press, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Model Validation and Uncertainty Quantification, Volume 3 [[electronic resource] ] : Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 / / edited by Roland Platz, Garrison Flynn, Kyle Neal, Scott Ouellette
| Model Validation and Uncertainty Quantification, Volume 3 [[electronic resource] ] : Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 / / edited by Roland Platz, Garrison Flynn, Kyle Neal, Scott Ouellette |
| Autore | Platz Roland |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (207 pages) |
| Disciplina | 624.171 |
| Altri autori (Persone) |
FlynnGarrison
NealKyle OuelletteScott |
| Collana | Conference Proceedings of the Society for Experimental Mechanics Series |
| Soggetto topico |
Engineering mathematics
Engineering - Data processing Computer science Civil engineering Model theory Mathematical statistics - Data processing Mathematical and Computational Engineering Applications Models of Computation Civil Engineering Model Theory Statistics and Computing |
| ISBN | 3-031-37003-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910760298303321 |
|
Platz Roland
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model Validation and Uncertainty Quantification, Volume 3 : Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 / / edited by Zhu Mao
| Model Validation and Uncertainty Quantification, Volume 3 : Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 / / edited by Zhu Mao |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (187 pages) |
| Disciplina |
624.1
624.171015118 |
| Collana | Conference Proceedings of the Society for Experimental Mechanics Series |
| Soggetto topico |
Statics
Buildings - Design and construction Model theory Buildings - Repair and reconstruction Buildings - Maintenance Mechanical Statics and Structures Building Construction and Design Model Theory Building Repair and Maintenance |
| ISBN | 3-030-77348-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Effect of Inspection Errors in Optimal Maintenance Decisions for Deteriorating Quoin Blocks in Miter Gates -- Chapter 2. Model Uncertainty Quantification and Updating of a Boundary Condition Model of a Miter Gate Using Strain Measurements -- Chapter 3. Fusion of Test and Analysis: Artemis I Booster to Mobile Launcher Interface Validation -- Chapter 4. Quantifying the Benefits of Structural Health Monitoring using Value of Information and Decision Risk Modeling -- Chapter 5. Error Localization Examples: Looking for a Needle in a Haystack -- Chapter 6. WaveImage Bridges the Gap Between Measurement and Simulation. An Application Example of How to Create a Modal Digital Twin using FE Model Updating -- Chapter 7. Virtual Sensing for Wind Turbine Blade Full Field Response Estimation in Operational Modal Analysis -- Chapter 8. Dynamics of a Non-Linear Oscillator: Dependencies on Extrinsic Conditions and Model Form Uncertainty -- Chapter 9. Uncertainty Quantification of a Cantilevered Pipeline Conveying Fluid with Motion Limiting Constraints -- Chapter 10. Playability of a 1734 Guarneri Cello: Info-Gap Robustness Analysis of Uncertainty -- Chapter 11. Uncertainty Quantification of Axially-Loaded Beams with Boundary Condition Imperfections -- Chapter 12. Parameter Uncertainties Effects on the Buckling Characteristics of Cylindrical Structures in Thermal Environment -- Chapter 13. The Beginnings of an Error-Based Framework for Digital Twins of Dynamic Systems -- Chapter 14. Hierarchical Bayesian Model Updating for Nonlinear Structures Using Response Time Histories -- Chapter 15. SLS Integrated Modal Test Uncertainty Quantification using the Hybrid Parametric Variation Method -- Chapter 16. A Forward Model Driven Structural Health Monitoring Paradigm: Damage Detection -- Chapter 17. Best Paper: Uncertainty Quantification of Inducer Eigenvalues using Conditional Assessment of Models and Modal Test of Simpler Systems -- Chapter 18. Application of Speaker Recognition x-Vectors to Structural Health Monitoring -- Chapter 19. Equation Discovery Using an Efficient Variational Bayesian Approach with Spike and Slab Priors -- Chapter 20. Bayesian Finite Element Model Updating Using an Improved Evolution Markov Chain Algorithm -- Chapter 21. Using Dead and Thermal Loads to Capture Behavioral Changes of a Cable-stayed Bridge -- Chapter 22. Vibration-Based Damage Detection Framework of Large Scale Structural Systems. |
| Record Nr. | UNINA-9910522920603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Model-theoretic logics / eds. J. Barwise, S. Feferman
| Model-theoretic logics / eds. J. Barwise, S. Feferman |
| Autore | Barwise, Jon |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1985 |
| Descrizione fisica | xviii, 893 p. ; 25 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) | Feferman, Solomon |
| Collana | Perspectives in mathematical logic |
| Soggetto topico | Model theory |
| ISBN | 0387909362 |
| Classificazione |
AMS 03-06
AMS 03C QA9.7.M58 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001149019707536 |
|
Barwise, Jon
|
||
| New York : Springer-Verlag, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Soggetto topico
-
Model theory
(147)
- Set theory (14)
- Logic, Symbolic and mathematical (13)
- Toposes (7)
- Trees (Graph theory) (7)