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

**-1**

**2**answers

### On OR condition in Linear Programming with exponentially many constraints [closed]

**37**

**4**answers

### The symmetric group theory of natural numbers

**9**

**2**answers

### Does Easton forcing preserve measurable cardinals?

**6**

**1**answer

### Correspondence between proof-theoretic ordinals and fast growing functions?

**17**

**4**answers

### Constructively, is the unit of the “free abelian group” monad on sets injective?

**93**

**9**answers

### On Mathematical Arguments Against Quantum Computing

**21**

**1**answer

### When will the real numbers be Borel?

**5**

**1**answer

### Translating first order statements about symmetric groups into the language of numbers and back

**19**

**0**answers

### Is Feferman's unlimited category theory dead?

**3**

**1**answer

### Does cut elimination fail here?

**4**

**2**answers

### Categorification of spaces and models for set theory

**2**

**0**answers

### How to construct “inaccessible hypernatural”?

**5**

**1**answer

### Isn't a Shapiro-Wilk normality test assuming its conclusion?

**2**

**0**answers

### Is the quantifier-free fragment of Robinson arithmetic essentially undecidable?

**50**

**5**answers

### The Logic of Buddha: A Formal Approach

**4**

**1**answer

### A weak fragment of analysis?

**19**

**4**answers

### Mathematics without the principle of unique choice

**11**

**0**answers

### Does Foundation increase the strength of second-order logic?

**5**

**1**answer

### Can an uncountable model of Peano Arithmetic be recursive?

**5**

**1**answer

### What is the consistency strength of this theory?

**10**

**2**answers

### Consequences of foundation/regularity in ordinary mathematics (over ZF–AF)?

**4**

**3**answers

### Closed free subgroups of the automorphism group of the countable atomless boolean algebra

**13**

**2**answers

### What kind of category is generated by Cubical type theory?

**3**

**2**answers

### Stability and complete types (in Model Theory)

**8**

**1**answer

### Automated geometry theorem provers

**1**

**1**answer

### Can we have a nearily unrestricted class comprehension over predicates that do not mention the class membership symbol

**-3**

**1**answer

### What is the intuitive notion that ZF-Extensionality-Foundation+Collection can be said to capture? [closed]

**0**

**0**answers

### Decidability of mate-in-n for infinite chess with huygens piece

**11**

**2**answers

### Are all generalized Scott sets realized as generalized standard systems?

**8**

**9**answers

### Circular, or missing, definition in set theory?

**2**

**1**answer

### Concrete mathematical statements in relation to Choice versus Reinhardt cardinals?

**3**

**0**answers

### Singular compactness for stationary reflection?

**28**

**2**answers

### On the probability of the truth of the continuum hypothesis

**-4**

**1**answer

### Are there paradoxes in ZF + (the Axiom of Choice for finite sets)? [closed]

**7**

**2**answers

### On models of $Th_{\Pi_2}(PA)$

**4**

**1**answer

### How is this HA unprovable formula recursive realizable?

**6**

**1**answer

### Join Density in R.E. Degrees: Are there r.e. B, C with all r.e. X below B computable or C join X computes B

**14**

**1**answer

### Does every model of ZF-foundation have an extension, with no new well-founded sets, where every set is bijective with a well-founded set?

**13**

**2**answers

### Does foundation/regularity have any categorical/structural consequences, in ZF?

**0**

**0**answers

### How are incompleteness and independence proofs related?

**-3**

**2**answers

### Can there be an upper bound on definability of cardinal numbers in ZF? [closed]

**2**

**1**answer

### Is $Z_3+{\rm AD}$ equiconsistent with $\text{ZFC+AD}^{L(\mathbb{R})}$

**4**

**0**answers

### What is the shortest expression of finiteness? [closed]

**16**

**1**answer

### New articles by Errett Bishop on constructive type theory?

**2**

**1**answer

### Unorthodox constructive reasoning: The Kleene Getaway

**30**

**1**answer

### Is there a position in infinite Go for which the life of a particular stone has transfinite game value?

**3**

**0**answers

### A conservativity result of intuitionistic set theory over arithmetic

**7**

**1**answer

### Relations of axioms of choice

**20**

**1**answer

### Are classes still “larger” than sets without the axiom of choice?

**16**

**0**answers