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

**1**answer

### Topologically Ordered Families of Disjoint Cantor Sets in $I$?

**4**

**0**answers

### Can there be a segment of regular cardinals with the tree property capped by an almost-strongly-compact?

**13**

**1**answer

### Real numbers with given complexity

**1**

**1**answer

### To what logic does the free Boolean sigma-algebra of countably many generators correspond to?

**6**

**1**answer

### Time functions of non-deterministic Turing machines

**8**

**2**answers

### Expressive power of FO with $\mu$

**10**

**1**answer

### Set-theoretical multiverses and their representation as functors? Why *the* multiverse?

**12**

**2**answers

### Set theory bootstrapping

**20**

**2**answers

### Mathematical Evidence Backing $|\mathbb{R}|=\aleph_2$

**3**

**3**answers

### How can you formalize the metamathematics conventionally used to state Godel’s theorem?

**5**

**1**answer

### Model theory of Banach algebras

**8**

**2**answers

### Models of arithmetic in a signature with exponentiation but not addition and multiplication

**9**

**1**answer

### Embeddings of Boolean algebras in $\wp(\omega)/Fin$

**13**

**1**answer

### Can the Induction axiom in the Peano arithmetic be replaced by the irrationality of $\sqrt{2}$?

**8**

**0**answers

### What metatheory proves cut elimination for Simple Type Theory?

**4**

**1**answer

### What are examples of non-equivalent virtualizations of a large cardinal?

**3**

**1**answer

### On the Actual Potential of Virtual Large Cardinals

**6**

**0**answers

### Does $0^{\#}$ imply that $L$'s set generic multiverse has irreconcilable theories?

**7**

**0**answers

### Co-cones in the Turing degrees

**9**

**1**answer

### On the Large Cardinal Strength of Normal Moore Space Conjecture

**10**

**0**answers

### Importance of Simple Theories

**6**

**1**answer

### Cohen generics over the ground model still Cohen over other generic extensions?

**15**

**1**answer

### What is the modal logic of outer multiverse?

**11**

**1**answer

### The Tall Tale of Terminating Transfinite Towers

**2**

**1**answer

### Can a type in a lower universe be formed from types in higher universes?

**2**

**1**answer

### Problem on reading Jech's set theory about forcing (of Lemma 15.19)

**4**

**1**answer

### Indecomposable ordinals and pseudointersection

**23**

**1**answer

### Forcing and Family Contentions: Who wins the disputes?

**8**

**1**answer

### Is there a function from a Suslin tree to itself which send compatible elements to incompatible elements?

**0**

**0**answers

### Example of a zero-knowledge protocol for a strictly Pi_n sentence?

**4**

**0**answers

### Non-special $\aleph_2$-Aronszajn trees in the Laver-Shelah model for $\aleph_2$-Souslin hypothesis

**9**

**0**answers

### Analogue of strong stationary reflection from MM

**-2**

**1**answer

### Can someone help me understand Curry's paradox? [closed]

**4**

**0**answers

### Generic two-cardinal behavior of first-order sentences

**10**

**1**answer

### The partial preorder on $\mathbb N$ generated by the finite axioms of choice

**0**

**0**answers

### Is this schema equivalent to Replacement under removal of Extensionality?

**0**

**1**answer

### Criterion of completeness

**5**

**1**answer

### Forall exists formula

**9**

**1**answer

### Elementary equivalence of monoidal categories =?

**8**

**0**answers

### Is Videla's solution of Hilbert's tenth problem for rational functions over field of characteristic 2 wrong?

**4**

**0**answers

### Does comprehension for formulas in the analytical hierarchy imply comprehension for all formulas in second-order arithmetic?

**4**

**1**answer

### How much homotopy type theory should be modeled by the unstable motivic category?

**2**

**1**answer

### What is the consistency strength of definable axiomatization of ZFC?

**9**

**2**answers

### On Applications of Forcing in Domain Theory

**6**

**1**answer

### distributivity of termspace forcing

**3**

**0**answers

### Upward confluence in the interaction calculus

**2**

**0**answers

### What is the consistency limit of accumulative typing below $\omega_1^{CK}$?

**9**

**0**answers

### ZF + “every Suslin set of reals is ${\bf \Sigma}^1_2$”

**8**

**1**answer

### Is every set smaller than a regular cardinal, constructively?

**3**

**1**answer