Model theory is the study of (classes of) mathematical structures (e.g. groups, fields, graphs, universes of set theory) using tools from mathematical logic. Objects of study in model theory are models for formal languages which are structures that give meaning to the sentences of these formal ...

learn more… | top users | synonyms

12
votes
0answers
258 views

complete, finitely axiomatizable, theory with 3 countable models

Does it exist a complete, finitely axiomatizable, first-order theory $T$ with exactly 3 countable non-isomorphic models? A few relevant comments: There is a classical example of a complete theory ...
12
votes
0answers
399 views

Non-axiomatisability and ultraproducts

Let $T$ be a first-order theory over a language $L$, and let $\mathcal{M}$ be a subclass of the class of models of $T$. As I understand it, if there is no theory $\hat{T}$ over $L$ whose class of ...
8
votes
0answers
176 views

Functoriality of the correspondence between oligomorphic actions and $\aleph_0$-categorical theories

If a group $G$ acts on a set $X$, then the action is said to be oligomorphic if the number of orbits of $X^n$ under the action is finite for each $n$. There is a classic theorem in model theory that ...
7
votes
0answers
73 views

Infinite palindromes in number of nonisomorphic posets is independent of $\mathsf{ZF}$

The following is an "exercise" in P. Stanley's book "Enumerative Combinatorics": Let $f(n)$ be the number of nonisomorphic $n$-element posets (...) let $\mathcal{P}$ denote the statement that ...
7
votes
0answers
289 views

Using the compactness theorem to show a set of first-order formula is equivalent to a set of quantifier-free formula

I am going through some theorems in Hodges' ``A shorter model theory'' and I have realized that I do not understand a certain argument regarding compactness. My question has two forms, I am sure that ...
6
votes
0answers
203 views

Gödel's Completeness Theorem and logical consequence

At the end of a long process of "rumination" on "old" math log textbooks, I've found the "missing link" - from my personal point of view - between some issues I've raised in the previous months : (i) ...
6
votes
0answers
223 views

Characterization of the First Order Theory of Ordered Abelian Groups via Quantifier Elimination

In the paper "Elimination of Quantifiers in Algebraic Structures" Macintyre, McKenna and van den Dries, proved that every field (ordered field) whose theory admits quantifier elimination in the ...
5
votes
0answers
50 views

Type-definable Forcing or forcing in a non-first order setting

Roughly speaking, in set forcing the forcing notion is a set from ground model's perspective and in class forcing its a definable subset of the ground model given by solutions of some formula with ...
5
votes
0answers
61 views

Axiomatizability of the multiplication of a ring

The operation of ring multiplication is axiomatizable, if we allow ourselves an additional auxillary addition symbol. Just write down the ring axioms in the signature $\{*,+\}$. But could ...
5
votes
0answers
139 views

ind-completion and functors which are full with respect to isomorphisms

Let $C$ and $D$ be categories and $F:C\rightarrow D$ a faithful functor which is full with respect to isomorphisms. This means that if $a,b\in C$ and $f:F(a)\rightarrow F(b)$ is an isomorphism in $D$, ...
5
votes
0answers
115 views

Model theory in terms of type spaces/Lindenbaum algebras

Are there any good references that go into some detail of known 'translations' between properties of the type space of a model and the model theoretic properties of the model? All I seem to find are ...
5
votes
0answers
332 views

Structuralist slogans

I am afraid to make a bad impression by misusing this forum but I am looking for as-many-as-possible mathematically inspired formulations and references to one (sometimes vague) idea. The idea is ...
4
votes
0answers
32 views

Morley’s Categoricity Theorem for uncountable languages.

Where can I find an accessible exposition of Shelah’s generalization of Morley’s theorem to uncountable languages? (Please, do not answer “Shelah’s Classification Theory”.)
4
votes
0answers
35 views

Multiplicative reducts of fields an elementary class?

Consider the multiplicative reducts of fields, that is fields except the addition operation is removed. We are considering the signature {*}, where * is an operator of arity 2. Is that class an ...
4
votes
0answers
75 views

Models of infinite groups and 'Group-like' objects

Let $G$ be an infinite group, and for simplicity, we will assume that $G$ is also countable. Now, with $G$ in mind, we construct a new language $L_G=\{f_{a_i\_},f_{\_a_i}:a_i\in G\}$ where ...
4
votes
0answers
52 views

Categorical description of permutation-invariance of models

