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

**-2**

**0**answers

### Computable bound on the minimum number of negations to make a statement provable

**4**

**0**answers

### Is ZF + “all sets of reals have the Ramsey property” + “there is a set without the Baire property” consistent?

**4**

**0**answers

### Chains of length $2^\kappa$ in ${\cal P}(\kappa)$ [duplicate]

**4**

**0**answers

### Can we separate the almost-disjointness sunflower numbers?

**0**

**0**answers

### How does “spreading-with-determinacy” compare with Cichon's diagram?

**12**

**3**answers

### For ideals, does normal imply countably complete?

**6**

**1**answer

### Is this compactness property for “satisfiability on $\mathbb{R}$” consistent?

**3**

**1**answer

### Do escaping sets “uniformly” cover dominating sets under determinacy?

**0**

**1**answer

### What is the smallest countable limit ordinal in which 'lost melodies' occur

**6**

**1**answer

### Is the supremum of L-definable cardinals silver-indiscernible

**6**

**0**answers

### Can this weakish system of arithmetic express multiplication for second-sort numbers?

**6**

**1**answer

### Practical Benefits of HTT/univalent foundations for assisted proofs

**7**

**0**answers

### Can superstability of a countable theory be characterized in terms of not 'weakly trace interpreting' a particular structure?

**2**

**0**answers

### What is the strength of the single Replacement sentence?

**4**

**0**answers

### generate all possible theories compatible with axioms [migrated]

**6**

**0**answers

### Curry-Howard isomorphism: What is the logical counterpart of closure conversion?

**0**

**1**answer

### What's wrong with this argument for CON(ZFC)? [closed]

**4**

**0**answers

### Is the set of approximating sequences for irrationals dominating?

**12**

**2**answers

### Is “There exists an unbounded non-measurable set but no bounded non-measurable set” consistent with $\mathsf{ZF}$?

**14**

**1**answer

### What is the “Prikry–Silver collapse” when CH fails?

**14**

**1**answer

### What are internal complete atomic boolean algebras, intuitively?

**11**

**1**answer

### What is meant by a computational interpretation of univalence?

**7**

**1**answer

### Models with fixed cardinality of non-Lebesgue measurable sets

**1**

**0**answers

### Is this theory using defined notions of classes, sets, and membership interpretable in ZFC?

**6**

**1**answer

### How similar are the c.e. degrees and the CEA(Cohen) degrees?

**10**

**0**answers

### Definable constructions in o-minimal geometry

**6**

**1**answer

### 2-REA PA degrees

**2**

**0**answers

### A question on entailments in sequents

**0**

**1**answer

### Detecting non-negativity of a single constraint by polyhedral constraints - $I$

**5**

**2**answers

### Extending contents

**4**

**1**answer

### Coloring almost-disjointness

**0**

**0**answers

### What is the exact consistency strength of this type-set theory?

**6**

**0**answers

### Are initial segments of coherent measure sequences coherent?

**5**

**2**answers

### Assuming decidable equality but not LEM in HoTT

**1**

**0**answers

### About the sum $\sum_{n=1}^\infty \frac{1}{\mathrm{BB}(n)}$

**4**

**1**answer

### How to compare three supremums of ordinals eventually writable by Ordinal Turing Machines?

**31**

**3**answers

### Alternatives to the law of the excluded middle

**8**

**0**answers

### Bounded Diophantine sets

**2**

**0**answers

### Can we have $\sf V=HTD$? How it relates to $\sf V=HOD$?

**7**

**1**answer

### Categorical semantics of universe levels in dependent type theory

**3**

**2**answers

### Can Z + Ranks + Successor cardinals + Ordinal inaccessibility be equal to ZF?

**7**

**0**answers

### How much is known about the consistency strength of toposes and topos-like categories?

**6**

**3**answers

### Relationship between provable in $RCA_0$ and effectively true

**3**

**0**answers

### Intuitive (topological) explanation of a proof from the HoTT book [closed]

**4**

**1**answer

### Computable change in minimum word length of subgroup elements

**9**

**0**answers

### Decidable membership for subgroup generated by three elements in $F_2\times F_2$

**1**

**1**answer

### Russell's definite description and vacuous truth: a puzzle? [closed]

**0**

**1**answer

### What does the Concordant constructible universe model?

**7**

**0**answers

### Reduced power of an ordered field

**5**

**1**answer