# 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.

**3**

**1**answer

### Do “seemingly impossible functional programs” work with arrow types interpreted as Turing machines?

**4**

**1**answer

### Density character of a metric space is an Ulam number

**14**

**1**answer

### Do we know the consistency strength of the Singular Cardinal Hypothesis failing on an uncountable cofinality?

**12**

**1**answer

### End-extending cardinals

**2**

**2**answers

### Who first discovered the concept corresponding to the symbol of class comprehension?

**3**

**1**answer

### First-order logic of projective planes over fields [closed]

**1**

**0**answers

### Morley rank and forking in arbitrary theories

**4**

**0**answers

### Apart from Tarski's study, is there any other source that has been looking at the parallelism of concepts and theorems?

**13**

**2**answers

### Set-theoretical foundations of Mathematics with only bounded quantifiers

**10**

**1**answer

### Examples of Kreisel-Putnam topological spaces

**1**

**1**answer

### Self-embeddings of uncountable total orders

**5**

**1**answer

### Number of ultrafilters in an extender

**0**

**0**answers

### Existence of a stable approximation of a probability algebra

**2**

**0**answers

### Finite axiomatizability and $\mathrm{PA^{top}}$

**3**

**0**answers

### A consistent way to “decide” independent statements [closed]

**7**

**1**answer

### Cardinal characteristics of amorphous sets

**2**

**1**answer

### Complexity of deciding if an incomplete first-order theory has a stable completion

**1**

**0**answers

### Approximating $3SAT$ by polynomials

**12**

**1**answer

### Does this “mixable” property have a standard name in constructive mathematics?

**-2**

**0**answers

### Can every first order theory have a finitely axiomatizable conservative extension in this sense?

**21**

**1**answer

### Does “every” first-order theory have a finitely axiomatizable conservative extension?

**10**

**0**answers

### Sunflower / $\Delta$-system lemma in a more general poset?

**-3**

**0**answers

### Can we get rid of the primitive symbol $V$ in Ackermann's set theory without increment in consistency strength?

**4**

**0**answers

### Ultrapower of a field is purely transcendental

**8**

**2**answers

### Constructivist defininition of linear subspaces of $\mathbb{Q}^n$?

**5**

**1**answer

### Models of $\mathsf{ZFC}$ with neither $P$- nor $Q$-points

**0**

**1**answer

### Quantifier elimination and where is this quantified convex program in the polynomial hierarchy?

**2**

**2**answers

### (Types of) induction on infinite chains

**11**

**0**answers

### Ordinal-valued sheaves as internal ordinals

**4**

**0**answers

### Is Ackermann's set theory minus class comprehension equal to ZF?

**2**

**0**answers

### Is there a three valued logic whose game semantics corresponds to potentially infinite games?

**3**

**0**answers

### Definable modal logics in first-order structures

**5**

**1**answer

### Amorphous proper classes in MK

**0**

**0**answers

### Combinatorial Logic for Rigid Logic

**7**

**2**answers

### Logic with “co-relations” - sources?

**10**

**0**answers

### Connection between Provability Logic (GL) and geometry?

**8**

**1**answer

### Non-normal numbers definable without parameters in the langauge of differential rings with composition

**9**

**1**answer

### Fibers of the morphism from the free Heyting algebra to the free Boolean algebra

**0**

**0**answers

### Writing Values in Limited Time (Infinite Programs)

**1**

**0**answers

### Arithmetic that corresponds to combinatorial rectangles and cylinder intersections?

**9**

**1**answer

### A question on the ultrafilter number

**4**

**0**answers

### Continuous open self maps on Cantor space

**5**

**1**answer

### Amalgamation via elementary embeddings

**39**

**2**answers

### Ultrafilters as a double dual

**5**

**1**answer

### Which branches of mathematics can be done just in terms of morphisms and composition?

**4**

**2**answers

### Is the order arithmetic of the positive reals o-minimal?

**4**

**1**answer

### Formalize ignorance

**1**

**1**answer

### An Apparent Incongruity

**2**

**0**answers

### Length of Gaps in Clockable Values

**8**

**1**answer