145 results on '"Venturi, Giorgio"'
Search Results
2. Modelling Afthairetic Modality
3. A Logic of Isolation
4. Ecumenical Propositional Tableau
5. A Logic of Isolation
6. What model companionship can say about the Continuum problem
7. How to make (mathematical) assertions with directives
8. Axioms and Postulates as Speech Acts
9. Formal Ontology and Mathematics. A Case Study on the Identity of Proofs
10. Second order arithmetic as the model companion of set theory
11. The model companions of set theory
12. Infinite forcing and the generic multiverse
13. Ideal Objects for Set Theory
14. ZF Between Classicality and Non-classicality
15. Speech acts in mathematics
16. Infinite Forcing and the Generic Multiverse
17. Reflexive insensitive modal logics
18. WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM.
19. Preservation of a Souslin tree and side conditions
20. CANTOR MEETS ROBINSON CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Campinas, Brazil December 12–15, 2018
21. Proper forcing remastered
22. A direct proof of the five element basis theorem
23. Naturalness in Mathematics
24. Cantor E L’infinito
25. WHAT MODEL COMPANIONSHIP CAN SAY ABOUT THE CONTINUUM PROBLEM
26. Forcing, Multiverse and Realism
27. INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES.
28. Linear models and set theory
29. PRESERVATION OF SUSLIN TREES AND SIDE CONDITIONS
30. User-Centred Evaluation and Organisational Acceptability of a Distributed Repository to Support Communities of Learners
31. Coq Formalization of a Tableau for the Classical-Intuitionistic Propositional Fragment of Ecumenical Logic
32. Thin Objects Are Not Transparent.
33. Second order arithmetic as the model companion of set theory
34. Many-Valued Logics and Bivalent Modalities
35. Thin Objects Are Not Transparent
36. Logics of Ignorance and Being Wrong.
37. Naturalness in Mathematics
38. $$\mathrm {ZF}$$ Between Classicality and Non-classicality
39. Logics of Ignorance and Being Wrong
40. Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness
41. At least one black sheep: Pragmatics and mathematical language
42. INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES
43. From Plato to Weil and beyond: Genericity through the history of mathematics
44. A Non-Standard Kripke Semantics for the Minimal Deontic Logic
45. User-Centred Evaluation and Organisational Acceptability of a Distributed Repository to Support Communities of Learners
46. On Forms of Justification in Set Theory
47. Speech acts in mathematics
48. Tableaux for essence and contingency
49. Rejoinder
50. Tableaux for essence and contingency.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.