Search results
From MaRDI portal
- lattice of Peano algebras with finitary and infinitary operations 1995-11-09 Paper An application of infinitary universal algebra to set theory 1995-08-10...10 bytes (18 words) - 21:20, 12 December 2023
- model 1973-01-01 Paper Löwenheim-Skolem and interpolation theorems in infinitary languages 1972-01-01 Paper Generalized interpolation and definability 1970-01-01...10 bytes (18 words) - 20:16, 12 December 2023
- Classifying recognizable infinitary trace languages using word automata 2017-09-28 Paper Classifying Recognizable Infinitary Trace Languages Using Word Automata...10 bytes (16 words) - 05:37, 7 October 2023
- Embedding Trees in the Rationals 1970-01-01 Paper Universal classes in infinitary languages 1969-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5613929 1968-01-01...10 bytes (18 words) - 12:32, 13 December 2023
- Publication Date of Publication Type Uniform inductive definability and infinitary languages 1976-01-01 Paper...10 bytes (18 words) - 02:00, 28 December 2023
- of Publication Type Herbrand uniformity theorems for infinitary languages 1972-01-01 Paper Infinitary formulas preserved under unions of models 1972-01-01...10 bytes (19 words) - 14:30, 28 January 2024
- Classifying recognizable infinitary trace languages using word automata 2017-09-28 Paper Classifying Recognizable Infinitary Trace Languages Using Word Automata...10 bytes (16 words) - 05:37, 7 October 2023
- Publication Date of Publication Type Partial Isomorphisms and Infinitary Languages 1972-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5569437 1969-01-01...10 bytes (18 words) - 21:46, 27 December 2023
- https://portal.mardi4nfdi.de/entity/Q4133974 1977-01-01 Paper α Logic and Infinitary Languages 1976-01-01 Paper On the Structure of Lindenbaum Algebras: An Approach...10 bytes (18 words) - 12:21, 13 December 2023
- de/entity/Q5109524 2020-05-12 Paper Koepke machines and satisfiability for infinitary propositional languages 2017-08-04 Paper REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL...10 bytes (18 words) - 04:28, 12 December 2023
- Publication Date of Publication Type On ordinals accessible by infinitary languages 2005-09-29 Paper Almost free groups and long Ehrenfeucht-Fraïssé games...10 bytes (16 words) - 11:11, 24 September 2023
- interpolation theorem 1972-01-01 Paper Countable structures for uncountable infinitary languages 1972-01-01 Paper A theorem in the theory of definition 1970-01-01...10 bytes (16 words) - 04:34, 13 December 2023
- https://portal.mardi4nfdi.de/entity/Q4186301 1977-01-01 Paper Large infinitary languages. Model theory 1975-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5642539...10 bytes (18 words) - 23:39, 11 December 2023
- 2021-01-25 Paper Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages 2020-07-24 Paper Facets of distribution identities in probabilistic...10 bytes (17 words) - 14:36, 6 October 2023
- mardi4nfdi.de/entity/Q3206924 1978-01-01 Paper A new approach to infinitary languages 1976-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4159362 1976-01-01...10 bytes (16 words) - 20:05, 6 October 2023
- de/entity/Q5654039 1971-01-01 Paper Structures elementarily equivalent relative to infinitary languages to models of higher power 1970-01-01 Paper https://portal.mardi4nfdi...10 bytes (17 words) - 16:31, 8 December 2023
- Differential Fields of Characteristic p � 0] 1973-01-01 Paper Forcing for Infinitary Languages 1972-01-01 Paper...10 bytes (17 words) - 20:05, 6 October 2023
- Herbrandschen Satzes ohne Skolemfunktionen 1971-01-01 Paper A remark on infinitary languages 1971-01-01 Paper Ganzgeschlossene und Prädikatengeschlossene Logiken...10 bytes (17 words) - 03:23, 12 December 2023
- de/entity/Q4403439 1973-01-01 Paper Lω1ω is enough: a reduction theorem for some infinitary languages 1973-01-01 Paper Local definability theory 1970-01-01 Paper...10 bytes (18 words) - 23:16, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q5572322 1968-01-01 Paper Application of infinitary languages to metric spaces 1967-01-01 Paper On the axiomatizability of uniform...10 bytes (17 words) - 04:16, 9 December 2023
