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

3
votes
1answer
46 views

real closure of an archimedean field

my question is: Is an archimedean field dense in its real closure? I know that in the non-archimedean case, this does not have to be true (e.g., rational fucntions). Thanks!
3
votes
1answer
48 views

How can I imagine a model of $\mathsf{(ZF-Inf)} + \neg \mathsf{Con(ZF-Inf)}$?

Gödel's second incompleteness theorem states that if $\mathsf{ZF-Inf}$ is consistent, then $\mathsf{ZF-Inf} \nvdash \mathsf{Con(ZF-Inf)}$. Moreover, if $\mathsf{(ZF-Inf)} + \neg \mathsf{Con(ZF-Inf)}$ ...
3
votes
0answers
37 views

Best algebra text for Model Theory

I'm looking for an algebra book that is tailored towards some of the ideas in Model Theory, I'm currently slogging through Hodges' Model Theory. I'm a bit rusty with my algebra and was curious if ...
2
votes
1answer
61 views

Relations between Theories and Categories

I'm just toying around with some thoughts, trying to grock some concepts: It seems that every formal theory induces a locally small category via interpretations: its objects are structures that ...
2
votes
2answers
77 views

Uncountable models for integers

Part of Asaf Karagila's brilliant answer to one of my other questions puzzles me a lot. Namely, I find it hard to understand how there can be a model for ZFC with uncountably many integers. My ...
2
votes
1answer
82 views

Maximal model for $\Bbb R$?

I have not dealt professionally with set theory, so excuse me if my way of formulating this question does not completely follow standard terminology. Actually, my question is about whether or not the ...
3
votes
3answers
107 views

Ultrapower and hyperreals

The construction I've seen of the field of hyperreal numbers considers a non-principal ultrafilter $\mathcal{U}$ on $\mathbb{N}$, then takes the quotient of $\mathbb{R}^{\mathbb{N}}$ by equivalence ...
4
votes
1answer
32 views

When a subgroup of automorphism group of a structure is in the form of automorphism group of a substructure?

Question 1: Is the following statement true? ($*$) Let $\mathcal{L}$ be a first order language and $\mathcal{M}$ a $\mathcal{L}$-structure and $H\leq Aut(\mathcal{M})$ then there exists a ...
128
votes
1answer
3k views

Is there a 0-1 law for the theory of groups?

