Sign in
Model Theory and Proof Theory of the Global Reflection Principle.
Mateusz Lelyk
Published in:
J. Symb. Log. (2023)
Keyphrases
</>
probabilistic model
theoretical framework
proof theory
probability distribution
knowledge base