Pages that link to "Item:Q3820583"
From MaRDI portal
The following pages link to Cardinality logics. Part II: Definability in languages based on ‘exactly’ (Q3820583):
Displaying 7 items.
- Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
- Cardinality logics. I: Inclusions between languages based on ``exactly'' (Q1107521) (← links)
- Where do the natural numbers come from? (Q1202499) (← links)
- Exclusion problems and the cardinality of logical space (Q1696467) (← links)
- Expansions of MSO by cardinality relations (Q2871470) (← links)
- Regular tree languages, cardinality predicates, and addition-invariant FO (Q2904787) (← links)
- Fundamentals of Computation Theory (Q5900815) (← links)