Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah
View through CrossRef
AbstractA long series of conversations interweaving mathematical, historical and philosophical aspects of categoricity in model theory took place between the author and Saharon Shelah in 2016 and 2017. In this excerpt of that long conversation, we explore the relationship between explicit and implicit aspects of categoricity. We also discuss the connection with definability issues.
Title: Categoricity, External and Internal: An Excerpt from a Conversation with Saharon Shelah
Description:
AbstractA long series of conversations interweaving mathematical, historical and philosophical aspects of categoricity in model theory took place between the author and Saharon Shelah in 2016 and 2017.
In this excerpt of that long conversation, we explore the relationship between explicit and implicit aspects of categoricity.
We also discuss the connection with definability issues.
Related Results
Funkcije komunikacijski relevantne šutnje u njemačkome
Funkcije komunikacijski relevantne šutnje u njemačkome
Additionally, this chapter presents research of silence with review of main aspects of papers in the field of conversational analysis, ethnography of communication and metaphor of ...
Categoricity by convention
Categoricity by convention
AbstractOn a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by th...
Categoricity-like Properties in the First Order Realm
Categoricity-like Properties in the First Order Realm
By classical results of Dedekind and Zermelo, second order logic imposes categoricity features on Peano Arithmetic and Zermelo-Fraenkel set theory. However, we have known since Sko...
A Shelah group in ZFC
A Shelah group in ZFC
Abstract
In a paper from 1980, Shelah constructed an uncountable group all of whose proper subgroups are countable. Assuming the continuum hypothesis, he constructed an uncounta...
Computer-Mediated Chat
Computer-Mediated Chat
The technical apparatus is, then, being made at home with the rest of our world. And that's a thing that's routinely being done, and it's the source of the failure of technocratic ...
Exploring Large Language Models Integration in the Histopathologic Diagnosis of Skin Diseases: A Comparative Study
Exploring Large Language Models Integration in the Histopathologic Diagnosis of Skin Diseases: A Comparative Study
Abstract
Introduction
The exact manner in which large language models (LLMs) will be integrated into pathology is not yet fully comprehended. This study examines the accuracy, bene...
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory
AbstractI will give a brief overview of Saharon Shelah's work in mathematical logic. I will focus on three transformative contributions Shelah has made: stability theory, proper fo...
Second Order Logic or Set Theory?
Second Order Logic or Set Theory?
Abstract
We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is ...