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.
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng
| Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng |
| Autore | Cheng, Yong |
| Pubbl/distr/stampa | Singapore, : Springer, 2019 |
| Descrizione fisica | xiv, 122 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Harrington's Principle
Higher order arithmetic Incompleteness L-cardinals Martin-Harrington Theorem Set Theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0127310 |
Cheng, Yong
|
||
| Singapore, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng
| Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng |
| Autore | Cheng, Yong |
| Pubbl/distr/stampa | Singapore, : Springer, 2019 |
| Descrizione fisica | xiv, 122 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Harrington's Principle
Higher-order arithmetics Incompleteness L-cardinals Martin-Harrington Theorem Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00127310 |
|
Cheng, Yong
|
||
| Singapore, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical Number Theory 1. : An Introduction / Craig Smorynski
| Logical Number Theory 1. : An Introduction / Craig Smorynski |
| Autore | Smoryński, Craig |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1991 |
| Descrizione fisica | x, 405 p. : ill. ; 24 cm |
| Soggetto topico |
01A80 - Sociology (and profession) of mathematics [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] |
| Soggetto non controllato |
Computability theory
Diophantine Equations Incompleteness Mathematical logic Number theory Proofs Recursion theory Undecidability |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00288214 |
|
Smoryński, Craig
|
||
| Berlin [etc.], : Springer-Verlag, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Second Generation General System Theory : : Perspectives in Philosophy and Approaches in Complex Systems / / Gianfranco Minati, Eliano Pessa, Ignazio Licata
| Second Generation General System Theory : : Perspectives in Philosophy and Approaches in Complex Systems / / Gianfranco Minati, Eliano Pessa, Ignazio Licata |
| Autore | Minati Gianfranco |
| Pubbl/distr/stampa | MDPI - Multidisciplinary Digital Publishing Institute |
| Descrizione fisica | 1 online resource (1 p.) |
| Soggetto non controllato |
Uncertainty
Noise Memory Less Functions Self-Organisation Complexity Design Meta-Structures Scale Invariance Organisations Quantum-Like Systems Emergence Observer Cybernetic Approach Power Laws Reaction Networks Simulations Uniqueness Irreversibility Systems Incompleteness Computation Non-Linearity Coherence |
| ISBN |
9783038424406
3038424404 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910220017603321 |
|
Minati Gianfranco
|
||
| MDPI - Multidisciplinary Digital Publishing Institute | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Systemics of Incompleteness and Quasi-Systems / Gianfranco Minati, Mario R. Abram, Eliano Pessa editors
| Systemics of Incompleteness and Quasi-Systems / Gianfranco Minati, Mario R. Abram, Eliano Pessa editors |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xxix, 351 p. : ill. ; 24 cm |
| Soggetto topico |
37-XX - Dynamical systems and ergodic theory [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
| Soggetto non controllato |
Complexity
Emergence Phenomena Incompleteness Network Science Post-Bertalanffy Systemics Quasi-Systems Quasiness Quasinetworks Systemics Systems science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0127175 |
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Systemics of Incompleteness and Quasi-Systems / Gianfranco Minati, Mario R. Abram, Eliano Pessa editors
| Systemics of Incompleteness and Quasi-Systems / Gianfranco Minati, Mario R. Abram, Eliano Pessa editors |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xxix, 351 p. : ill. ; 24 cm |
| Soggetto topico |
37-XX - Dynamical systems and ergodic theory [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] 93-XX - Systems theory; control [MSC 2020] |
| Soggetto non controllato |
Complexity
Emergence Phenomena Incompleteness Network Science Post-Bertalanffy Systemics Quasi-Systems Quasiness Quasinetworks Systemics Systems science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00127175 |
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||