LOGICALITY AND MODEL CLASSES
From MaRDI portal
Recommendations
Cites work
- A Remark On The Härtig Quantifier
- Absolute logics and L∞ω
- An interpolation theorem for denumerably long formulas
- An undecidable arithmetical statement
- Axioms for abstract model theory
- Boolean valued models and generalized quantifiers
- Compositionality solves Carnap's problem
- Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
- Dependence logic. A new approach to independence friendly logic
- Epistemic friction. An essay on knowledge, truth, and logic
- Gödel, Tarski and the lure of natural language. Logical entanglement, formalism freeness
- scientific article; zbMATH DE number 6003856 (Why is no real title available?)
- scientific article; zbMATH DE number 3941493 (Why is no real title available?)
- scientific article; zbMATH DE number 3670446 (Why is no real title available?)
- scientific article; zbMATH DE number 3494394 (Why is no real title available?)
- scientific article; zbMATH DE number 3608015 (Why is no real title available?)
- scientific article; zbMATH DE number 3634238 (Why is no real title available?)
- scientific article; zbMATH DE number 1273306 (Why is no real title available?)
- scientific article; zbMATH DE number 764208 (Why is no real title available?)
- scientific article; zbMATH DE number 3206304 (Why is no real title available?)
- scientific article; zbMATH DE number 3266609 (Why is no real title available?)
- scientific article; zbMATH DE number 3289403 (Why is no real title available?)
- scientific article; zbMATH DE number 3304035 (Why is no real title available?)
- scientific article; zbMATH DE number 3099236 (Why is no real title available?)
- Infinitary analogs of theorems from first order model theory
- Large infinitary languages. Model theory
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Logic, logics, and logicism
- Logical operations
- Logicality and Invariance
- Logicality and meaning
- Newman's Objection
- On a generalization of quantifiers
- On defining well-orderings
- On Extensions of Elementary Logic
- On Löwenheim-Skolem-Tarski numbers for extensions of first order logic
- On the role of supercompact and extendible cardinals in logic
- Set Theory
- Set-theoretical invariance criteria for logicality
- Some applications of model theory in set theory
- Strong axioms of infinity and elementary embeddings
- The bounds of logic. A generalized viewpoint
- The higher infinite. Large cardinals in set theory from their beginnings.
- The Härtig quantifier: a survey
- The Ways of Logicality: Invariance and Categoricity
- Turing machines and the spectra of first-order formulas
- What are logical notions?
- ZUM VERGLEICH VON HÄRTIGQUANTOR UND RESCHERQUANTOR
- Δ-extension and Hanf-numbers
- δ-Logics and generalized quantifiers
Cited in
(8)- A logical model of HCP
- scientific article; zbMATH DE number 823598 (Why is no real title available?)
- scientific article; zbMATH DE number 5064932 (Why is no real title available?)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY
- Logicality and Model Classes
- Logical constants and arithmetical forms
- Abstract logics as classifications of abstract structures
- On the absoluteness of generalized quantifiers with certain closure properties
This page was built for publication: LOGICALITY AND MODEL CLASSES
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5037517)
