# Tagged Questions

120 views

### Standard satisfiability for sentences in the language of ordered Abelian groups! [closed]

Consider $\mathcal{L}$ as the language of ordered Abelian groups. Let $\varphi$ be an $\mathcal{L}$-sentence in first-order logic. (According to comments I modify the question. The original one is ...
269 views

### Compactness and completeness in Gödel logic

The standard proof of the completeness theorem in first-order Gödel logic is based on a first-order countable language. I want to know that is there any proof of the completeness theorem in ...
278 views

### Extending a partial order while preserving an automorphism

It is well known that if $(P, \leq)$ is a partial order then $\leq$ can always be extended to a linear order. This is sometimes called Szpilrajn´s theorem although it had been previously proved by ...
405 views

### Cantor theorem on orders

It is "a well-known theorem of Cantor", said Sierpinski (circa 1920), that every countable total order can be imbedded in the rationals, and he proceeds to demonstrate that, assuming the continuum ...
658 views

### Is $Ded(\kappa)<Ded(\kappa)^\omega$ consistent?

Hello, I want to ask if anyone can tells us what is known (consistently) about $Ded(\kappa)$, $\kappa$ an infinite cardinal. Definition If there is a dense linear order w/o endpoints of size ...
501 views

### Which countable linear orders are $\aleph_0$-categorical?

The question is: Which countable linear orders are $\aleph_0$-categorical? I have a bit of progress on this: Define a discrete tuple to be a set of elements, ordered discretely, such that if $a$ and ...