Pages that link to "Item:Q4645216"
From MaRDI portal
The following pages link to Implicit definability and infinitary logic in finite model theory (Q4645216):
Displaying 12 items.
- Recursive definitions and fixed-points on well-founded structures (Q654910) (← links)
- Iterated elementary embeddings and the model theory of infinitary logic (Q904149) (← links)
- How to define a linear order on finite models (Q1371431) (← links)
- The finite model property for the implicational fragment of IPC without exchange and contraction (Q1970644) (← links)
- A new model construction by making a detour via intuitionistic theories. II: Interpretability lower bound of Feferman's explicit mathematics \(T_0\) (Q2344720) (← links)
- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics (Q2851269) (← links)
- (Q3077956) (← links)
- (Q3778732) (← links)
- (Q4395613) (← links)
- (Q4681365) (← links)
- (Q4695118) (← links)
- Recursive Definitions and Fixed-Points (Q5178958) (← links)
