Pages that link to "Item:Q5300068"

The following pages link to Extensions of ordered theories by generic predicates (Q5300068):

Displaying 10 items.

• Expansions of o-minimal structures by dense independent sets (Q287480) (← links)
• The Suslin operator in applicative theories: its proof-theoretic analysis via ordinal theories (Q639666) (← links)
• On a synonymy relation for extensional first order theories. II: A sufficient criterion for non synonymy. Applications (Q793007) (← links)
• The common order-theoretic structure of version spaces and ATMSs (Q1389537) (← links)
• The model-theoretic ordinal analysis of theories of predicative strength (Q4254639) (← links)
• A Note on (Meta)predicative Wellordering Proofs (Q5013902) (← links)
• Neutrally expandable models of arithmetic (Q5108857) (← links)
• A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (Q5271064) (← links)
• CP‐generic expansions of models of Peano Arithmetic (Q6094143) (← links)
• Predicative Aspects of Order Theory in Univalent Foundations (Q6159924) (← links)