For each first order sentence $\phi$ in the language of groups, define : $$p_N(\phi)=\frac{\text{number of nonisomorphic groups $G$ of order} \le N\text{ such that } \phi \text{ is valid in } ...
8
votes
1answer
138 views

Is “PA has no non-standard models” consistent with ZF?

I have seen several proofs that there exist nonstandard models of arithmetic, but they all seem to rely on the compactness theorem, which is not implied by ZF. So are there any proofs in ZF that ...
-2
votes
0answers
56 views

Can we consider each first order structure as a pure set?

Pure sets are the simplest kind of first order structures in the language $\mathcal{L}=\emptyset$. As same as any other generalization, the notion of a first order structure preserves some properties ...
3
votes
1answer
46 views

A question about second-order logic and inaccessible cardinals.

Let $\kappa$ denote an inaccessible cardinal, and suppose $T \in V_\kappa$ is a second-order theory. Now consider some mathematical structure $X \in V_\kappa$. Then I think it is clear that $X \models ...
2
votes
1answer
27 views

Elementary equivalence of models

I'm quite new to model theory, so please correct me if I'm using wrong terminology. I need help with an exercise from Smirnov's book "Varieties of algebras" (In Russian). Problem: Assume that a ...
4
votes
1answer
64 views

Decision and the Uncountable Spectrum

In 2000, Hart, Hrushovski, and Laskowski classified all complete first order theories in a countable language up to their uncountable spectra. However, does this also imply that given a $any$ ...
1
vote
1answer
32 views

Relative Interpretations alla Kunen

at the moment I try to figure out some details of Kunen's "Relative Interpretation" Definition (within the 2013 Edition of his "Set Theory", p. 99 to 100): Definition If $\Lambda$ is some axioms ...
1
vote
1answer
57 views

Are algebraic structures required to satisfy axioms?

Is it a requirement for algebraic structures, when studying universal algebra, to satisfy axioms? The reason I ask is because algebraic structures are only defined by a underlying set, a signature, ...
1
vote
2answers
260 views

Axiom Systems and Formal Systems

I'm a really beginner in Mathematical Logic.I'm currently reading Shoenfield Mathematical's Logic and i'm having a hard time trying to relate the concept of Formal Systems with the concept of Axiom ...
-2
votes
0answers
60 views

Is the structure with sets and the ZFC axioms a model of the first order logic?

Wikipedia says ZFC is a one-sorted theory in first-order logic. The signature has equality and a single primitive binary relation, set membership, which is usually denoted ∈. The formula a ∈ b ...
1
vote
1answer
75 views

Is for every ultrahomogenous structure M the theory Th(M) model complete?

A structure M is ultrahomogenous if every isomorphism between finitely generated substructures of M can be extended to an automorphism of M. A theory is model complete if every embedding between ...
22
votes
1answer
494 views

Model existence for infinitary logics

One of the problems of infinitary logic is that it is possible for compactness to fail in a spectacular way: for example, one can concoct an inconsistent set of axioms whose proper subsets are all ...
6
votes
2answers
169 views

Model theory in group theory

I am interested in useful results for group theorists that can be shown using model theory. For example : Theorem: Let $\langle X \mid R \rangle$ be presentation of a group $G$ with $X$ finite and ...
-1
votes
0answers
35 views

Is an o-minimal structure equivalent to a totally ordered set?

Is the notion of o-minimality synonymous to a totally ordered set? Both notions seem to emanate from Tarski although he may not have discussed o-minimality explicitly...
2
votes
0answers
70 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 ...
1
vote
2answers
64 views

An Uncountable language , A Model of $\mathbb{N}$, A Problem.

Edit 1: I messed up my original question, but Arthur Fischer answered my question anyway. Edit 2: We can actually restrict $L$ to the language in arithmetic with the prdicate $P_{\mathbb{P}}$. ...
6
votes
1answer
104 views

Elementary equivalence of free groups

This must be known inside out by model theorists by I have no cluse whether the following is true or not: Denote by $F_n$ the free group on $n$ generators. Suppose that $n\neq m$. Are the groups ...
3
votes
2answers
103 views

Model-theory and Proof-theory in Propositional Logic

I'm trying to link results of model theory and proof-theory in propositional language. Here i will use $\models$ to denote logical consequence, in the model-theory sense. Being $x,y$ two formulas of ...
2
votes
3answers
233 views

Upper bound on cardinality of a field

Is there an upper bound on the cardinality of a field? The "biggest" fields I know are the field of real numbers, or the field of complex numbers. Is there a field with cardinality greater than ...
5
votes
1answer
113 views

Which logic is stronger? SOL or $\frak{L}_{\infty,\infty}$?

Both second-order logic($\mathsf{SOL}$) and infinitary first-order logic $\frak{L}_{\infty,\infty}$ are proper extensions of first-order logic($\mathsf{FOL}$), that is, are extensions of a ...
5
votes
1answer
67 views

Is infinitary logics $\mathcal{L}_{\infty\omega}$ an abstract logic?

Infinitary logics $\mathcal{L}_{\infty\omega}$ is an extension of first-order logics such that $\bigvee\Phi \in \mathcal{L}_{\infty\omega}$ if $\Phi$ is a set of ...
6
votes
1answer
78 views

Construction of Ultrafilters

I've been doing a lot of work with ultrapowers and saturation recently. In particular, I am reading chapter 6 of Chang and Keisler as well as Keisler's paper on "Ultraproducts which are not ...
1
vote
1answer
27 views

Is “constructible from” a transitive relation?

In Jech's Set Theory, exercise 13.27, it is hinted that $X \in L[Y]$ and $Y \in L[X]$ together imply $L[X]=L[Y]$. I tried to prove this fact without success, although I suspect the proof is simple. ...
2
votes
0answers
101 views

How large or small can the gap in Shelah's main gap theorem be, up to consistency?

Shelah's main gap theorem in model theory says: For each first order complete theory $T$ in a countable language if $I(T,\kappa)$ denotes the number of its models of size $\kappa$ then one of ...
1
vote
1answer
38 views

Is there an algebraic ω-categorical structure with quantifier eli., that is not ultrahomogenous?

The following result holds for relational structures: If $A$ is a countable structure, with an $\omega$−categorical theory $Th(A)$, that admits quantifier elimination, then $A$ is ultrahomogeneous. ...
2
votes
1answer
51 views

Why is $\alpha \mapsto L_{\alpha}[A]$ $\Delta_{1}$?

On page 187 of Jech's Set Theory, there is a proof sketch of the fact that $\alpha \mapsto L_{\alpha}$ is $\Delta_{1}$. As far as I can tell, Jech's argument only shows that this operation is ...
0
votes
0answers
37 views

Sets Constructible Relative To A Unary Predicate

The class $L$ of constructible sets is defined by recursion using the operation def$(M)=\{x \subset M: x$ is definable over $(M, \in) \}$. By adding a unary predicate, $P$, to our language, we can ...
14
votes
1answer
308 views

What lessons have mathematicians drawn from the existence of non-standard models?

So, as someone whose knowledge of mathematics has always come from studying it with an eye towards philosophical/foundational issues and studying it with other philosophers (who are not primarily ...
7
votes
2answers
184 views

Is the completeness theorem for first-order logic relative to one's choice of set theory?

By the completeness theorem for first-order logic, every consistent theory has a model. However, to even make sense of the word "model," I believe we're assuming a set theory. So is there a set theory ...
0
votes
0answers
36 views

Model-theory : questions regarding back-and-forth sets

See my previous post for the basic definitions from Jouko Väänänen, Models and Games (2011), page 54-on. See page 64 for : Definition 5.14 Suppose $\mathcal A$ and $\mathcal B$ are ...
10
votes
0answers
243 views

Number of automorphisms of saturated models

I have the following assignment question: Let $M$ be an $L$-model of cardinality $\kappa$. Assume $M$ is saturated. How can you show that $|\text{Aut}(M)|=2^{|M|}$? I see two possible ...
1
vote
1answer
46 views

Model-theory : questions regarding partial isomorphism

I'm having problems with the first pages of Bruno Poizat, A Course in Model: Theory An Introduction to Contemporary Mathematical Logic (ed or 1985), specifically with local isomorphism and back- and ...
2
votes
1answer
103 views

Cardinalities of Collections of Models

Let $T$ be a complete theory in a countable language (with only infinite models). Recall the spectrum function: $I(\aleph_\alpha,T)=$ the number of non-isomorphic models of $T$ of cardinality ...
2
votes
1answer
47 views

Does the countability of the structure matter for the connection between quantifier elimination, $\omega$-categorical and ultrahomogenous?

A relational structure $A$ with an $\omega-$categorical theory $Th(A)$ is ultrahomogenous iff $Th(A)$ admits quantifier elimination. I was wondering wether the structure $A$ has to be countable... ...
7
votes
1answer
155 views

Gödel's way of teaching non-standard models to Takeuti.

In Memoirs of a Proof Theorist, Gaisi Takeuti relates how Gödel taught him about nonstandard models in an "interesting" way: It went as follows. Let T be a theory with a nonstandard model. By ...
1
vote
1answer
70 views

Show that if $L$ is countable and contains a two-place predicate symbol, there are $2^{2^{\aleph_0}}$ classes of $L$-structures closed under $\equiv$

We say that a class of structures $K$ is closed under elementary equivalence ($\equiv$) if for all $A, B$, if $A \in K$ and $A \equiv B$, then $B \in K$. How to show that if $L$ (as a set of specific ...
4
votes
1answer
71 views

Model of complete extension of Zermelo set theory

Chang and Keisler's Model theory gives the following exercise problem: Prove that there is a complete extension $T$ of Zermelo set theory which has arbitrary large natural models. (A model ...
0
votes
1answer
52 views

Why are there $\leq$ $2^{\operatorname{card}(\operatorname{Form}(L))}$ elementarily nonequivalent structures for $L$?

Let $L$ be a set of specific symbols and $\operatorname{Form}(S)$ be the set of all first-order formulas over $L$. Why are there $\leq$ $2^{\operatorname{card}(\operatorname{Form}(L))}$ ...
2
votes
1answer
56 views

How to prove that $max(\aleph_{0}, card(X)) = max(\aleph_{0}, card(L(X)))$?

I struggle with the following problem. Let $X$ be a set of elementary sentences and $L(X)$ be the smallest elementary language in which we can express all the sentences from $X$. How to prove that ...
4
votes
1answer
46 views

A model which has only one undefinable element over a language with only a finite number of symbols

I try to solve the problem 1.3.14 in Chang and Keisler's Model theory: For each $n\in\omega$, find a model $\mathfrak{A}_n$ for $\mathcal{L}$ a language with only a finite number of symbols, which ...
6
votes
3answers
131 views

Can $(\Bbb N,\leq)$ have an $\aleph_0$-categorical theory (in a larger language)?

One of the nicer consequences of compactness is that there is no statement in first-order logic whose content "$\leq$ is a well-order". So we can show that there are countable structure $(M,\leq)$ ...
2
votes
0answers
38 views

Counter example of monotone union [duplicate]

I saw this exercise in "Elements of Abstract and Linear Algebra" by E. H. Connell: Suppose $G$ is a group. Suppose $T$ is an index set and for each $t \in T$, $H_t$ is a subgroup of $G$. Furthermore, ...