Pages that link to "Item:Q365661"
From MaRDI portal
The following pages link to A note on definability in fragments of arithmetic with free unary predicates (Q365661):
Displayed 6 items.
- Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
- Reasoning about arbitrary natural numbers from a Carnapian perspective (Q2323694) (← links)
- Some new results in monadic second-order arithmetic (Q3195649) (← links)
- Quantifying over events in probability logic: an introduction (Q4593244) (← links)
- Elementary invariants for quantified probability logic (Q6095192) (← links)
- Universal first-order quantification over automata (Q6199866) (← links)