One of my projects (which I should really leave to professionals, but I'm trying anyway) is trying to find a categorical description of the permutation-invariance of models of NF, if there is such a ...
4
votes
0answers
148 views

Formalizing model-theoretical large cardinals in a formal system for ZFC

I work with the Metamath formal system, which is expressive enough to define ZFC and prove some nontrivial stuff, but my current goal is to define large cardinals, and I'm hitting a wall somewhere ...
4
votes
0answers
191 views

What is the correspondence between the semantic compactness of logics and the compactness of Stone spaces?

According to the answer by François G. Dorais, we know that a logic $\mathfrak L$ is compact iff its Stone space of the Lindenbaum–Tarski algebra of the empty theory (w.r.t the deductive system) is ...
4
votes
0answers
124 views

Some intuition behind o-minimal systems.

I am following the definitions of an o-minimal system as defined in "Tame Topology and O-minimal Structures" by Lou van den Dries. It is immediate from the definition that the graph of $\sin(x)$ is ...
4
votes
0answers
113 views

is a group that eliminates quantifiers in the group language Abelian?

Let $G$ be a group. Consider it as a structure in the language of groups $L=(e,\cdot, (-)^{-1})$. Suppose that $G$ eliminates quantifiers in this language. Is it true that $G$ must be Abelian then? ...
3
votes
0answers
53 views

(stability-theoretic) ¨weakly normal groups" are closed under subgroups

Let me first introduce two definitions: For a structure $\mathcal{M}$ in a language $\mathscr{L}$ and a subset $X \subseteq M^n$, the fully induced structure on $X$ is a structure $\mathcal{X}$ with ...
3
votes
0answers
27 views

Saturated model for Th(Z,+,-,0,1)?

How an $\omega$-saturated model for the theory T=Th(Z,+,-,0,1) is made ? Can you give me some concrete example?
3
votes
0answers
48 views

Proving amalgamation property in model theory

Restate the proposition Suppose $\mathcal{M}_0$, $\mathcal{M}_1$, and $\mathcal{M}_2$ are $\mathcal{L}$-structures and $j_i ~:~ \mathcal{M}_0 \rightarrow \mathcal{M}_i, ~(i = 1,2)$ is an elementary ...
3
votes
0answers
70 views

Suppose some theory T has countably many axioms, how many models of $T$ are there of cardinality $\aleph_1$,$\aleph_2$,$\aleph_{\omega_1}$?

Setting Let $\mathcal{L} = \{E\}$ where $E$ is a binary relation symbol. Let $T$ be the $\mathcal{L}$-theory of an equivalence relation with infinitely many infinite classes. So we see $T$ has ...
3
votes
0answers
76 views

Motivation behind automorphism bases?

Given a model $\mathcal{M}$ with a domain $M$ and $B \subseteq M$, $B$ is an automorphism base for $\mathcal{M}$ iff $\forall f \in Aut(\mathcal{M}). (\forall b \in B. f(b)=b) \implies f = ...
3
votes
0answers
69 views

Consequence in $\mathcal{L}_{\infty\lambda}$

Consider the infinitary first-order language $\mathcal{L}_{\infty\lambda^+}$ whose non-logical vocabulary consists of $\lambda \geq \omega$ individual constants and countably many predicate constants ...
3
votes
0answers
57 views

Ordering of $\mathbb{R}$ not quantifier-free definable in $L_{R}$

I'm reading David Marker's book "Model Theory: An Introduction" and I'm trying to solve Exercise 3.4.24 which is stated as follows: Let $x$ and $y$ be algebraically independent over $\mathbb{R}$. a) ...
3
votes
0answers
41 views

Uncountably Categorical Theories and Embeddings

Suppose that $T$ is uncountably categorical. By the Baldwin-Lachlan Theorem, we note that $I(T,\aleph_0)=1$ or $\aleph_0$. Suppose that $I(T,\aleph_0)=\aleph_0$. Is it always the case that we get ...
3
votes
0answers
36 views

An affine group behaving like a field

This question is about an example of interpreting a field in an affine group, from Section 1.3 of Marker's Model theory: An introduction. Let $F$ be an infinite field and $G$ be the group of ...
3
votes
0answers
91 views

Prove that $\Pi_{i \in I} \mathbf{A}_i \cong \Pi_{j \in J} (\Pi_{i \in I_j} \mathbf{A}_i)$ where $\{I_j \ | \ j \in J\}$ is a partition of I.

My problem is following: prove that $\Pi_{i \in I} \mathbf{A}_i \cong \Pi_{j \in J} (\Pi_{i \in I_j} \mathbf{A}_i)$, where $\langle \mathbf{A}_i \ | \ i \in I \rangle$ is an indexed set of similar ...
3
votes
0answers
37 views

Let $h: A \to B$ be a weak homomorphism. Is h$[A]$ a substructure of $B$?

A little bit more precise: let $\mathfrak{A}$ and $\mathfrak{B}$ be two structures. Define a weak homomorphism as a function $h: \mathfrak{A} \to \mathfrak{B}$ such that the folowing conditions are ...
3
votes
0answers
99 views

Countable transitive $T \vDash ZFC-P$ with $\approx$ not absolute: why do we need $H(\aleph_3)$?

I am trying to solve Exercise IV.3.31 from Kunen's Foundations of Mathematics. I think I have a solution but I am confused by one of the hints. By request, here is the text of the exercise. ...
3
votes
0answers
79 views

Examples of Jónsson Models

Let $T$ be a complete first order theory. Suppose that $M\models T$. Then, $M$ is said to be a Jónsson Model of $T$ if for all $N$, such that $N\prec M$ and $N\models T$, we have $|N|<|M|$ (Note ...
3
votes
0answers
78 views

Finding a finite model

Hello I am having difficulty with this question, I am not even sure what strategy one would go about proving something like this: Suppose $L$ is a language which includes an infinite list ...
3
votes
0answers
164 views

Defining “structured sets”

In his Notes on Set Theory (p. 44) Moschovakis defines: A structured set is a pair $U = (A,S)$ where $A$ is a set, the space of $U$, and $S$ is an arbitrary object, the frame of $U$. But even ...
3
votes
0answers
70 views

Question on a Theorem from Chang-Keisler's Model Theory concerning $\Sigma^0_n$ sentences

The Theorem is 3.1.11 and states that for $n>0$ the following are equivalent : $\phi$ is equivalent both to a $\Sigma^0_{n+1}$ and a $\Pi^0_{n+1}$ sentence. $\phi$ is equivalent to a Boolean ...
3
votes
0answers
147 views

Crankery: Is there a perfect inner model of ZFC?

In the book "Aspects of Vagueness", the article "The alternative set theory and its approach to Cantor's set theory" by A. Sochor proposes the following definition: We will say that a set universe ...
3
votes
0answers
93 views

generating complete consistent theories

This is a model theoretic question. I was reading Kremer & Mints's Dynamic topological logic paper, and it mentioned that by a “standard argument”, every consistent formula is a member of some ...
3
votes
0answers
114 views

Online Model Theory Classes

Since "model theory" is kind of too general naming, I have encountered with lots of irrelevant results (like mathematical modelling etc.) when I searched for some videos on the special mathematical ...
3
votes
0answers
106 views

The Logic of Satisfiability?

I am aware of some study into the logic of provability. It is generally taken to be intermediate in strength between S4 and S5 modal logics. Is there corresponding study into something like the logic ...
3
votes
0answers
172 views

A question about a passage in Just/Weese's Basic Set Theory

I have a question regarding the following passage in Just/Weese (p 192), $\mathbf{V}$ denoting the cumulative hierarchy: "But consider the following situation: Where in "($\beta$)" does the ...
3
votes
0answers
87 views

An application of Descriptive set theory in Model theory.

In page 162 of D.Marker Model theory book he proved that the set $S_n(F,T)$ of all $F$-types realized by some $n$-tuple in some countable model of $T$ is analytic (this is with any $F$:= $countable$ ...
2
votes
0answers
39 views

Is there a 'largest' second-order categorical axiomatization of set theory, extended from ZFC2

While it's possible to obtain categorical second-order axiomatizations of set theory by extending ZFC2 with additional axioms (see [1]), these axioms seem somewhat arbitrary (e.g. adding an axiom that ...
2
votes
0answers
47 views

Show there is no elementary extension of $\mathbb{N}$ with an element between $0$ and 1

I have been presented with the follwing question and i want to see if the method i have used works, i have my doubts. We recall that M is an elementary extension of $N= \langle \mathbb{N}; +, ., 0, 1 ...
2
votes
0answers
34 views

Algebraic characterization of first order “operations” using limit ultrapowers

In his review http://projecteuclid.org/download/pdf_1/euclid.bams/1183537899 of the Chang and Keisler's classic book "Model Theory," M. Makkai writes: "… let us note that it is possible to formulate ...
2
votes
0answers
48 views

“Equivalence” of types in model theory

Unfortunately, my question is a bit vague. Since I was not able to find anything about it in the literature, I decided to ask it on this forum. Here it is: Let $A$ be a model in some language $L$. ...
2
votes
0answers
70 views

Examples of forcings which add no “definable” Aronjain tree

Maybe a bit board question but: Fixing a regular cardinal $\kappa$ in the ground model, I am looking for examples of set forcing notions which preserve regularity of $\kappa$ and add no new $\kappa$ ...
2
votes
0answers
36 views

When do finite linear orders have the same theory in MSO?

Let $\mathfrak A$ and $\mathfrak B$ be finite linears orders and $m<\omega$. Then we have $$\mathfrak A \equiv^m_{FO}\mathfrak B \quad\text{iff}\quad |A|=|B| \,\, \text{or}\,\, |A|,|B|\ge 2^m-1.$$ ...
2
votes
0answers
72 views

$\overline{\mathbb Q}$ and $\mathbb C$ same first order theory

How do you show that $\overline{\mathbb Q}$ (the algebraic closure of $\mathbb Q$) and $\mathbb C$ have the same first order theory over the signature $(0,1,+,\cdot)$?
2
votes
0answers
65 views

A universal formula is not equivalent to an existential formula

Suppose a formula is looks like the following: $\forall x_1 ... \forall x_n \alpha$ Where $\alpha$ is a formula free of quantifiers. And if $P$ is a 1-ary relation letter, then the formula ...