5
votes
2answers
108 views

Finite Model Theory

It seems that finite model theory is regarded (in a sense) as a computer theoretic subject. Is this the case or are there questions of interest that are of interest to mathematical logicians or more ...
5
votes
5answers
345 views

Are there finitely many interesting theorems? [closed]

I'm not a logician, I read, a long time ago, about Gödel etc... A theorem is a provable proposition under a system of axiom. Let's take the usual system of ZFC. Of course, the notion interesting is ...
1
vote
1answer
157 views

Recommendation on a rigorous and deep introductory logic textbook

In this post, I don't mean any word by its somewhat "mathematical or logical" meaning but just "literally". It's been three years since I started "formal" mathematics, and now I'm familiar with set ...
2
votes
1answer
70 views

Can axioms of the Euclidean space be proven in the Real space?

I'm not a mathematical logic student so my question can be naïve. I'm thinking if we identify $\Bbb{E}^2$ with $\Bbb{R}^2$( as a normed space with the Euclidean norm), Then can we prove all Euclidean ...
3
votes
2answers
124 views

Should axioms be viewed as part of the signature?

I included category theory in the tags in order to get feedback from the categorial logic community. It goes without saying that this isn't really category theory. A semigroup can be defined as a ...
6
votes
1answer
458 views

What's the best way to teach oneself both Category Theory & Model Theory?

I've done a bit of reading around both Category Theory & Model Theory (CT & MT) as a novice in each field. I'm interested in how they might combine, particularly when applied to Algebra. [So ...
4
votes
2answers
162 views

Why am I learning model theory?

This is kind of a big squooshy question (or series of questions), which I will try to cast in a more precise form. Apologies if I don't succeed. Context: I'm an amateur set theory/category theory ...
3
votes
1answer
202 views

What's correspondence between the model theoric and the set theoric kernel of homomorphism?

A kernel of a mapping $h$ from $\mathfrak{A}$ to $\mathfrak{B}$, generally, is an equivalence relation $\{(a,a') \in \mathfrak{A} \times \mathfrak{A} \mid h(a)=h(a')\}$. However, in model theory, ...
4
votes
1answer
159 views

Meaning of quote: “model theory = algebraic geometry - fields”?

On the wikipedia article for model theory, it says that a modern definition of model theory is "model theory = algebraic geometry - fields" and cites Hodges, Wilfrid (1997). A shorter model theory. ...
25
votes
4answers
1k views

Is $\mathbb{N}$ impossible to pin down?

I don't know if this is appropriate for math.stackexchange, or whether philosophy.stackexchange would have been a better bet, but I'll post it here because the content is somewhat technical. In ZFC, ...
8
votes
1answer
162 views

Independence results that cannot be established by forcing.

I read the Wikipedia article on Absoluteness recently and found mention of Shoenfield’s Absoluteness Theorem, which states that if $ \phi $ is any $ \Sigma^{1}_{2} $- or $ \Pi^{1}_{2} $-sentence of ...
2
votes
2answers
75 views

Proving theorems about ZFC by proving them for an arbitrary model.

To prove that a statement follows from the group axioms, we typically write: Let $G$ denote an arbitrary group... Then... Thus, it s a theorem of the group axioms that... Presumably, this form ...
1
vote
2answers
73 views

Is there a formal notion of equivalence between structures with potentially different signatures?

What is the appropriate notion of equivalence between structures with potentially different signatures? Consider an example from abstract algebra. Whether a group is defined as a pair $(X,*),$ or as ...
4
votes
1answer
265 views

why algebraic structures?

According to wikipedia, an algebraic structure is an arbitrary set with one or more finitary operations defined on it. From a model theory perspective, I understand this definition as: structure with ...
14
votes
2answers
303 views

Applications of model theory to analysis

Some of the more organic theories considered in model theory (other than set theory, which, from what I've seen, seems to be quite distinct from "mainstream" model theory) are those which arise from ...
6
votes
3answers
250 views

Model Theory and Topology Connections

I have studied a bit of model theory, when I say "a bit" I have studied much more than is available to a typical undergraduate in the UK (i think, certainly from what I have seen) but I am sure this ...
9
votes
1answer
1k views

Choosing a Master Thesis Topic: Logic - Model Theory

I am a first-year graduate student in maths. Around these days, I feel I must decide on which exact part of mathematics I shall go through. Infact, I have narrowed down the suitable options but still ...
8
votes
3answers
2k views

Is Foundational Research a Dead Field?

I'm a second year mathematics major at a pretty good school. Ever since I became a math major I have been most interested in set theory and logic, which I guess can be lumped into the category of ...
14
votes
3answers
602 views

Comparing Category Theory and Model Theory (with examples from Group Theory).

The following question eats my brain: The standard definition of a "category" and a list of examples following this definition confuses me. My question is simple: (Q1)If someone write "the category ...
2
votes
0answers
70 views

Comparing symbolic and analog descriptions

I've never seen the following comparison before. Let me start with a specific example: Given a finite structure with two symmetric binary relations, i.e. a graph $G$ with one vertex set $V$ and two ...