# Questions tagged [lo.logic]

first-order and higher-order logic, model theory, set theory, proof theory, computability theory, formal languages, definability, interplay of syntax and semantics, constructive logic, intuitionism, philosophical logic, modal logic, completeness, Gödel incompleteness, decidability, undecidability, theories of truth, truth revision, consistency.

**4**

**0**answers

### Survey article model theory research

**3**

**1**answer

### A weak (?) form of Shelah cardinals

**0**

**0**answers

### Question about relation of admissibility and cofinality (of infinite-time functions)

**4**

**1**answer

### On Asymptotic classes of finite structures (2)

**0**

**1**answer

### Is the power set axiom essential for constructing L?

**12**

**2**answers

### How does proof assistant organize knowledge?

**0**

**0**answers

### Is second order ordinal arithmetic stronger than the multi-sorted first order based variant of it?

**6**

**2**answers

### Simple book on model theory

**7**

**0**answers

### Is Hilbert's tenth problem undecidable for multilinear polynomials in $\mathbb Z[x_1,\dots,x_n]$?

**5**

**0**answers

### Absolute formulas with high complexity

**3**

**0**answers

### $\mathcal{C}$-filtering of modules inherited by submodules

**8**

**1**answer

### Uncountable disjoint closed coverings of $[0,1]$

**2**

**1**answer

### On asymptotic classes of finite structures

**3**

**0**answers

### Can third-order arithmetic prove the consistency of second-order arithmetic?

**34**

**2**answers