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

**5**

**0**answers

### Does this consequence of measurability in terms of games of length $\omega+1$ imply measurability?

**7**

**0**answers

### On the Number of Parallel Automorphism Lines

**33**

**7**answers

### Paradoxical Mathematical Objects Pending for Construction [duplicate]

**6**

**1**answer

### Interpreting a space in Baire space: how many facts do I need to understand the whole thing?

**2**

**1**answer

### Is any real closed extension of $\mathbb R$ characterized up to isomorphism by its ladder?

**0**

**0**answers

### Intuition of Łoś's theorem [on hold]

**3**

**1**answer

### Strongly reducible but not effectively interpretable

**-8**

**0**answers

### The heartbeat of the earth [closed]

**5**

**3**answers

### Formalizations of the idea that something is a function of something else?

**0**

**0**answers

### Can you clarify the apparent difference between two set theory proof techniques? [closed]

**15**

**1**answer

### Proof as a Σ₁ approximation to truth: what about higher degrees?

**11**

**1**answer

### Fixed points of injective self-maps

**27**

**1**answer

### Is this conjecture strictly weaker than P=NP?

**1**

**2**answers

### Time functions of non-deterministic Turing machines (a better question)

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

**10**

**1**answer

### Real numbers with given complexity

**-2**

**0**answers

### Set models of ZFC and their perspectives on themselves and on other models [migrated]

**1**

**1**answer

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

**5**

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

**19**

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

**5**

**1**answer

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

**4**

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

**5**

**0**answers

### Co-cones in the Turing degrees

**10**

**1**answer

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

**9**

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

**-1**

**0**answers

### Consistency of a modification of ZF with restricted comprehension

**12**

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

**24**

**1**answer

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

**7**

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

**3**

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