Pages that link to "Item:Q1262297"
From MaRDI portal
The following pages link to Absolutely independent axiomatizations for countable sets in classical logic (Q1262297):
Displaying 7 items.
- Independence-friendly logic and axiomatic set theory (Q598297) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Explicating logical independence (Q2301324) (← links)
- Some proofs of independence in axiomatic set theory (Q3237140) (← links)
- Theories of truth for countable languages which conform to classical logic (Q5148116) (← links)
- Deduktiv abgeschlossene Mengen ohne Basis (Q5813910) (← links)
- A system of completely independent axioms for the sequence of natural numbers (Q5846787) (← links)