Pages that link to "Item:Q5642556"
From MaRDI portal
The following pages link to Persistent and invariant formulas relative to theories of higher order (Q5642556):
Displayed 16 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Robinson forcing is not absolute (Q1245825) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES (Q3577747) (← links)
- End-extensions preserving power set (Q3981458) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- Predicative provability in set theory (Q5527011) (← links)
- (Q5544276) (← links)
- A survey of proof theory (Q5569099) (← links)
- (Q5572328) (← links)
- Implicit definability and infinitary languages (Q5591509) (← links)
- Infinitary logic and admissible sets (Q5618341) (← links)
- On the model theory of denumerably long formulas with finite strings of quantifiers (Q5643984) (← links)
- Infinitary formulas preserved under unions of models (Q5677454) (← links)