The semantic view of theories and higher-order languages
From MaRDI portal
Publication:2052159
DOI10.1007/S11229-017-1502-0zbMATH Open1474.03025OpenAlexW2766028703WikidataQ59607728 ScholiaQ59607728MaRDI QIDQ2052159FDOQ2052159
Authors: Laurenz Hudetz 
Publication date: 25 November 2021
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-017-1502-0
Recommendations
Bourbakihigher-order logicsemantic view of theoriesequivalence of theoriesset-theoretic structuresstructure of scientific theoriessyntactic view of theories
Cites Work
- Quasi finitely axiomatizable totally categorical theories
- Institution-independent model theory
- Undecidable theories
- Title not available (Why is that?)
- Institutions: abstract model theory for specification and programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness in the theory of types
- BEOBACHTUNGSSPRACHE UND THEORETISCHE SPRACHE
- An architectonic for science. The structuralist program
- Reinflating the semantic approach
- Title not available (Why is that?)
- Model Theory for the Higher Order Predicate Calculus
- Title not available (Why is that?)
- Morita equivalence
- What's right with a syntactic approach to theories and models?
- From geometry to conceptual relativity
Cited In (6)
- Models of HoTT and the Constructive View of Theories
- Embeddability, syntax, and semantics in accounts of scientific theories
- What's right with a syntactic approach to theories and models?
- Why not categorical equivalence?
- Defending the semantic view: what Itô takes
- Models and theories I: The semantic view revisited
This page was built for publication: The semantic view of theories and higher-order languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2052159)
